Tools and techniques in modal logic
From MaRDI portal
Publication:1297057
Recommendations
- Modal logic and model theory
- Handbook of modal logic
- Modal logics, justification logics, and realization
- A proof theoretic tool for first-order modal logic
- scientific article; zbMATH DE number 1163388
- scientific article; zbMATH DE number 1749192
- scientific article; zbMATH DE number 2101966
- Modal logic
- scientific article; zbMATH DE number 1003731
- Abstract modal logics
Cited in
(82)- Willem Blok and modal logic
- TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3
- Characteristic formulas over intermediate logics
- Ultraproduct for quantum structures
- About the unification types of modal logics
- FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3
- Interconnection of the lattices of extensions of four logics
- V. Yankov’s Contributions to Propositional Logic
- Parametrized modal logic. II: The unidimensional case
- Decidable and Undecidable Problems for First-Order Definability and Modal Definability
- NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC
- Temporal alethic dyadic deontic logic and the contrary-to-duty obligation paradox
- Modal logics that need very large frames
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
- Bisimilarity is not Borel
- More on the Power of a Constant
- Semiproducts, products, and modal predicate logics: some examples
- Belnap-Dunn modal logics: truth constants vs. truth values
- Splittings in varieties of logic
- Changing a Semantics: Opportunism or Courage?
- Inessential features, ineliminable features, and modal logics for model theoretic syntax
- Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic
- An algebraic approach to canonical formulas: modal case
- Some normal extensions of K4.3
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
- First-order resolution methods for modal logics
- Lattices of finitely alternative normal tense logics
- Transitive logics of finite width with respect to proper-successor-equivalence
- MacNeille completion and profinite completion can coincide on finitely generated modal algebras
- Simulating polyadic modal logics by monadic ones
- Modal logic
- Partial algebras, meaning categories and algebraization
- Yankov Characteristic Formulas (An Algebraic Account)
- Invariant logics
- Quantified temporal alethic boulesic doxastic logic
- Erdős Graphs Resolve Fine's Canonicity Problem
- A logical and algebraic characterization of adjunctions between generalized quasi-varieties
- scientific article; zbMATH DE number 4043818 (Why is no real title available?)
- A proof-theoretic view of necessity
- Almost structural completeness; an algebraic approach
- Classical modal De Morgan algebras
- Common knowledge does not have the Beth property
- Finite-Chain Graded Modal Logic
- Admissible bases via stable canonical rules
- Elementary canonical formulae: extending Sahlqvist's theorem
- ON EQUATIONAL COMPLETENESS THEOREMS
- \(\aleph_1\) and the modal \(\mu\)-calculus
- Bounded distributive lattices with strict implication
- A note on constructive interpolation for the multi-modal logic \(K_m\)
- About the unification type of \(\mathbf{K}+\square \square \bot\)
- Algebraic modal correspondence: Sahlqvist and beyond
- Proof systems for various \textsf{FDE}-based modal logics
- Sequent calculi for global modal consequence relations
- Explicit provability and constructive semantics
- Interactions between knowledge, action and commitment within agent dynamic logic
- Temporal alethic-deontic logic and semantic tableaux
- On independent varieties and some related notions
- Proof complexity of non-classical logics
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- Stable modal logics
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
- Bare canonicity of representable cylindric and polyadic algebras
- scientific article; zbMATH DE number 4041866 (Why is no real title available?)
- Modal definability of first-order formulas with free variables and query answering
- Logics of left variable inclusion and Płonka sums of matrices
- MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
- S5 knowledge without partitions
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness
- Model theoretical aspects of weakly aggregative modal logic
- A dichotomy for some elementarily generated modal logics
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- Mathematical modal logic: A view of its evolution
- Varieties of semiassociative relation algebras and tense algebras
- Not every splitting Heyting or interior algebra is finitely presentable
- The Beth property in algebraic logic
- Completeness and correspondence in hybrid logic via an extension of SQEMA
- Modal logic via global consequence
- Irreducible equivalence relations, Gleason spaces, and de Vries duality
- The bounded proof property via step algebras and step frames
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective
- Stable canonical rules
- The lattice of Belnapian modal logics: special extensions and counterparts
This page was built for publication: Tools and techniques in modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1297057)
