Tableau Systems for Logics of Subinterval Structures over Dense Orderings

DOI10.1007/978-3-540-73099-6_8zbMath1133.03007OpenAlexW2120872188MaRDI QIDQ5434480

Pietro Sala, Davide Bresolin, Angelo Montanari, Valentin F. 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

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

Related Items

Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions, Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders, Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings