Pages that link to "Item:Q3691638"
From MaRDI portal
The following pages link to Logics containing <i>K</i>4. Part II (Q3691638):
Displaying 25 items.
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- Forbidden configurations and subframe varieties (Q331025) (← links)
- Cofinal stable logics (Q514517) (← links)
- An algebraic approach to canonical formulas: modal case (Q647410) (← links)
- Maximal Kripke-type semantics for modal and superintuitionistic predicate logics (Q688796) (← links)
- Syntax and semantics of modal logics containing S4 (Q752686) (← links)
- Syntax and semantics of superintuitionistic logics (Q920079) (← links)
- Frame based formulas for intermediate logics (Q1005954) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas (Q1208113) (← links)
- On logics with coimplication (Q1272827) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- Stable formulas in intuitionistic logic (Q1782236) (← links)
- A counterexample in tense logic (Q1815425) (← links)
- A new solution to a problem of Hosoi and Ono (Q1893145) (← 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)
- An algebraic approach to subframe logics. Intuitionistic case (Q2370373) (← links)
- Classification of extensions of the modal logic S4 (Q2436104) (← links)
- Continuity, freeness, and filtrations (Q2901195) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 (Q6067743) (← links)
