Axiomatic systems and topological semantics for intuitionistic temporal logic.

Joseph Boudou Martín Diéguez David Fernández-Duque Fabián Romero

Published in: CoRR (2018)

Keyphrases

temporal logic
model checking
dynamic constraints
modal logic
reactive systems
satisfiability problem
logic programming
transition systems
knowledge base
knowledge based systems
belief revision
logical framework
model checker
verification method
computation tree logic