Many-dimensional Modal Logic of Tense and Temporal Interval and its Decidability.
Suguru YoshiokaSatoshi TojoPublished in: WEC (5) (2005)
Keyphrases
- modal logic
- decision procedures
- temporal logic
- inference rules
- multi dimensional
- nonmonotonic logics
- description logics
- epistemic logic
- default logic
- situation calculus
- temporal relations
- classical logic
- conditional logic
- modal operators
- prime implicates
- model theoretic
- explanation based generalization
- dynamic logic