The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic
From MaRDI portal
Publication:2900471
DOI10.1007/978-3-642-29414-3_6zbMath1356.03061MaRDI 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
03B44: Temporal logic
Related Items
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