Bases for closed sets of implicants and implicates in temporal logic.
Pablo CorderoManuel EncisoInman P. de GuzmánPublished in: Acta Informatica (2002)
Keyphrases
- temporal logic
- closed sets
- model checking
- modal logic
- binary data
- inductive inference
- prime implicates
- multi relational
- set theory
- mazurkiewicz traces
- computation tree logic
- belief revision
- categorical data
- data sets
- linear temporal logic
- emerging patterns
- verification method
- reactive systems
- data model
- relational databases