Login / Signup

Structure Theorems for Closed Sets of Implicates/ Implicants in Temporal Logic.

Inman P. de GuzmánPablo CorderoManuel Enciso
Published in: EPIA (1999)
Keyphrases
  • temporal logic
  • model checking
  • closed sets
  • modal logic
  • verification method
  • linear temporal logic
  • artificial intelligence
  • belief revision
  • binary data
  • computation tree logic
  • data structure
  • hierarchical structure