A game theoretical semantics for a logic of formal inconsistency.
Can BaskentPedro Henrique CarrasqueiraPublished in: Log. J. IGPL (2020)
Keyphrases
- ctl model update
- sound and complete with respect
- game theory
- nash equilibrium
- game play
- formal semantics
- video games
- logic programming
- serious games
- game playing
- propositional dynamic logic
- valued semantics
- imperfect information
- classical logic
- machine processable
- proof theoretic
- possibilistic logic
- default reasoning
- game theoretic
- operational semantics
- nonmonotonic logics
- conditional logic
- multi agent systems
- algebraic structure
- proof theory
- specification languages
- automated reasoning
- intuitionistic logic
- nonmonotonic reasoning
- incomplete information
- programming language