Tableau systems for some Ivlev-like (quantified) modal logics

DOI10.1007/978-3-031-56595-3_5MaRDI QIDQ6623948FDOQ6623948

Marques Peron Newton, Luis Fariñas del Cerro, Marcelo E. Coniglio

Publication date: 24 October 2024

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.
• Non-deterministic Multiple-valued Structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Non-deterministic semantics for logics with a consistency operator
• Title not available (Why is that?)
• First-order modal logic
• Systematization of finite many-valued logics through the method of tableaux
• Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
• Title not available (Why is that?)
• Modal semantics without possible worlds
• The Undecidability of Monadic Modal Quantification Theory
• Finite non-deterministic semantics for some modal systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Effective semantics for the modal logics K and KT via non-deterministic matrices
• Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics
• Modular non-deterministic semantics for T, TB, S4, S5 and more
• Analytic tableaux for non-deterministic semantics
• Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
• Tree-like proof systems for finitely-many valued non-deterministic consequence relations
• Modal logic with non-deterministic semantics: Part I—Propositional case
• REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
• Swap structures semantics for Ivlev-like modal logics
• Generalization of Kalmar's method for quasi-matrix logic
• Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case
• Title not available (Why is that?)

This page was built for publication: Tableau systems for some Ivlev-like (quantified) modal logics

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