Logics containing K4. Part I
From MaRDI portal
Publication:4773678
DOI10.2307/2272340zbMath0287.02010OpenAlexW2090086476MaRDI QIDQ4773678
Publication date: 1974
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272340
Modal logic (including the logic of norms) (03B45) Categoricity and completeness of theories (03C35)
Related Items (35)
A model existence theorem in infinitary propositional modal logic ⋮ On interval modal logic with ``after relation ⋮ Decidable modal logic with undecidable admissibility problem ⋮ Some normal extensions of K4.3 ⋮ Some embedding theorems for conditional logic ⋮ Undefinability of propositional quantifiers in the modal system S4 ⋮ On the lattice of extensions of the modal logics \(KAlt_ n\) ⋮ In search of a ``true logic of knowledge: the nonmonotonic perspective ⋮ FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 ⋮ Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Frames for fusions of modal logics ⋮ Syntax and semantics of superintuitionistic logics ⋮ Post complete and 0-axiomatizable modal logics ⋮ Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics ⋮ Best solving modal equations ⋮ The disjunction property of intermediate propositional logics ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ Modal logics that need very large frames ⋮ Canonical extensions and ultraproducts of polarities ⋮ Frame based formulas for intermediate logics ⋮ The power of a propositional constant ⋮ On Finite Model Property for Admissible Rules ⋮ A counterexample in tense logic ⋮ On logics with coimplication ⋮ Transitive logics of finite width with respect to proper-successor-equivalence ⋮ Varieties of logical matrices ⋮ Completeness of modal logics with prefinite width ⋮ Modal logics of domains on the real plane ⋮ Comparison of the topological and relational semantics of superintuitionistic logics ⋮ A result on the completeness of superintuitionistic logics ⋮ In search of a ``true logic of knowledge: The nonmonotonic perspective ⋮ Rules with parameters in modal logic. I. ⋮ An almost general splitting theorem for modal logic ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
Cites Work
This page was built for publication: Logics containing K4. Part I
