Modal logic with non-deterministic semantics. I: Propositional case
From MaRDI portal
Recommendations
Cited in
(18)- Analytic tableaux for non-deterministic semantics
- Swap structures semantics for Ivlev-like modal logics
- Logical non-determinism as a tool for logical modularity: an introduction
- Finite non-deterministic semantics for some modal systems
- Errata and addenda to: ``Finite non-deterministic semantics for some modal systems
- Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics
- Automated Reasoning with Analytic Tableaux and Related Methods
- Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case
- Tableau systems for some Ivlev-like (quantified) modal logics
- Plurivaluationism, semantic nondeterminism and communication
- The modal cube revisited: semantics without worlds
- A modal axiomatization of \(\mathbf{BK}\)
- RNmatrices for modal logics
- and in eight-valued non-deterministic semantics for modal logics
- Modal logics -- RNmatrices vs. Nmatrices
- Ivlev-like modal logics of formal inconsistency obtained by fibring swap structures
- Combining swap structures: the case of paradefinite Ivlev-like modal logics based on FDE
- Boolean and modal connectives as primitives in non-deterministic semantics
This page was built for publication: Modal logic with non-deterministic semantics. I: Propositional case
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5082324)
