Items where Author is "Sevenster, Merlijn"

Report

PP-2007-29: Sevenster, Merlijn (2007) A strategic perspective on IF games. [Report]

PP-2006-53: Sevenster, Merlijn and Tulenheimo, Tero (2006) Finite model theory for partially ordered connectives. [Report]

PP-2006-47: Tulenheimo, Tero and Sevenster, Merlijn (2006) Approaches to Independence Friendly Modal Logic. [Report]

PP-2006-32: Sevenster, Merlijn (2006) Henkin quantifiers: logic, games, and computation. [Report]

PP-2006-31: Sevenster, Merlijn and Tulenheimo, Tero (2006) Partially ordered connectives and Sigma-1-1 on finite models. [Report]

PP-2006-18: Sevenster, Merlijn (2006) The Complexity of Scotland Yard. [Report]

Thesis

DS-2006-06: Sevenster, Merlijn (2006) Branches of imperfect information: logic, games, and computation. Doctoral thesis, University of Amsterdam.