Errata and addenda to: ``Finite non-deterministic semantics for some modal systems

DOI10.1080/11663081.2017.1300436zbMATH Open1398.03090OpenAlexW2606561016MaRDI QIDQ4586170FDOQ4586170

Authors: Marcelo E. Coniglio, Newton M. Peron 

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.2017.1300436

Recommendations

• Modal logic with non-deterministic semantics. I: Propositional case
• Corrigendum to: ``Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\)
• Erratum to: ``Suszko's thesis, inferential many-valuedness, and the notion of a logical system
• Finite non-deterministic semantics for some modal systems
• Corrigendum to: ``A new method to obtain termination in backward proof search for modal logic S4

zbMATH Keywords

modal logicnon deterministic matrices

Mathematics Subject Classification ID

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

Cites Work

• Modal semantics without possible worlds
• Finite non-deterministic semantics for some modal systems
• Title not available (Why is that?)

Cited In (6)

• Effective semantics for the modal logics K and KT via non-deterministic matrices
• Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
• Plurivaluationism, semantic nondeterminism and communication
• Erratum to: ``Reasoning with infinite stable models
• Swap structures semantics for Ivlev-like modal logics
• Correction to 'Representational and denotational semantics of digital systems'

This page was built for publication: Errata and addenda to: ``Finite non-deterministic semantics for some modal systems

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