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

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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