scientific article; zbMATH DE number 1852920

zbMath1003.03516MaRDI QIDQ4789450

Frank Wolter, Alexander Chagrov, Michael Zakharyashchev

Publication date: 29 January 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (27)

Automorphisms of the lattice of classical modal logics ⋮ A bi-intuitionistic modal logic: foundations and automation ⋮ Intuitionistic logic and modality via topology ⋮ Finitary unification in locally tabular modal logics characterized ⋮ Simplified Kripke-style semantics for some normal modal logics ⋮ A family of Gödel hybrid logics ⋮ Willem Blok and modal logic ⋮ Admissible rules in the implication-negation fragment of intuitionistic logic ⋮ On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1 ⋮ Irreflexive modality as a new logical connective in the Dummett logic ⋮ Products of modal logics and tensor products of modal algebras ⋮ A new constant in superintuitionistic logic L3 ⋮ A logical approach to A-Prolog ⋮ Connected modal logics ⋮ Interactions between knowledge, action and commitment within agent dynamic logic ⋮ Safe beliefs for propositional theories ⋮ Irreflexive modality, the Dummett logic, and continual chains ⋮ A general method for proving decidability of intuitionistic modal logics ⋮ On combinations of propositional dynamic logic and doxastic modal logics ⋮ STABLE MODAL LOGICS ⋮ Unnamed Item ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ Proof theory for admissible rules ⋮ Sequent calculi and decidability for intuitionistic hybrid logic ⋮ Sequent calculi for global modal consequence relations ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ All finitely axiomatizable tense logics of linear time flows are coNP-complete

This page was built for publication: