Routely-Meyer Semantics for some weak Boolean Logics, and some Translations.
Eunsuk YangPublished in: Log. J. IGPL (2004)
Keyphrases
- nonmonotonic logics
- proof theory
- propositional dynamic logic
- conditional logic
- epistemic logic
- valued semantics
- real valued data
- formal semantics
- proof theoretic
- semantic information
- default reasoning
- computational properties
- modal logic
- real valued
- expressive power
- boolean functions
- logic programming
- valued logic
- machine translation
- knowledge representation
- intuitionistic logic
- proof procedures
- model checking
- higher order logic
- query language
- nonmonotonic reasoning
- default logic