Tableau systems for some Ivlev-like (quantified) modal logics
type: Item
instance of: scholarly article
title: Tableau systems for some Ivlev-like (quantified) modal logics
DOI: 10.1007/978-3-031-56595-3_5
author: Marcelo E. Coniglio
author: Luis Fariñas del Cerro
author: Marques Peron Newton
publication date: 2024-10-24T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B50
zbMATH DE Number: 7931588
MaRDI profile type: Publication
cites work: Non-deterministic semantics for logics with a consistency operator
cites work: Q4539639
cites work: Non-deterministic Multiple-valued Structures
cites work: REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
cites work: Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
cites work: Modal logic
cites work: Q3148848
cites work: Systematization of finite many-valued logics through the method of tableaux
cites work: Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.
cites work: Finite non-deterministic semantics for some modal systems
cites work: Modal logic with non-deterministic semantics: Part I—Propositional case
cites work: Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case
cites work: Swap structures semantics for Ivlev-like modal logics
cites work: Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
cites work: First-order modal logic
cites work: Q3414345
cites work: Analytic tableaux for non-deterministic semantics
cites work: Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics
cites work: Q4698331
cites work: Q5752543
cites work: Q4303543
cites work: Generalization of Kalmar's method for quasi-matrix logic
cites work: Modal semantics without possible worlds
cites work: The Undecidability of Monadic Modal Quantification Theory
cites work: Effective semantics for the modal logics K and KT via non-deterministic matrices
cites work: Q5823282
cites work: Q5245319
cites work: Q5104722
cites work: Tree-like proof systems for finitely-many valued non-deterministic consequence relations
cites work: Modular non-deterministic semantics for T, TB, S4, S5 and more
cites work: Q5560258
cites work: Q3791124
description: scientific article; zbMATH DE number 7931588