Exploring the Jungle of Intuitionistic Temporal Logics.

Joseph Boudou Martín Diéguez David Fernández-Duque Philip Kremer

Published in: CoRR (2019)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
modal logic
satisfiability problem
classical logic
fuzzy set theory
verification method
concurrent systems
linear logic
predicate logic
theorem prover
temporal resolution
temporal knowledge
reactive systems
interval valued
transition systems
linear temporal logic