Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster.
Tatsuya ShimuraPublished in: Stud Logica (2000)
Keyphrases
- modal logic
- kripke models
- default logic
- inference rules
- temporal logic
- horn clauses
- decision procedures
- classical logic
- epistemic logic
- clustering algorithm
- default theories
- nonmonotonic logics
- incomplete information
- video frames
- np complete
- default reasoning
- nonmonotonic reasoning
- situation calculus
- modal operators
- special case
- multi agent
- logical framework
- expert systems
- data points