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

DOI10.3166/JANCL.21.177-200MaRDI QIDQ2901210zbMATH OpenOpenAlexFDO

Authors Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orłowska

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)

Recommendations

• Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
• scientific article; zbMATH DE number 1435945
• Relational dual tableau decision procedure for modal logic K
• Dual tableaux. Foundations, methodology, case studies
• Relational Logics and Their Applications

Cites work

• scientific article; zbMATH DE number 4134011 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• Dual tableaux. Foundations, methodology, case studies
• On the calculus of relations
• Tableaux and dual tableaux: transformation of proofs

Cited in

(4)

• Dual tableau-based decision procedures for fragments of the logic of binary relations
• Signed dual tableaux for Kleene answer set programs
• Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
• Relational dual tableau decision procedure for modal logic K

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

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