The following pages link to (Q3128959):
Displaying 50 items.
- Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras (Q278739) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Automorphisms of the lattice of classical modal logics (Q284221) (← links)
- Admissible bases via stable canonical rules (Q284230) (← links)
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- Matching topological and frame products of modal logics (Q295921) (← links)
- Free and projective bimodal symmetric Gödel algebras (Q300560) (← links)
- Reasoning about negligibility and proximity in the set of all hyperreals (Q301366) (← links)
- A generalization of inquisitive semantics (Q312497) (← links)
- Proof complexity of intuitionistic implicational formulas (Q331054) (← links)
- Structural completeness in propositional logics of dependence (Q334998) (← links)
- Does the deduction theorem fail for modal logic? (Q383061) (← links)
- Some metacomplete relevant modal logics (Q383574) (← links)
- Natural factors of the Muchnik lattice capturing IPC (Q385809) (← links)
- Lower complexity bounds in justification logic (Q408543) (← links)
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- Temporal logic of linearly ordered \(\alpha\)-spaces (Q431661) (← links)
- Restricted interpolation property in superintuitionistic logics (Q431670) (← links)
- Table admissible inference rules (Q431693) (← links)
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
- Modal logics of Stone spaces (Q438813) (← links)
- Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP (Q453191) (← links)
- Fatal Heyting algebras and forcing persistent sentences (Q454370) (← links)
- Not every splitting Heyting or interior algebra is finitely presentable (Q454375) (← links)
- Dynamic modalities (Q454385) (← links)
- Foreword to the special issue dedicated to the memory of Leo Esakia (Q454392) (← links)
- On pretabular logics in NExtK4. I (Q456965) (← links)
- Interval MV-algebras and generalizations. (Q459040) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Natural factors of the Medvedev lattice capturing IPC (Q481874) (← links)
- Zolin and Pizzi: defining necessity from noncontingency (Q485619) (← links)
- On the linear logic of knowledge and time with intransitive time relation (Q498248) (← links)
- A new constant in superintuitionistic logic L3 (Q498291) (← links)
- Structural connections between a forcing class and its modal logic (Q498994) (← links)
- On non-self-referential fragments of modal logics (Q508827) (← links)
- Finite frames fail: how infinity works its way into the semantics of admissibility (Q514509) (← links)
- Cofinal stable logics (Q514517) (← links)
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- Multimodal epistemic Łukasiewicz logics with application in immune system (Q521734) (← links)
- Connected modal logics (Q535140) (← links)
- Disjunction property and complexity of substructural logics (Q549720) (← links)
- Intermediate logics and Visser's rules (Q558441) (← links)
- General frames for relevant modal logics (Q558732) (← links)
- Unification, finite duality and projectivity in varieties of Heyting algebras (Q598304) (← links)
- The modal logic of Gödel sentences (Q600852) (← links)
- Simple weakly transitive modal algebras (Q619324) (← links)
- Inquisitive logic (Q626493) (← links)
- The quasi-lattice of indiscernible elements (Q631517) (← links)
- The d-logic of the rational numbers: a fruitful construction (Q633161) (← links)
- A modal logic framework for reasoning about comparative distances and topology (Q636293) (← links)
