Finite non-deterministic semantics for some modal systems

DOI10.1080/11663081.2015.1011543zbMath1398.03089OpenAlexW2026580636MaRDI QIDQ4586135

Unnamed Author, Newton M. Peron, Marcelo E. Coniglio

Publication date: 12 September 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2015.1011543

zbMATH Keywords

modal logicdecidabilitynon-deterministic matrices

Mathematics Subject Classification ID

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

Related Items (7)

Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics ⋮ MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY ⋮ Errata and Addenda to ‘Finite non-deterministic semantics for some modal systems’ ⋮ Society semantics and the logic way to collective intelligence ⋮ Tree-like proof systems for finitely-many valued non-deterministic consequence relations ⋮ Swap structures semantics for Ivlev-like modal logics ⋮ Effective semantics for the modal logics K and KT via non-deterministic matrices

Cites Work

• Dugundji's theorem revisited
• Quasi-matrix logic as a paraconsistent logic for dubitable information
• Possible-translations semantics for some weak classically-based paraconsistent logics
• Modal semantics without possible worlds
• Logics of Formal Inconsistency
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Deontic Logic in Computer Science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Finite non-deterministic semantics for some modal systems