ILLC Publications, All Series, 2004 | Institute for Logic, Language and Computation

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