Dual tableau-based decision procedures for fragments of the logic of binary relations
type: Item
instance of: scholarly article
title: Dual tableau-based decision procedures for fragments of the logic of binary relations
zbMATH Open document ID: 1544.03025
DOI: 10.1007/978-3-319-97879-6_7
author: Domenico Cantone
author: Marianna Nicolosi Asmundo
publication date: 2024-09-06T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 7908126
zbMATH Keywords: logic of binary relations
zbMATH Keywords: non-classical logics
zbMATH Keywords: dual Tableau systems
zbMATH Keywords: decision procedures
zbMATH Keywords: relational composition operation
zbMATH Keywords: relational entailment
MaRDI profile type: Publication
cites work: Q4406531
cites work: Description Logics
cites work: Dual tableau-based decision procedures for relational logics with restricted composition operator
cites work: Q4385532
cites work: Q4863622
cites work: An efficient relational deductive system for propositional non-classical logics
cites work: Sur quelques points de la logique de M. Brouwer.
cites work: A new deduction system for deciding validity in modal logic K
cites work: Relational dual tableau decision procedure for modal logic K
cites work: Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
cites work: Rasiowa-Sikorski deduction systems in computer science applications.
cites work: Q3972527
cites work: Implementing a relational theorem prover for modal logic
cites work: Q4011727
cites work: Dual tableaux. Foundations, methodology, case studies
cites work: Q3279278
cites work: Q5734410
cites work: Q4040000
description: scientific article; zbMATH DE number 7908126