Dialetheism, Game Theoretic Semantics, and Paraconsistent Dependence Logic
Pietro GallianiPublished in: CoRR (2012)
Keyphrases
- game theoretic
- logic programming
- valued semantics
- game theory
- logic programs
- decision problems
- classical logic
- proof theory
- epistemic logic
- nonmonotonic logics
- logical framework
- imperfect information
- nonmonotonic reasoning
- sound and complete axiomatization
- possibilistic logic
- nash equilibrium
- default logic
- agent programming
- truth values
- knowledge base
- inference rules
- nash equilibria
- propositional dynamic logic
- consistent query answering
- knowledge representation
- dynamic logic
- reasoning about actions
- regret minimization
- valued logic
- solution concepts
- pure nash equilibrium
- programming language
- trust model
- pure nash equilibria
- machine learning
- combinatorial auctions
- multi agent systems
- computational complexity
- rational agents
- modal logic