Séminaire de Logiques Non Classiques : Can Baskent
“Game semantics and Non-Classical Logics”
In this talk, I will give game theoretical semantics for various non-classical logics including Logic of Paradox of Priest and First-Degree Entailment of Dunn. The talk will be introductory where I will introduce various basic paraconsistent and paracomplete logics, and discuss their semantical structure from a game theoretical perspective. I will conclude with some open problems, and research directions.