An Extended Branching-Time Ockhamist Temporal Logic.

Mark A. Brown Valentin Goranko

Published in: J. Log. Lang. Inf. (1999)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
verification method
linear temporal logic
model checker
temporal knowledge
mazurkiewicz traces
belief revision
transition systems
inference rules
formal specification
finite state
dynamic constraints