Pages that link to "Item:Q1297057"
From MaRDI portal
The following pages link to Tools and techniques in modal logic (Q1297057):
Displayed 47 items.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Admissible bases via stable canonical rules (Q284230) (← links)
- On independent varieties and some related notions (Q382342) (← links)
- Bare canonicity of representable cylindric and polyadic algebras (Q387126) (← links)
- Not every splitting Heyting or interior algebra is finitely presentable (Q454375) (← links)
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic (Q647319) (← links)
- An algebraic approach to canonical formulas: modal case (Q647410) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Classical modal De Morgan algebras (Q763322) (← links)
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness (Q861518) (← links)
- Common knowledge does not have the Beth property (Q987837) (← links)
- Inessential features, ineliminable features, and modal logics for model theoretic syntax (Q1006492) (← links)
- MacNeille completion and profinite completion can coincide on finitely generated modal algebras (Q1047116) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620) (← links)
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective (Q1882902) (← links)
- Temporal alethic-deontic logic and semantic tableaux (Q1948272) (← links)
- Irreducible equivalence relations, Gleason spaces, and de Vries duality (Q2014017) (← links)
- S5 knowledge without partitions (Q2268777) (← links)
- Partial algebras, meaning categories and algebraization (Q2368946) (← links)
- Some normal extensions of K4.3 (Q2377059) (← links)
- Interconnection of the lattices of extensions of four logics (Q2399606) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Willem Blok and modal logic (Q2433092) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- Modal definability of first-order formulas with free variables and query answering (Q2446543) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- A proof-theoretic view of necessity (Q2500817) (← links)
- Explicit Provability and Constructive Semantics (Q2732527) (← links)
- (Q2776808) (← links)
- STABLE CANONICAL RULES (Q2805038) (← links)
- The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
- Simulating polyadic modal logics by monadic ones (Q3160548) (← links)
- 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)
- Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA (Q4982120) (← links)
- Bisimilarity is not Borel (Q5361144) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
- Modal logics that need very large frames (Q5937849) (← links)