On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
From MaRDI portal
Publication:5434500
DOI10.1007/978-3-540-72734-7_7zbMath1132.03335MaRDI QIDQ5434500
Angelo Montanari, Guido Sciavicco, Davide Bresolin, Valentin F. Goranko
Publication date: 4 January 2008
Published in: Logical Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-72734-7_7
03B70: Logic in computer science
03B25: Decidability of theories and sets of sentences
03B44: Temporal logic
Related Items
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders, Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings, Algebraic neighbourhood logic, A survey on temporal logics for specifying and verifying real-time systems, A new modal logic for reasoning about space: spatial propositional neighborhood logic, Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders