A theoretical investigation into quantitative modal logic.
Churn-Jung LiauBertrand I-Peng LinPublished in: Fuzzy Sets Syst. (1995)
Keyphrases
- modal logic
- theoretical investigation
- temporal logic
- decision procedures
- inference rules
- nonmonotonic logics
- epistemic logic
- classical logic
- qualitative and quantitative
- prime implicates
- dynamic logic
- conditional logic
- situation calculus
- default logic
- quantitative and qualitative
- sequent calculus
- database systems
- model checking
- programming language
- higher order
- explanation based generalization
- multi agent systems