Pages that link to "Item:Q1297057"
From MaRDI portal
The following pages link to Tools and techniques in modal logic (Q1297057):
Displaying 30 items.
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3 (Q4637951) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- Bounded distributive lattices with strict implication (Q4680368) (← links)
- Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox (Q4683215) (← links)
- A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES (Q4692073) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- STABLE MODAL LOGICS (Q4961739) (← links)
- $\aleph_1$ and the modal $\mu$-calculus (Q4972732) (← links)
- Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA (Q4982120) (← links)
- Splittings in varieties of logic (Q5002194) (← links)
- More on the Power of a Constant (Q5027239) (← links)
- MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS (Q5052001) (← links)
- ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
- BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES (Q5107540) (← links)
- Finite-Chain Graded Modal Logic (Q5213655) (← links)
- Characteristic Formulas Over Intermediate Logics (Q5214733) (← links)
- Ultraproduct for quantum structures (Q5215500) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS (Q5241233) (← links)
- Bisimilarity is not Borel (Q5361144) (← links)
- V. Yankov’s Contributions to Propositional Logic (Q5886455) (← links)
- Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← 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)
- Semiproducts, products, and modal predicate logics: some examples (Q6123100) (← links)
- Decidable and Undecidable Problems for First-Order Definability and Modal Definability (Q6487229) (← links)
- Parametrized modal logic. II: The unidimensional case (Q6550519) (← links)
- About the unification types of modal logics (Q6612813) (← links)
