Propositional interval temporal logics are quite expressive temporal logics that provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. The main objective of the thesis is the exploration of the boundary area between decidability and undecidability in the field of Interval Temporal Logics. In particular, we focus on the development of original tableau-based decision procedures for propositional interval temporal logics.
Proof methods for Interval Temporal Logics
BRESOLIN, DAVIDE
2007
Abstract
Propositional interval temporal logics are quite expressive temporal logics that provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. The main objective of the thesis is the exploration of the boundary area between decidability and undecidability in the field of Interval Temporal Logics. In particular, we focus on the development of original tableau-based decision procedures for propositional interval temporal logics.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
