Tableau Systems for Logics of Subinterval Structures over Dense Orderings

DOI10.1007/978-3-540-73099-6_8MaRDI QIDQ5434480zbMATH OpenOpenAlexFDO

Authors Davide Bresolin, Angelo Montanari, Pietro Sala, Valentin Goranko

Publication date 4 January 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73099-6_8

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Logic in artificial intelligence (68T27)

Recommendations

• Tableaux for logics of subinterval structures over dense orderings
• Complete and terminating tableau for the logic of proper subinterval structures over dense orderings
• Labelled tableau systems for some subintuitionistic logics
• Tableau methods for substructural logics
• Tableaux for intuitionistic logics
• Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders
• Tableaux and restricted quantification for systems related to weak Kleene logic
• Systematization of finite many-valued logics through the method of tableaux
• Generalized tableau systems for intermediate propositional logics
• scientific article; zbMATH DE number 1189102

Cited in

(4)

• Tableaux for logics of subinterval structures over dense orderings
• Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
• Complete and terminating tableau for the logic of proper subinterval structures over dense orderings
• Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions

This page was built for publication: Tableau Systems for Logics of Subinterval Structures over Dense Orderings

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