Merlijn Sevenster
editions X
3 Publications
Linear programming tools for analyzing strategic games of independence-friendly logic and applications
2018
in: Jaakko Hintikka on knowledge and game-theoretical semantics, Berlin,
On the computational consequences of independence in propositional logic
2006
Synthese 149 (2)
3 Publications