Sign in

Monadic second order logic as the model companion of temporal logic.

Silvio GhilardiSam van Gool
Published in: LICS (2016)
Keyphrases
  • temporal logic
  • model checking
  • verification method
  • special case
  • query processing
  • domain specific
  • pattern matching
  • heuristic search
  • integrity constraints
  • modal logic
  • temporal knowledge