Modal translation of substructural logics.
Chrysafis HartonasPublished in: J. Appl. Non Class. Logics (2020)
Keyphrases
- modal logic
- propositional calculus
- nonmonotonic logics
- inference rules
- temporal logic
- default logic
- machine translation
- expressive power
- propositional logic
- statistical machine translation
- conditional logic
- propositional variables
- situation calculus
- real time
- cross language information retrieval
- nonmonotonic reasoning
- classical logic
- information systems
- epistemic logic
- data sets