Intuitionistic Linear Temporal Logics.

Philippe Balbiani Joseph Boudou Martín Diéguez David Fernández-Duque

Published in: ACM Trans. Comput. Log. (2020)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
modal logic
concurrent systems
satisfiability problem
linear temporal logic
belief revision
temporal knowledge
verification method
predicate logic
reactive systems
artificial intelligence
temporal constraints
formal specification
linear logic
transition systems