PUC-Logic embedding of Lewis' Deontic Logics.
Ricardo Queiroz de Araujo FernandesEdward Hermann HaeuslerLuiz Carlos PereiraPublished in: CoRR (2014)
Keyphrases
- classical logic
- modal logic
- deontic logic
- logic programming
- nonmonotonic logics
- propositional dynamic logic
- intuitionistic logic
- proof theory
- propositional calculus
- autoepistemic logic
- temporal logic
- valued logic
- epistemic logic
- logic programs
- computational properties
- knowledge representation formalisms
- proof theoretic
- order sorted
- default logic
- conditional logic
- vector space
- proof procedures
- nonmonotonic reasoning
- higher order logic
- expressive power
- inference rules
- nonlinear dimensionality reduction
- default reasoning
- default theories
- truth values
- watermarking algorithm
- dynamic logic
- inductive logic programming
- valued semantics
- decision procedures
- coalition logic
- horn logic
- knowledge base