The following pages link to An ascending chain of S4 logics (Q4063119):
Displayed 46 items.
- On pretabular logics in NExtK4. I (Q456965) (← links)
- Cofinal stable logics (Q514517) (← links)
- Normal modal logics determined by aligned clusters (Q519847) (← links)
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- Connected modal logics (Q535140) (← links)
- A decidable noncompact extension of the logic S4 (Q599805) (← links)
- An algebraic approach to canonical formulas: modal case (Q647410) (← links)
- Syntax and semantics of modal logics containing S4 (Q752686) (← links)
- Extensions of the provability logic (Q793006) (← links)
- Modal logics of domains on the real plane (Q794634) (← links)
- An almost general splitting theorem for modal logic (Q809064) (← links)
- Notes on logics of metric spaces (Q878157) (← links)
- A splitting logic in NExt(KTB) (Q995667) (← links)
- A classification of modal logics (Q1150604) (← links)
- On some ascending chains of Brouwerian modal logics (Q1156787) (← links)
- Admissible rules for pretable modal logics (Q1170232) (← links)
- A solution to a problem of Urquhart (Q1177648) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- On detachment-substitutional formalization in normal modal logics (Q1240211) (← links)
- Noncompact extensions of the logic S4 (Q1260026) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- On modal logics arising from scattered locally compact Hausdorff spaces (Q1731840) (← links)
- Logics of some Kripke frames connected with Medvedev notion of informational types (Q1820765) (← links)
- A theory of necessities (Q2078981) (← links)
- On Kripke completeness of modal predicate logics around quantified \textbf{K5} (Q2105091) (← links)
- Algorithms for recognizing restricted interpolation over the modal logic S4 (Q2123084) (← links)
- Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable (Q2276947) (← links)
- Restricted interpolation over modal logic S4 (Q2342101) (← links)
- Characteristic formulas of partial Heyting algebras (Q2392011) (← links)
- Classification of extensions of the modal logic S4 (Q2436104) (← links)
- Cluster expansion and the boxdot conjecture (Q2958221) (← links)
- Logics containing <i>K</i>4. Part II (Q3691638) (← links)
- KRULL DIMENSION IN MODAL LOGIC (Q4600458) (← links)
- TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3 (Q4637951) (← links)
- CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC (Q5000268) (← links)
- AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS (Q5046603) (← links)
- Characteristic Formulas Over Intermediate Logics (Q5214733) (← links)
- Lattice NExtS4 from the Embedding Theorem Viewpoint (Q5214738) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- LOGICS FOR PROPOSITIONAL CONTINGENTISM (Q5274876) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)
- The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond (Q5886460) (← links)
- Failure of interpolation in combined modal logics (Q5937819) (← links)
- FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 (Q6067743) (← links)
- Mathematical modality: an investigation in higher-order logic (Q6191140) (← links)