Logics containing K4. Part I

DOI10.2307/2272340MaRDI QIDQ4773678zbMATH OpenOpenAlexFDO

Authors Kit Fine

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

Mathematics Subject Classification ID

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

Cited in

(42)

• Frame based formulas for intermediate logics
• A result on the completeness of superintuitionistic logics
• On the lattice of extensions of the modal logics \(KAlt_ n\)
• Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics
• The disjunction property of intermediate propositional logics
• On logics with coimplication
• A model existence theorem in infinitary propositional modal logic
• Canonical extensions and ultraproducts of polarities
• A counterexample in tense logic
• Varieties of logical matrices
• Completeness of modal logics with prefinite width
• In search of a ``true logic of knowledge: The nonmonotonic perspective
• Undefinability of propositional quantifiers in the modal system S4
• Best solving modal equations
• Transitive logics of finite width with respect to proper-successor-equivalence
• Profiniteness and representability of spectra of Heyting algebras
• Rules with parameters in modal logic. I.
• On interval modal logic with ``after relation
• Decidable modal logic with undecidable admissibility problem
• Some normal extensions of K4.3
• In search of a ``true logic of knowledge: the nonmonotonic perspective
• Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
• Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics
• On Finite Model Property for Admissible Rules
• Frames for fusions of modal logics
• MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
• Modal logics that need very large frames
• FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3
• Intermediate logics in the setting of team semantics
• Canonicity in power and modal logics of finite achronal width
• The topology of surprise
• Maximality principles in modal logic and the axiom of choice
• Investigating definability in propositional logic via sheaves on Grothendieck topologies
• Finite axiomatizability of transitive modal logics of finite depth and width with respect to proper-successor-equivalence
• The topological mu-calculus: completeness and decidability
• The power of a propositional constant
• Modal logics of domains on the real plane
• Comparison of the topological and relational semantics of superintuitionistic logics
• An almost general splitting theorem for modal logic
• Some embedding theorems for conditional logic
• Syntax and semantics of superintuitionistic logics
• Post complete and 0-axiomatizable modal logics

This page was built for publication: Logics containing K4. Part I

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