scientific article; zbMATH DE number 3950488
From MaRDI portal
Publication:3720564
Recommendations
Cited in
(51)- Algebraic semantics and model completeness for intuitionistic public announcement logic
- Algorithmic correspondence and canonicity for distributive modal logic
- Almost duplication-free tableau calculi for propositional lax logics
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
- 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?
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
- Axiomatization of intuitionistic logics defined by small frames
- Axiomatization of crisp Gödel modal logic
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- scientific article; zbMATH DE number 7668111 (Why is no real title available?)
- Monadic bounded commutative residuated -monoids
- Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets.
- scientific article; zbMATH DE number 124194 (Why is no real title available?)
- 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
- Hilbert algebras with a modal operator \(\diamondsuit\)
- On the Finite Model Property of Intuitionistic Modal Logics over MIPC
- On the finite model property of weak intuitionistic tense logic
- On displaying negative modalities
- A uniform tableau method for intuitionistic modal logics. I
- Decidability of order-based modal logics
- Algebras and relational frames for Gödel modal logic and some of its extensions
- On the Blok-Esakia theorem
- Intuitionistic common knowledge or belief
- scientific article; zbMATH DE number 1507194 (Why is no real title available?)
- 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
- Standard Gödel modal logics
- Universal proof theory: feasible admissibility in intuitionistic modal logics
- On logics with coimplication
- Temporal here and there
- A framework for intuitionistic grammar logics
- Tableaus for many-valued modal logic
- A proof-theoretic approach to negative translations in intuitionistic tense logics
- The variety of modal weak Gödel algebras
- scientific article; zbMATH DE number 3865242 (Why is no real title available?)
- scientific article; zbMATH DE number 6863647 (Why is no real title available?)
- CoNP complexity for combinations of non-normal modal logics
- On intuitionistic diamonds (and lack thereof)
- Mathematics of public announcements
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)
