Modal completeness of sublogics of the interpretability logic IL.
Taishi KurahashiYuya OkawaPublished in: Math. Log. Q. (2021)
Keyphrases
- modal logic
- nonmonotonic logics
- classical logic
- epistemic logic
- prediction accuracy
- logic programming
- inference rules
- multi valued
- transition systems
- modal operators
- order sorted
- database
- asynchronous circuits
- computational properties
- temporal logic
- data quality
- propositional logic
- digital circuits
- predicate logic
- relational databases
- multi agent systems
- deontic logic
- multi agent
- information systems
- sound and complete axiomatization
- neural network