Merlijn Sevenster

Available identifiers

Publication	Date of Publication	Type
Linear programming tools for analyzing strategic games of independence-friendly logic and applications	2020-07-24	Paper
Dichotomy result for independence-friendly prefixes of generalized quantifiers	2015-03-06	Paper
Equilibrium semantics of languages of imperfect information	2011-08-26	Paper
Independence-friendly logic. A game-theoretic approach	2011-02-18	Paper
Decidability of independence-friendly modal logic	2010-10-14	Paper
https://portal.mardi4nfdi.de/entity/Q3574473	2010-07-09	Paper
The complexity of Scotland Yard	2010-07-09	Paper
Model-theoretic and computational properties of modal dependence logic	2010-01-14	Paper
Henkin quantifiers: logic, games, and computation.	2009-09-19	Paper
Partially ordered connectives and monadic monotone strict NP	2009-06-17	Paper
A strategic perspective on IF games	2009-04-14	Paper
https://portal.mardi4nfdi.de/entity/Q3509069	2008-07-01	Paper
Logical Approaches to Computational Barriers	2007-04-30	Paper
On the computational consequences of independence in propositional logic	2006-08-18	Paper

This page was built for person: Merlijn Sevenster