An Amalgamated Temporal Logic.

Yuejun Jiang Barry Richards

Published in: ALPUK (1992)

Keyphrases

temporal logic
model checking
satisfiability problem
modal logic
concurrent systems
mazurkiewicz traces
linear temporal logic
computation tree logic
belief revision
model checker
multi agent systems
epistemic logic
reactive systems
temporal properties
formal specification language