The Modal Logic of Cluster-Decomposable Kripke Interpretations.
Michael KaminskiMichael L. TiomkinPublished in: Notre Dame J. Formal Log. (2007)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- classical logic
- clustering algorithm
- nonmonotonic logics
- conditional logic
- epistemic logic
- situation calculus
- cluster analysis
- data clustering
- model checking
- autoepistemic logic
- default logic
- hierarchical clustering
- data points
- dynamic logic
- prime implicates
- np complete
- description logics
- probability distribution
- multi agent systems