Modal logics -- RNmatrices vs. Nmatrices
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3485746 (Why is no real title available?)
- scientific article; zbMATH DE number 625207 (Why is no real title available?)
- scientific article; zbMATH DE number 1765698 (Why is no real title available?)
- scientific article; zbMATH DE number 7585729 (Why is no real title available?)
- 8 valued non-deterministic semantics for modal logics
- An introduction to non-classical logic. From if to is
- Bemerkungen Zur Semantik Nicht‐Normaler Möglicher Welten
- Effective semantics for the modal logics K and KT via non-deterministic matrices
- Finite non-deterministic semantics for some modal systems
- Leśniewski's strategy and modal logic
- Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case
- Modal logic
- Modal logic with non-deterministic semantics. I: Propositional case
- Modal semantics without possible worlds
- Modular non-deterministic semantics for T, TB, S4, S5 and more
- Non-deterministic Multiple-valued Structures
- Non-deterministic semantics for logics with a consistency operator
- On Ivlev's semantics for modality
- Paraconsistent logic: consistency, contradiction and negation
- Some embedding theorems for modal logic
- Swap structures semantics for Ivlev-like modal logics
- Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
This page was built for publication: Modal logics -- RNmatrices vs. Nmatrices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6934034)