On Decidability and Expressiveness of Propositional Interval Neighborhood Logics

DOI10.1007/978-3-540-72734-7_7zbMath1132.03335OpenAlexW2169158271MaRDI 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

zbMATH Keywords

decidabilityexpressivenessneighbourhood interval logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (6)

A survey on temporal logics for specifying and verifying real-time systems ⋮ Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders ⋮ Algebraic neighbourhood logic ⋮ A new modal logic for reasoning about space: spatial propositional neighborhood logic ⋮ Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders ⋮ Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings

This page was built for publication: On Decidability and Expressiveness of Propositional Interval Neighborhood Logics