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 (39)

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

This page was built for publication: An incomplete logic containing S4