ILLC Publications, All Series, 2004

MoL-2004-01:
Katrin Schulz A Case Study on the Paradox of Free Choice Permission
MoL-2004-02:
Andreas Zollmann A Consistent and Efficient Estimator for the Data-Oriented Parsing Model
MoL-2004-03:
Giosuè Baggio Two ERP studies on Dutch temporal semantics
MoL-2004-04:
Be Birchall Duality for Distributive Modal Algebras
MoL-2004-05:
Fenrong Liu Dynamic Variations: Update and Revision for Diverse Agents
MoL-2004-06:
Thuy Linh Nguyen Rank Consistent Estimation: The DOP Case
MoL-2004-07:
Piotr Labenz Event-calculus semantics of Polish aspect
MoL-2004-08:
Ji Ruan Exploring the Update Universe
MoL-2004-09:
Spencer Gerhardt A Construction Method for Modal Logics of Space
PP-2004-01:
Johan van Benthem Minimal Predicates, Fixed Points, and Definability
PP-2004-02:
Johan van Benthem A Mini-Guide to Logic In Action
PP-2004-03:
Benedikt Löwe Complexity hierarchies derived from reduction functions
PP-2004-04:
Benedikt Löwe, Darko Sarenac Cardinal spaces and topological representations of bimodal logics
PP-2004-05:
Mai Gehrke, John Harding, Yde Venema MacNeille completions and canonical extensions
PP-2004-06:
Nick Bezhanishvili, Balder ten Cate Transfer results for hybrid logic -- Part I: the case without satisfaction operators
PP-2004-07:
Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip Welch Comparing inductive and circular definitions: parameters, complexity and games
PP-2004-08:
Henkjan Honing When a good fit is not good enough: A case study on the Final Ritard
PP-2004-09:
Henkjan Honing Wiskunde en muziekcognitie
PP-2004-10:
Benedikt Löwe The Length of the Full Hierarchy of Norms
PP-2004-11:
Benedikt Löwe A non-monotone Fraenkel-L\'evy labelling for the asymmetric combinatorial game on cyclic graphs
PP-2004-12:
Renate Bartsch Concept Formation, Remembering, and Understanding: Dynamic Conceptual Semantics and Proust's "A la Recherche du Temps Perdu"
PP-2004-13:
Johan van Benthem, Fenrong Liu Diversity of Logical Agents in Games
PP-2004-14:
Henkjan Honing Computational modeling of music cognition: A case study on model selection
PP-2004-15:
Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac Modal Logics for Products of Topologies
PP-2004-16:
Reinhard Blutner Nonmonotonic Inferences and Neural Networks
PP-2004-17:
Henkjan Honing Is there a perception-based alternative to kinematic models of tempo rubato?
PP-2004-18:
Tine Wilde Reflectieve dynamiek in het latere werk van Wittgenstein. Een onderzoek naar verbanden tussen zijn opmerkingen over kleur, aspecten zien en zekerheid
PP-2004-19:
Tine Wilde Installatiekunst biedt vragen in plaats van antwoorden
PP-2004-20:
Johan van Benthem, Darko Sarenac The Geometry of Knowledge
PP-2004-21:
Yde Venema Automata and Fixed Point Logic: a Coalgebraic Perspective
PP-2004-22:
Stefan Bold, Benedikt Löwe A simple inductive argument to compute more Kleinberg sequences under the Axiom of Determinacy
PP-2004-23:
Frank Veltman Making Counterfactual Assumptions
PP-2004-24:
Wolfram Hinzen Spencerism and the Causal Theory of Reference
PP-2004-25:
Andrés Perea Minimal belief revision leads to backward induction
PP-2004-26:
Benedikt Löwe A parametrised choice principle and Martin's conjecture on Blackwell determinacy
PP-2004-27:
Balder ten Cate The first order formulas preserved under ultrafilter extensions are not recursively enumerable
PP-2004-28:
Detlef Prescher, Remko Scha, Khalil Sima'an, Andreas Zollmann Treebank Grammars and Other Infinite Parameter Models
PP-2004-29:
Wolfram Hinzen Explaining rigidity
PP-2004-30:
Dick de Jongh Volledigheid en Onvolledigheid
PP-2004-31:
Wolfram Hinzen The mind we do not change
PP-2004-32:
Balder ten Cate, Massimo Franceschet Guarded fragments with constants
PP-2004-33:
Benedikt Löwe Set Theory with and within urelements and categories of interpretation
PP-2004-34:
Henkjan Honing Is Timing Tempo-Specific? An Online Internet Experiment on Perceptual Invariance of Timing in Music
X-2004-01:
Benedikt Löwe A note on pure variations of axioms of Blackwell determinacy
X-2004-02:
Henkjan Honing, Peter Desain Final Report NWO-PIONIER Project "Music, Mind, Machine"
X-2004-03:
Benedikt Löwe, Thomas Müller Degrees of Belief and Knowledge in Mathematics
X-2004-04:
Benedikt Löwe, Robert van Rooij, Bernhard Schröder, Henk Zeevat ILLC-Day 2 in Bonn ``Language''
X-2004-05:
Faustine van der Grijn (Im)possibility of a coordinated attack
X-2004-06:
René de Jonge IL-modellen en bisimulaties