Conservative translations of four-valued logics in modal logic.
Ekaterina KubyshkinaPublished in: Synth. (2021)
Keyphrases
- modal logic
- valued logic
- classical logic
- temporal logic
- inference rules
- machine translation
- epistemic logic
- truth values
- dynamic logic
- default logic
- nonmonotonic logics
- situation calculus
- datalog programs
- explanation based generalization
- conditional logic
- autoepistemic logic
- model checking
- prime implicates
- propositional logic
- description logic alc
- multi agent
- theorem proving
- natural language