Pages that link to "Item:Q3691638"
From MaRDI portal
The following pages link to Logics containing <i>K</i>4. Part II (Q3691638):
Displaying 38 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)
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE (Q3644804) (← links)
- Canonical formulas for <i>K</i>4. Part I: Basic results (Q4032666) (← links)
- Unification in intuitionistic logic (Q4262590) (← links)
- The undecidability of the disjunction property of propositional logics and other related problems (Q4276033) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- The finite model property in tense logic (Q4858814) (← links)
- CANONICAL FORMULAS FOR <b>wK4</b> (Q4899969) (← links)
- STABLE MODAL LOGICS (Q4961739) (← links)
- Modal Logics of Some Hereditarily Irresolvable Spaces (Q5027241) (← links)
- Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond (Q5139276) (← links)
- Remarks on Stable Formulas in Intuitionistic Logic (Q5215503) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 (Q6067743) (← links)
