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

(42)

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

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)