An incomplete logic containing S4

DOI10.1111/J.1755-2567.1974.TB00076.XMaRDI QIDQ4773679zbMATH OpenOpenAlexFDO

Authors 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)

Cited in

(40)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4773679)