Tools and techniques in modal logic
From MaRDI portal
Publication:1297057
zbMATH Open0927.03002MaRDI QIDQ1297057FDOQ1297057
Authors: Marcus Kracht 
Publication date: 8 August 1999
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
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
dualityframesnormal formscompletenesscorrespondencedecidabilitylattice theorymodal logicdynamic logictableauxtransfercanonical modelspolymodal logicmodal consequence relations
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45)
Cited In (82)
- Yankov Characteristic Formulas (An Algebraic Account)
- Quantified temporal alethic boulesic doxastic logic
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness
- A proof-theoretic view of necessity
- Title not available (Why is that?)
- Model theoretical aspects of weakly aggregative modal logic
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective
- Splittings in varieties of logic
- Almost structural completeness; an algebraic approach
- Admissible bases via stable canonical rules
- Irreducible equivalence relations, Gleason spaces, and de Vries duality
- Common knowledge does not have the Beth property
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- Modal definability of first-order formulas with free variables and query answering
- BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES
- Erdős Graphs Resolve Fine's Canonicity Problem
- Proof complexity of non-classical logics
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- Temporal alethic-deontic logic and semantic tableaux
- \(\aleph_1\) and the modal \(\mu\)-calculus
- A note on constructive interpolation for the multi-modal logic \(K_m\)
- About the unification type of \(\mathbf{K}+\square \square \bot\)
- Inessential features, ineliminable features, and modal logics for model theoretic syntax
- S5 knowledge without partitions
- Completeness and correspondence in hybrid logic via an extension of SQEMA
- Not every splitting Heyting or interior algebra is finitely presentable
- Modal logic
- A logical and algebraic characterization of adjunctions between generalized quasi-varieties
- Finite-Chain Graded Modal Logic
- Interactions between knowledge, action and commitment within agent dynamic logic
- Modal logic via global consequence
- MacNeille completion and profinite completion can coincide on finitely generated modal algebras
- Sequent calculi for global modal consequence relations
- Mathematical modal logic: A view of its evolution
- Logics of left variable inclusion and Płonka sums of matrices
- Some normal extensions of K4.3
- Partial algebras, meaning categories and algebraization
- ON EQUATIONAL COMPLETENESS THEOREMS
- Algebraic modal correspondence: Sahlqvist and beyond
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
- Invariant logics
- Elementary canonical formulae: extending Sahlqvist's theorem
- Classical modal De Morgan algebras
- PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS
- Lattices of finitely alternative normal tense logics
- Transitive logics of finite width with respect to proper-successor-equivalence
- Explicit provability and constructive semantics
- The bounded proof property via step algebras and step frames
- The lattice of Belnapian modal logics: special extensions and counterparts
- Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic
- An algebraic approach to canonical formulas: modal case
- Title not available (Why is that?)
- Bounded distributive lattices with strict implication
- Stable canonical rules
- First-order resolution methods for modal logics
- MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
- A dichotomy for some elementarily generated modal logics
- The Beth property in algebraic logic
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
- Simulating polyadic modal logics by monadic ones
- Stable modal logics
- On independent varieties and some related notions
- Varieties of semiassociative relation algebras and tense algebras
- Changing a Semantics: Opportunism or Courage?
- Bare canonicity of representable cylindric and polyadic algebras
- Willem Blok and modal logic
- Temporal alethic dyadic deontic logic and the contrary-to-duty obligation paradox
- V. Yankov’s Contributions to Propositional Logic
- TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
- About the unification types of modal logics
- FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3
- More on the Power of a Constant
- Decidable and Undecidable Problems for First-Order Definability and Modal Definability
- Interconnection of the lattices of extensions of four logics
- Modal logics that need very large frames
- NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC
- Bisimilarity is not Borel
- Title not available (Why is that?)
- Semiproducts, products, and modal predicate logics: some examples
- Characteristic Formulas Over Intermediate Logics
- Parametrized modal logic. II: The unidimensional case
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)
