Dual tableau-based decision procedures for fragments of the logic of binary relations

DOI10.1007/978-3-319-97879-6_7zbMATH Open1544.03025MaRDI QIDQ6599613FDOQ6599613

Domenico Cantone, Marianna Nicolosi Asmundo

Publication date: 6 September 2024

zbMATH Keywords

non-classical logicsdecision proceduresdual Tableau systemslogic of binary relationsrelational composition operationrelational entailment

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
• Rasiowa-Sikorski deduction systems in computer science applications.
• Dual tableau-based decision procedures for relational logics with restricted composition operator
• A new deduction system for deciding validity in modal logic K
• Implementing a relational theorem prover for modal logic
• An efficient relational deductive system for propositional non-classical logics
• Relational dual tableau decision procedure for modal logic K
• Dual tableaux. Foundations, methodology, case studies
• Description Logics
• Sur quelques points de la logique de M. Brouwer.

This page was built for publication: Dual tableau-based decision procedures for fragments of the logic of binary relations

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