scientific article; zbMATH DE number 3950488
From MaRDI portal
Publication:3720564
zbMATH Open0592.03011MaRDI QIDQ3720564FDOQ3720564
Authors: Gisele Fischer Servi 
Publication date: 1984
Title of this publication is not available (Why is that?)
Recommendations
Cited In (51)
- Algebraic semantics and model completeness for intuitionistic public announcement logic
- Algorithmic correspondence and canonicity for distributive modal logic
- Non-normal modal logics and conditional logics: semantic analysis and proof theory
- Intuitionistic public announcement logic with distributed knowledge
- Maehara-style modal nested calculi
- Exploring the Jungle of Intuitionistic Temporal Logics
- Which classical correspondence is valid in intuitionistic modal logic?
- Axiomatization of intuitionistic logics defined by small frames
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
- Axiomatization of crisp Gödel modal logic
- Title not available (Why is that?)
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets.
- Monadic bounded commutative residuated \(\ell\)-monoids
- Title not available (Why is that?)
- Modality via iterated enrichment
- Proof systems for various \textsf{FDE}-based modal logics
- Nested sequents for intuitionistic modal logics via structural refinement
- A general framework for FDE-based modal logics
- On the Finite Model Property of Intuitionistic Modal Logics over MIPC
- Hilbert algebras with a modal operator \(\diamondsuit\)
- On the finite model property of weak intuitionistic tense logic
- On displaying negative modalities
- Algebras and relational frames for Gödel modal logic and some of its extensions
- A uniform tableau method for intuitionistic modal logics. I
- Decidability of order-based modal logics
- On the Blok-Esakia theorem
- Title not available (Why is that?)
- Intuitionistic common knowledge or belief
- On classical behavior of intuitionistic modalities
- MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
- A model of intuitionistic affine logic from stable domain theory
- Algebraic semantics and model completeness for intuitionistic public announcement logic
- Models for stronger normal intuitionistic modal logics
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
- Universal proof theory: feasible admissibility in intuitionistic modal logics
- Standard Gödel modal logics
- Temporal here and there
- On logics with coimplication
- A framework for intuitionistic grammar logics
- The variety of modal weak Gödel algebras
- A proof-theoretic approach to negative translations in intuitionistic tense logics
- Tableaus for many-valued modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- CoNP complexity for combinations of non-normal modal logics
- On intuitionistic diamonds (and lack thereof)
- Mathematics of public announcements
- Almost duplication-free tableau calculi for propositional lax logics
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3720564)
