Pages that link to "Item:Q4773678"
From MaRDI portal
The following pages link to Logics containing <i>K</i>4. Part I (Q4773678):
Displaying 37 items.
- The power of a propositional constant (Q742479) (← links)
- Modal logics of domains on the real plane (Q794634) (← links)
- Comparison of the topological and relational semantics of superintuitionistic logics (Q795828) (← links)
- An almost general splitting theorem for modal logic (Q809064) (← links)
- Some embedding theorems for conditional logic (Q853813) (← links)
- Syntax and semantics of superintuitionistic logics (Q920079) (← links)
- Post complete and 0-axiomatizable modal logics (Q920977) (← links)
- Frame based formulas for intermediate logics (Q1005954) (← links)
- A result on the completeness of superintuitionistic logics (Q1059064) (← links)
- On the lattice of extensions of the modal logics \(KAlt_ n\) (Q1111541) (← links)
- Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics (Q1170234) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- On logics with coimplication (Q1272827) (← links)
- A model existence theorem in infinitary propositional modal logic (Q1332142) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- A counterexample in tense logic (Q1815425) (← links)
- Varieties of logical matrices (Q1821771) (← links)
- Completeness of modal logics with prefinite width (Q1835665) (← links)
- In search of a ``true'' logic of knowledge: The nonmonotonic perspective (Q1855242) (← links)
- Undefinability of propositional quantifiers in the modal system S4 (Q1902553) (← links)
- Best solving modal equations (Q1971794) (← links)
- Transitive logics of finite width with respect to proper-successor-equivalence (Q2062190) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- Rules with parameters in modal logic. I. (Q2346953) (← links)
- On interval modal logic with ``after'' relation (Q2364466) (← links)
- Decidable modal logic with undecidable admissibility problem (Q2366361) (← links)
- Some normal extensions of K4.3 (Q2377059) (← links)
- In search of a ``true'' logic of knowledge: the nonmonotonic perspective (Q2673908) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics (Q3768872) (← links)
- On Finite Model Property for Admissible Rules (Q4704656) (← links)
- Frames for fusions of modal logics (Q5375871) (← links)
- MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS (Q5879191) (← links)
- Modal logics that need very large frames (Q5937849) (← links)
- FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 (Q6067743) (← links)
- Intermediate logics in the setting of team semantics (Q6612815) (← links)
- Canonicity in power and modal logics of finite achronal width (Q6638232) (← links)
