Theory of (n) truth degrees of formulas in modal logic and a consistency theorem.
GuoJun WangQiaoLin DuanPublished in: Sci. China Ser. F Inf. Sci. (2009)
Keyphrases
- modal logic
- modal operators
- temporal logic
- inference rules
- situation calculus
- decision procedures
- action theories
- classical logic
- nonmonotonic logics
- von neumann
- valued logic
- truth values
- epistemic logic
- autoepistemic logic
- conditional logic
- dynamic logic
- description logic alc
- kripke models
- general theory
- explanation based generalization
- horn formulas
- logic programming
- default logic