An incomplete logic containing S4

DOI10.1111/j.1755-2567.1974.tb00076.xzbMath0287.02011OpenAlexW2161004731MaRDI QIDQ4773679

Kit Fine

Publication date: 1974

Published in: Theoria (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1755-2567.1974.tb00076.x

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categoricity and completeness of theories (03C35)

Related Items

Should Deflationists Be Dialetheists?, V. Yankov’s Contributions to Propositional Logic, Splittings and the finite model property, An incomplete decidable modal logic, A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras, The McKinsey axiom is not canonical, Topology and duality in modal logic, Varieties of complex algebras, Constructive canonicity in non-classical logics, Pure extensions, proof rules, and hybrid axiomatics, For Want of an ‘And’: A Puzzle about Non-Conservative Extension, Der Verband der normalen verzweigten Modallogiken, Prefinitely axiomatizable modal and intermediate logics, The McKinsey axiom is not compact, Some kinds of modal completeness, Minimal Axiomatization in Modal Logic, Willem Blok and modal logic, Mathematical modal logic: A view of its evolution, Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus, Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics, Duality and the completeness of the modal \(\mu\)-calculus, Basic conditional logic, Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable, Hereditarily finitely axiomatizable extensions of logic S4, Kripke incomplete logics containing KTB, The lattice of modal logics: an algebraic investigation, An incomplete nonnormal extension of S3, 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02, Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics, Noncompact extensions of the logic S4, Splitting lattices of logics, KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS, Canonical modal logics and ultrafilter extensions, Transitive logics of finite width with respect to proper-successor-equivalence, COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS, Modal logics of domains on the real plane, Possible worlds semantics: a research program that cannot fail?, Logics containing K4. Part II, LOGICS FOR PROPOSITIONAL CONTINGENTISM