Pages that link to "Item:Q1297057"
From MaRDI portal
The following pages link to Tools and techniques in modal logic (Q1297057):
Displayed 30 items.
- 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)
- 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)
- 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)
- 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)
- S5 knowledge without partitions (Q2268777) (← links)
- Partial algebras, meaning categories and algebraization (Q2368946) (← links)
- Some normal extensions of K4.3 (Q2377059) (← 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)
- Simulating polyadic modal logics by monadic ones (Q3160548) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- Bounded distributive lattices with strict implication (Q4680368) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
- Modal logics that need very large frames (Q5937849) (← links)