Equilibrium Semantics for IF Logic and Many-Valued Connectives.
Christian G. FermüllerOndrej MajerPublished in: TbiLLC (2015)
Keyphrases
- default logic
- modal logic
- nonmonotonic logics
- classical logic
- autoepistemic logic
- valued semantics
- logic programming
- inference rules
- default theories
- default reasoning
- epistemic logic
- truth values
- modal operators
- conditional logic
- nonmonotonic reasoning
- valued logic
- kripke models
- proof theory
- dynamic logic
- sequent calculus
- temporal logic
- proof theoretic
- intuitionistic logic
- proof procedures
- deductive databases
- fixpoint
- logical framework
- situation calculus
- game theory
- higher order logic
- sound and complete with respect
- natural deduction
- knowledge representation
- multi agent systems
- rough sets
- semantic information
- predicate logic
- model theoretic
- reasoning about actions
- nash equilibrium
- theorem prover
- multi valued