Login / Signup

On the Completeness and Decidability of a Restricted First Order Linear Temporal Logic.

Regimantas Pliuskevicius
Published in: Kurt Gödel Colloquium (1997)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • description logics
  • query answering
  • decision procedures
  • multi agent systems
  • search space
  • belief revision