A complete axiomatization of interval temporal logic with infinite time

Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) ◽

10.1109/lics.2000.855773 ◽

2002 ◽

Cited By ~ 9

Author(s):

B.C. Moszkowski

Keyword(s):

Temporal Logic ◽

Infinite Time ◽

Interval Temporal Logic ◽

Complete Axiomatization

Download Full-text

A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection

Journal of Logic and Computation ◽

10.1093/logcom/13.2.195 ◽

2003 ◽

Vol 13 (2) ◽

pp. 195-239 ◽

Cited By ~ 45

Author(s):

H. Bowman

Keyword(s):

Temporal Logic ◽

Decision Procedure ◽

Finite Interval ◽

Interval Temporal Logic ◽

Complete Axiomatization

Download Full-text

A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time

Logical Methods in Computer Science ◽

10.2168/lmcs-8(3:10)2012 ◽

2012 ◽

Vol 8 (3) ◽

Cited By ~ 4

Author(s):

Ben Moszkowski

Keyword(s):

Temporal Logic ◽

Axiom System ◽

Infinite Time ◽

Interval Temporal Logic

Download Full-text

Complexity analysis of a unifying algorithm for model checking interval temporal logic

Information and Computation ◽

10.1016/j.ic.2020.104640 ◽

2020 ◽

pp. 104640

Author(s):

Laura Bozzelli ◽

Angelo Montanari ◽

Adriano Peron

Keyword(s):

Model Checking ◽

Temporal Logic ◽

Complexity Analysis ◽

Interval Temporal Logic

Download Full-text

Reactive Synthesis from Interval Temporal Logic Specifications

Theoretical Computer Science ◽

10.1016/j.tcs.2021.11.023 ◽

2021 ◽

Author(s):

Angelo Montanari ◽

Pietro Sala

Keyword(s):

Temporal Logic ◽

Reactive Synthesis ◽

Interval Temporal Logic

Download Full-text

Reversibility of Executable Interval Temporal Logic Specifications

Reversible Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-030-79837-6_13 ◽

2021 ◽

pp. 214-223

Author(s):

Antonio Cau ◽

Stefan Kuhn ◽

James Hoey

Keyword(s):

Temporal Logic ◽

Interval Temporal Logic

Download Full-text

Prompt Interval Temporal Logic

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-48758-8_14 ◽

2016 ◽

pp. 207-222 ◽

Cited By ~ 1

Author(s):

Dario Della Monica ◽

Angelo Montanari ◽

Aniello Murano ◽

Pietro Sala

Keyword(s):

Temporal Logic ◽

Interval Temporal Logic

Download Full-text

Telling Non-linear Stories with Interval Temporal Logic

Interactive Storytelling - Lecture Notes in Computer Science ◽

10.1007/978-3-319-27036-4_39 ◽

2015 ◽

pp. 370-373

Author(s):

Matt Thompson ◽

Steve Battle ◽

Julian Padget

Keyword(s):

Temporal Logic ◽

Interval Temporal Logic ◽

Non Linear

Download Full-text

The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33386-6_8 ◽

2012 ◽

pp. 77-91 ◽

Cited By ~ 4

Author(s):

Paritosh K. Pandya ◽

Simoni S. Shah

Keyword(s):

Lower Bound ◽

Temporal Logic ◽

Bound Constraints ◽

Interval Temporal Logic

Download Full-text

Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals

Mathematical Foundations of Computer Science 2014 - Lecture Notes in Computer Science ◽

10.1007/978-3-662-44522-8_38 ◽

2014 ◽

pp. 451-463 ◽

Cited By ~ 1

Author(s):

Angelo Montanari ◽

Gabriele Puppis ◽

Pietro Sala

Keyword(s):

Temporal Logic ◽

Interval Temporal Logic

Download Full-text

A complete axiomatization of a first-order temporal logic over trace systems

Partial Order Methods in Verification - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/029/05 ◽

1997 ◽

pp. 79-97

Author(s):

W Penczek ◽

Marian Srebrny

Keyword(s):

Temporal Logic ◽

First Order ◽

Complete Axiomatization

Download Full-text