8 valued non-deterministic semantics for modal logics

DOI10.1007/S10992-023-09733-4MaRDI QIDQ6128769zbMATH OpenFDO

Authors Pawel Pawlowski, Daniel Skurt

Publication date 16 April 2024

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10992-023-09733-4

zbMATH Keywords

many-valued logicsmodal logicsnon-deterministic semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cited in

(9)

• The modal cube revisited: semantics without worlds
• A modal axiomatization of \(\mathbf{BK}\)
• A Gödel-Dugundji-style theorem for the minimal structural logic
• RNmatrices for modal logics
• and in eight-valued non-deterministic semantics for modal logics
• Modal logics -- RNmatrices vs. Nmatrices
• 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: 8 valued non-deterministic semantics for modal logics

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