An incompleteness theorem in modal logic
From MaRDI portal
Publication:4773680
DOI10.1111/j.1755-2567.1974.tb00077.xzbMath0287.02012OpenAlexW1991153667MaRDI QIDQ4773680
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
Modal logic (including the logic of norms) (03B45) Categoricity and completeness of theories (03C35)
Related Items
Atomless varieties ⋮ An incomplete decidable modal logic ⋮ Changing a Semantics: Opportunism or Courage? ⋮ 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 ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ Der Verband der normalen verzweigten Modallogiken ⋮ An axiomatization of the modal theory of the veiled recession frame ⋮ Semantic analysis of orthologic ⋮ Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics ⋮ The McKinsey axiom is not compact ⋮ Temporal logic of surjective bounded morphisms between finite linear processes ⋮ Some kinds of modal completeness ⋮ 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 ⋮ Some descending chains of incomplete modal logics ⋮ Duality and the completeness of the modal \(\mu\)-calculus ⋮ 3-SAT = SAT for a class of normal modal logics ⋮ Interpolation in weakly transitive modal logics ⋮ Basic conditional logic ⋮ Kripke incomplete logics containing KTB ⋮ The lattice of modal logics: an algebraic investigation ⋮ An incomplete nonnormal extension of S3 ⋮ Solving the \$100 modal logic challenge ⋮ Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics ⋮ Noncompact extensions of the logic S4 ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ Canonical modal logics and ultrafilter extensions ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ Completeness of modal logics with prefinite width ⋮ Possible worlds semantics: a research program that cannot fail? ⋮ A simple incomplete extension of T which is the union of two complete modal logics with f. m. p ⋮ LOGICS FOR PROPOSITIONAL CONTINGENTISM
