The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic

DOI10.1007/978-3-642-29414-3_6zbMath1356.03061OpenAlexW47963539MaRDI QIDQ2900471

Pietro Sala, Dario Della Monica, Angelo Montanari

Publication date: 23 July 2012

Published in: Logic Programs, Norms and Action (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29414-3_6

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (4)

An interval temporal logic characterization of extended \(\omega\)-regular languages ⋮ Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals ⋮ Guest editors' preface to special issue on interval temporal logics ⋮ Prompt Interval Temporal Logic

This page was built for publication: The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic