On Semantics for the Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection.
Anna GomolinskaPublished in: Fundam. Informaticae (1996)
Keyphrases
- nonmonotonic logics
- modal logic
- default logic
- logic programming
- epistemic logic
- modal operators
- tableau calculus
- autoepistemic logic
- nonmonotonic reasoning
- kripke models
- propositional logic
- conditional logic
- operational semantics
- temporal logic
- classical logic
- deontic logic
- model theoretic
- defeasible logic
- default theories
- inference rules
- logical framework
- knowledge representation
- dynamic logic
- sound and complete axiomatization
- formal model
- proof theory
- default reasoning
- truth maintenance systems
- sound and complete with respect
- logic programs
- proof theoretic
- strong equivalence
- logical language
- default rules