RNmatrices for modal logics

DOI10.1017/S1755020325100737MaRDI QIDQ6913438zbMATH OpenFDO

Authors Marcelo E. Coniglio, Pawel Pawlowski, Daniel Skurt

Publication date 21 October 2025

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S1755020325100737

zbMATH Keywords

decidabilitymodal logicsnon-deterministic semanticsRNmatricesswap structures

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Cites work

• and in eight-valued non-deterministic semantics for modal logics
• 8 valued non-deterministic semantics for modal logics
• A semantics for a failed axiomatization of \textsf{K}
• 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
• scientific article; zbMATH DE number 4202248 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• 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 1852922 (Why is no real title available?)
• Leśniewski's strategy and modal logic
• Logical matrices and non-structural consequence operators
• Modal logic
• Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case
• 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 algebraization of logics by swap structures
• Non-deterministic Multiple-valued Structures
• 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

Cited in

(5)

• The modal cube revisited: semantics without worlds
• A modal axiomatization of \(\mathbf{BK}\)
• Nondeterministic first-order T-BAT logic
• K and KT: an analytic non-deterministic view
• Boolean and modal connectives as primitives in non-deterministic semantics

This page was built for publication: RNmatrices for modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6913438)