Login / Signup

From rewrite theories to temporal logic theories.

Grit Denker
Published in: WRLA (1998)
Keyphrases
  • temporal logic
  • model checking
  • modal logic
  • modal operators
  • satisfiability problem
  • bounded model checking
  • artificial intelligence
  • belief revision