View publication by year:
- 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