An Inductive Construction for Many-Valued Coalgebraic Modal Logic.
Chun-Yu LinChurn-Jung LiauPublished in: ISMVL (2023)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- machine learning
- nonmonotonic logics
- classical logic
- epistemic logic
- conditional logic
- prime implicates
- autoepistemic logic
- default logic
- explanation based generalization
- situation calculus
- inductive learning
- inductive inference
- inductive logic programming
- knowledge representation
- database systems