A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection.
Anna GomolinskaPublished in: Stud Logica (1997)
Keyphrases
- modal logic
- nonmonotonic logics
- classical logic
- logic programming
- defeasible logic
- temporal logic
- propositional logic
- nonmonotonic reasoning
- default logic
- inference rules
- tableau calculus
- autoepistemic logic
- modal operators
- deontic logic
- logical framework
- conditional logic
- situation calculus
- operational semantics
- default theories
- formal logic
- user acceptance
- model theoretic
- knowledge representation
- formal model
- propositional variables
- first order logic
- kripke models