Pages that link to "Item:Q1297057"
From MaRDI portal
The following pages link to Tools and techniques in modal logic (Q1297057):
Displaying 50 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)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← 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)
- A generalized proof-theoretic approach to logical argumentation based on hypersequents (Q2021565) (← links)
- Transitive logics of finite width with respect to proper-successor-equivalence (Q2062190) (← links)
- Lattices of finitely alternative normal tense logics (Q2062217) (← links)
- A note on constructive interpolation for the multi-modal logic \(K_m\) (Q2133432) (← links)
- About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937) (← links)
- Modal logic via global consequence (Q2148783) (← links)
- Model theoretical aspects of weakly aggregative modal logic (Q2155209) (← links)
- Logics of left variable inclusion and Płonka sums of matrices (Q2219088) (← links)
- S5 knowledge without partitions (Q2268777) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- Varieties of semiassociative relation algebras and tense algebras (Q2310438) (← links)
- Sequent calculi for global modal consequence relations (Q2323632) (← 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)
- Modal logic (Q2744124) (← links)
- Invariant logics (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)
- PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS (Q3389489) (← links)
- NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC (Q3389491) (← links)
