Merlijn Sevenster

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Linear programming tools for analyzing strategic games of independence-friendly logic and applications Outstanding Contributions to Logic	2020-07-24	Paper
Dichotomy result for independence-friendly prefixes of generalized quantifiers Journal of Symbolic Logic	2015-03-06	Paper
Equilibrium semantics of languages of imperfect information Annals of Pure and Applied Logic	2011-08-26	Paper
Independence-friendly logic. A game-theoretic approach	2011-02-18	Paper
Decidability of independence-friendly modal logic The Review of Symbolic Logic	2010-10-14	Paper
scientific article; zbMATH DE number 5734948 (Why is no real title available?)	2010-07-09	Paper
The complexity of Scotland Yard	2010-07-09	Paper
Model-theoretic and computational properties of modal dependence logic Journal Of Logic And Computation	2010-01-14	Paper
Henkin quantifiers: logic, games, and computation.	2009-09-19	Paper
Partially ordered connectives and monadic monotone strict NP Journal of Logic, Language and Information	2009-06-17	Paper
A strategic perspective on IF games	2009-04-14	Paper
scientific article; zbMATH DE number 5295726 (Why is no real title available?)	2008-07-01	Paper
Logical Approaches to Computational Barriers Lecture Notes in Computer Science	2007-04-30	Paper
On the computational consequences of independence in propositional logic Synthese	2006-08-18	Paper

Research outcomes over time

This page was built for person: Merlijn Sevenster