An incompleteness theorem in modal logic

DOI10.1111/J.1755-2567.1974.TB00077.XMaRDI QIDQ4773680zbMATH OpenOpenAlexFDO

Authors S. K. Thomason

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.tb00077.x

Mathematics Subject Classification ID

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

Cited in

(40)

• Solving the \$100 modal logic challenge
• Possible worlds semantics: a research program that cannot fail?
• Topology and duality in modal logic
• Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Some kinds of modal completeness
• Some descending chains of incomplete modal logics
• Basic conditional logic
• Noncompact extensions of the logic S4
• Constructive canonicity in non-classical logics
• Semantic analysis of orthologic
• Mathematical modal logic: A view of its evolution
• Completeness of modal logics with prefinite width
• A simple incomplete extension of T which is the union of two complete modal logics with f. m. p
• Algebraic modal correspondence: Sahlqvist and beyond
• Willem Blok and modal logic
• Varieties of complex algebras
• Atomless varieties
• Changing a Semantics: Opportunism or Courage?
• An incomplete decidable modal logic
• The lattice of modal logics: an algebraic investigation
• The McKinsey axiom is not canonical
• The McKinsey axiom is not compact
• An incomplete nonnormal extension of S3
• Canonical modal logics and ultrafilter extensions
• 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
• Der Verband der normalen verzweigten Modallogiken
• An axiomatization of the modal theory of the veiled recession frame
• Temporal logic of surjective bounded morphisms between finite linear processes
• Duality and the completeness of the modal -calculus
• 3-SAT = SAT for a class of normal modal logics
• Nonconservative extensions by propositional quantifiers and modal incompleteness
• Decidability of inquisitive modal logic via filtrations
• Interpolation in weakly transitive modal logics
• The mathematics of Epstein semantics
• 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 incompleteness theorem in modal logic

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