Login / Signup
On Almost Future Temporal Logics.
Alexander Rabinovich
Published in:
Fields of Logic and Computation II (2015)
Keyphrases
</>
temporal logic
model checking
mazurkiewicz traces
modal logic
concurrent systems
predicate logic
temporal knowledge
cellular automata
linear temporal logic
temporal resolution
satisfiability problem
reactive systems
situation calculus
transition systems
objective function
spatial resolution
expert systems