Login / Signup

Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL.

Sergey BabenyshevVladimir V. Rybakov
Published in: CiE (2008)
Keyphrases
  • linear temporal logic
  • temporal logic
  • bounded model checking
  • model checking
  • description logics
  • linear time temporal logic
  • automata theoretic
  • deterministic automata
  • knowledge base
  • model checker