Login / Signup

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces.

P. S. ThiagarajanIgor Walukiewicz
Published in: LICS (1997)
Keyphrases
  • temporal logic
  • mazurkiewicz traces
  • linear time temporal logic
  • model checking
  • modal logic
  • linear temporal logic
  • satisfiability problem
  • belief revision
  • modal operators
  • sequent calculus
  • domain specific