A Lindström theorem in many-valued modal logic over a finite MTL-chain.
Guillermo BadiaGrigory K. OlkhovikovPublished in: Fuzzy Sets Syst. (2020)
Keyphrases
- modal logic
- temporal logic
- inference rules
- multi task learning
- classical logic
- epistemic logic
- nonmonotonic logics
- default logic
- conditional logic
- finite number
- situation calculus
- explanation based generalization
- multiple tasks
- dynamic logic
- monadic datalog
- prime implicates
- domain knowledge
- autoepistemic logic
- inductive learning
- integrity constraints
- multi class