Concepedia
Mathematical logic quarterly · 1971 · 63 citations · 1 references
HumanitiesComputer SciencePhilosophyKnowledge RepresentationLogicDescription LogicsModal LogicPhilosophy Of LogicPredicate LogicTemporal Logic
1
That All Normal Extensions of S4.3 Have the Finite Model Property
R. A. Bull · Mathematical logic quarterly · 1966 · 79 citations
Natural Sciences, Mathematics, Representation Theory +4