Login / Signup

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces.

P. S. ThiagarajanIgor Walukiewicz
Published in: Inf. Comput. (2002)
Keyphrases
  • temporal logic
  • mazurkiewicz traces
  • linear time temporal logic
  • model checking
  • linear temporal logic
  • modal logic
  • satisfiability problem
  • modal operators
  • belief revision
  • np hard