Dual tableau-based decision procedures for relational logics with restricted composition operator

DOI10.3166/JANCL.21.177-200zbMath1242.03028OpenAlexW2017904883MaRDI QIDQ2901210

Domenico Cantone, Ewa S. Orłowska, Marianna Nicolosi-Asmundo

Publication date: 17 July 2012

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.21.177-200

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (1)

Relational dual tableau decision procedures and their applications to modal and intuitionistic logics

Cites Work

• Unnamed Item
• Unnamed Item
• Dual tableaux. Foundations, methodology, case studies
• Tableaux and dual tableaux: transformation of proofs
• On the calculus of relations

This page was built for publication: Dual tableau-based decision procedures for relational logics with restricted composition operator