Generalizing the Modal and Temporal Logic of Linear Time.

Bernhard Heinemann

Published in: AMAST (2000)

Keyphrases

temporal logic
modal logic
model checking
transition systems
satisfiability problem
inference rules

nonmonotonic logics
epistemic logic
concurrent systems
situation calculus
verification method

modal operators
linear temporal logic
bounded model checking
temporal knowledge
belief revision

formal specification language
mazurkiewicz traces
model checker
formal verification
search algorithm