Tools and techniques in modal logic

Publication date: 8 August 1999

Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

zbMATH Keywords

modal logic duality completeness normal forms tableaux frames lattice theory decidability dynamic logic transfer correspondence canonical models polymodal logic modal consequence relations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items (76)

V. Yankov’s Contributions to Propositional Logic ⋮ Yankov Characteristic Formulas (An Algebraic Account) ⋮ Almost structural completeness; an algebraic approach ⋮ Simulating polyadic modal logics by monadic ones ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ Admissible bases via stable canonical rules ⋮ Interpreted systems and Kripke models for multiagent systems from a categorical perspective ⋮ Partial algebras, meaning categories and algebraization ⋮ A note on constructive interpolation for the multi-modal logic $K_m$ ⋮ About the unification type of $\mathbf{K}+\square \square \bot$ ⋮ MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS ⋮ ON EQUATIONAL COMPLETENESS THEOREMS ⋮ Some normal extensions of K4.3 ⋮ Changing a Semantics: Opportunism or Courage? ⋮ $\aleph_1$ and the modal $\mu$-calculus ⋮ Modal logic via global consequence ⋮ Unnamed Item ⋮ Model theoretical aspects of weakly aggregative modal logic ⋮ Modal logic for other-world agnostics: Neutrality and Halldén incompleteness ⋮ Interconnection of the lattices of extensions of four logics ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ On independent varieties and some related notions ⋮ Bare canonicity of representable cylindric and polyadic algebras ⋮ Disentangling \textsf{FDE}-based paraconsistent modal logics ⋮ FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 ⋮ BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES ⋮ Semiproducts, products, and modal predicate logics: some examples ⋮ Willem Blok and modal logic ⋮ The Beth property in algebraic logic ⋮ Temporal alethic-deontic logic and semantic tableaux ⋮ Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic ⋮ An algebraic approach to canonical formulas: modal case ⋮ Not every splitting Heyting or interior algebra is finitely presentable ⋮ Mathematical modal logic: A view of its evolution ⋮ Modal definability of first-order formulas with free variables and query answering ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ The lattice of Belnapian modal logics: Special extensions and counterparts ⋮ Invariant Logics ⋮ TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3 ⋮ Explicit Provability and Constructive Semantics ⋮ A dichotomy for some elementarily generated modal logics ⋮ First-Order Resolution Methods for Modal Logics ⋮ Modal logics that need very large frames ⋮ Interactions between knowledge, action and commitment within agent dynamic logic ⋮ Bisimilarity is not Borel ⋮ Irreducible equivalence relations, Gleason spaces, and de Vries duality ⋮ S5 knowledge without partitions ⋮ Erdős Graphs Resolve Fine's Canonicity Problem ⋮ Elementary canonical formulae: extending Sahlqvist's theorem ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ Bounded distributive lattices with strict implication ⋮ A proof-theoretic view of necessity ⋮ Common knowledge does not have the Beth property ⋮ Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox ⋮ A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES ⋮ STABLE CANONICAL RULES ⋮ Inessential features, ineliminable features, and modal logics for model theoretic syntax ⋮ STABLE MODAL LOGICS ⋮ The bounded proof property via step algebras and step frames ⋮ Finite-Chain Graded Modal Logic ⋮ Characteristic Formulas Over Intermediate Logics ⋮ Proof Complexity of Non-classical Logics ⋮ Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations ⋮ PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS ⋮ NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC ⋮ Varieties of semiassociative relation algebras and tense algebras ⋮ Transitive logics of finite width with respect to proper-successor-equivalence ⋮ Lattices of finitely alternative normal tense logics ⋮ Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA ⋮ Classical modal De Morgan algebras ⋮ Sequent calculi for global modal consequence relations ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ MacNeille completion and profinite completion can coincide on finitely generated modal algebras ⋮ Splittings in varieties of logic ⋮ More on the Power of a Constant

This page was built for publication: Tools and techniques in modal logic