Intuitionistic Linear Temporal Logics.

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

Published in: CoRR (2019)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
modal logic
concurrent systems
belief revision
satisfiability problem
linear temporal logic
temporal knowledge
transition systems
classical logic
predicate logic
verification method
multi agent
fuzzy numbers
formal verification