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

DOI10.3166/JANCL.21.177-200zbMATH Open1242.03028OpenAlexW2017904883MaRDI QIDQ2901210FDOQ2901210

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

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

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)

Cites Work

• On the calculus of relations
• Title not available (Why is that?)
• Dual tableaux. Foundations, methodology, case studies
• Tableaux and dual tableaux: transformation of proofs
• Title not available (Why is that?)

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)