Login / Signup
Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic.
Joseph Boudou
Martín Diéguez
David Fernández-Duque
Fabián Romero
Published in:
JELIA (2019)
Keyphrases
</>
temporal logic
dynamic constraints
model checking
reactive systems
verification method
logical framework
mazurkiewicz traces
computation tree logic
linear temporal logic
epistemic logic
modal logic
temporal knowledge
distributed systems
formal semantics
belief revision
logic programming
knowledge based systems