HumanitiesComputer ScienceLogicAxiomatic Set TheoryPartial OrdersPhilosophy Of LogicPredicate LogicHigher-order Logic
3
Logics containing <i>K</i>4. Part I
Kit Fine · Journal of Symbolic Logic · 1974 · 143 citations
An incomplete logic containing S4
Kit Fine · Mathematical logic quarterly · 1971 · 63 citations