scientific article; zbMATH DE number 1489632
From MaRDI portal
Publication:4495853
zbMath0942.03516MaRDI QIDQ4495853
Publication date: 13 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items
Restricted arrow ⋮ The Countable Henkin Principle ⋮ Automated theorem proving by resolution in non-classical logics ⋮ On Some Modal Type Intuitionistic Fuzzy Operators ⋮ Strong Boethius' thesis and consequential implication ⋮ Canonicity for intensional logics without iterative axioms ⋮ Dynamic extensions of arrow logic ⋮ Ontologies for plane, polygonal mereotopology ⋮ Bare canonicity of representable cylindric and polyadic algebras ⋮ Mixed algebras and their logics ⋮ An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics ⋮ Normal companions of intuitionistic modal logics ⋮ Natural duality, modality, and coalgebra ⋮ Cover systems for the modalities of linear logic ⋮ Approximating Markov processes through filtration ⋮ Probability logic of finitely additive beliefs ⋮ Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic ⋮ Grishin algebras and cover systems for classical bilinear logic ⋮ Mathematical modal logic: A view of its evolution ⋮ Properties of saturation in monotonic neighbourhood models and some applications ⋮ Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators ⋮ Mereocompactness and Duality for Mereotopological Spaces ⋮ A dichotomy for some elementarily generated modal logics ⋮ A logic for metric and topology ⋮ Quasi-Modal Equivalence of Canonical Structures ⋮ Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study ⋮ Local properties in modal logic ⋮ Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules ⋮ From modal logic to terminal coalgebras ⋮ General frames for relevant modal logics ⋮ Monadic bounded algebras ⋮ Erdős Graphs Resolve Fine's Canonicity Problem ⋮ From modal discourse to possible worlds ⋮ A modal proof theory for final polynomial coalgebras ⋮ What is the coalgebraic analogue of Birkhoff's variety theorem? ⋮ THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE ⋮ Unnamed Item ⋮ Canonical extensions and ultraproducts of polarities ⋮ Strong completeness and limited canonicity for PDL ⋮ Ultraproducts of Admissible Models for Quantified Modal Logic ⋮ Erratum to: ``Strong completeness and limited canonicity for PDL ⋮ Topological duality for Boolean algebras with a normal \(n\)-ary monotonic operator ⋮ PDL with intersection of programs: a complete axiomatization ⋮ A categorical outlook on relational modalities and simulations ⋮ REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION ⋮ Interpolation for first order S5
