scientific article

zbMath0592.03011MaRDI QIDQ3720564

Gisele Fischer Servi

Publication date: 1984

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Decidability of order-based modal logics, Modality via iterated enrichment, MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description), Nested sequents for intuitionistic modal logics via structural refinement, Undecidability of QLTL and QCTL with two variables and one monadic predicate letter, Tableaus for many-valued modal logic, On the finite model property of weak intuitionistic tense logic, Intuitionistic common knowledge or belief, Non-normal modal logics and conditional logics: semantic analysis and proof theory, Algebraic semantics and model completeness for intuitionistic public announcement logic, Disentangling \textsf{FDE}-based paraconsistent modal logics, Exploring the Jungle of Intuitionistic Temporal Logics, The variety of modal weak Gödel algebras, Algorithmic correspondence and canonicity for distributive modal logic, On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations, A framework for intuitionistic grammar logics, On classical behavior of intuitionistic modalities, Maehara-style modal nested calculi, Monadic bounded commutative residuated \(\ell\)-monoids, Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\), Almost duplication-free tableau calculi for prepositional lax logics, Standard Gödel modal logics, Axiomatization of crisp Gödel modal logic, On Displaying Negative Modalities, A general framework for FDE-based modal logics, On the Finite Model Property of Intuitionistic Modal Logics over MIPC, PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS, Mathematics of Public Announcements, Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic, On logics with coimplication, Temporal Here and There, A proof-theoretic approach to negative translations in intuitionistic tense logics, On the Blok-Esakia Theorem, A uniform tableau method for intuitionistic modal logics. I, Hilbert algebras with a modal operator \(\diamondsuit\), Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets.