ILLC dissertation series

A game for the Borel functions / Brian Thomas Semmesschema:ProductModel A logical approach to competition in industries / Ivar Erik Vermeulenschema:ProductModel A logical approach to competition in industries / Ivar Erik Vermeulenschema:ProductModel A logical approach to computational theory building : with applications to sociology / Jacob Kampsschema:ProductModel A logical approach to computational theory building : with applications to sociology / Jacob Kampsschema:ProductModel A user's guide to proper names : their pragmatics and semantics / Anna Pilatovaschema:ProductModel Adventures in diagonalizable algebras / Vladimir Yurievich Shavrukovschema:ProductModel Algebraic relativization and arrow logic / Maarten Johannes Marxschema:ProductModel Approach to the truth : verisimilitude and truthlikeness / Sjoerd Douwe Zwartschema:ProductModel Belief dynamics : (epistemo)logical investigations / Allard Martijn Tammingaschema:ProductModel Belief dynamics : (epistemo)logical investigations / Allard Martijn Tammingaschema:ProductModel Bisimulations on planet Kripke / Jelle Douwe Gerbrandyschema:ProductModel Bisimulations on planet Kripke / Jelle Douwe Gerbrandyschema:ProductModel Branches of imperfect information: logic, games, and computation / Merlijn Sevensterschema:ProductModel Branches of imperfect information: logic, games, and computation / Merlijn Sevensterschema:ProductModel Building logic toolboxes / Juan Martín Heguiabehereschema:ProductModel Building logic toolboxes / Juan Martín Heguiabehereschema:ProductModel Calculi for constructive communication : a study of the dynamics of partial states / Johannes Ogier Maria Jasparsschema:ProductModel Chapters on bounded arithmetic & on provability logic / Domenico Zambellaschema:ProductModel Clocks, trees and stars in process theory / Willem Jan Fokkinkschema:ProductModel ... show all 152