Euclidean Hierarchy in Modal Logic.
Johan van BenthemGuram BezhanishviliMai GehrkePublished in: Stud Logica (2003)
Keyphrases
- modal logic
- decision procedures
- temporal logic
- inference rules
- euclidean distance
- epistemic logic
- default logic
- classical logic
- nonmonotonic logics
- lower level
- situation calculus
- euclidean space
- explanation based generalization
- artificial intelligence
- prime implicates
- dynamic logic
- hierarchical structure
- first order logic
- data points