ILLC Publications, All Series, 2004
These reports are also available from the UvA/DARE server: the page corresponding to the listing below can be found here.
- 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. - PP-2004-33:
-
Benedikt Löwe
Set Theory with and within urelements and categories of interpretation.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract. - PP-2004-32:
-
Balder ten Cate, Massimo Franceschet
Guarded fragments with constants.
1.Full Text, 2.Abstract. - PP-2004-31:
-
Wolfram Hinzen
The mind we do not change.
1.Full Text (PDF), 2.Full Text (DOC), 3.Abstract. - PP-2004-30:
-
Dick de Jongh
Volledigheid en Onvolledigheid.
1.Full Text, 2.Abstract. - PP-2004-29:
-
Wolfram Hinzen
Explaining rigidity.
1.Full Text (DOC), 2.Full Text (PDF), 3.Abstract. - PP-2004-28:
-
Detlef Prescher, Remko Scha, Khalil Sima'an and Andreas Zollmann
Treebank Grammars and Other Infinite Parameter Models.
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-26:
-
Benedikt Löwe
A parametrised choice principle and Martin's conjecture on Blackwell determinacy.
1.Full Text, 2.Abstract. - PP-2004-25:
-
Andrés Perea
Minimal belief revision leads to backward induction.
1.Full Text (TXT), 2.Full Text (PDF), 3.Abstract. - PP-2004-24:
-
Wolfram Hinzen
Spencerism and the Causal Theory of Reference.
1.Full Text (DOC), 2.Full Text (PDF), 3.Abstract. - PP-2004-23:
-
Frank Veltman
Making Counterfactual Assumptions.
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-21:
-
Yde Venema
Automata and Fixed Point Logic: a Coalgebraic Perspective.
1.Full Text, 2.Abstract. - PP-2004-20:
-
Johan van Benthem, Darko Sarenac
The Geometry of Knowledge.
1.Full Text, 2.Abstract. - PP-2004-19:
-
Tine Wilde
Installatiekunst biedt vragen in plaats van antwoorden.
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-17:
-
Henkjan Honing
Is there a perception-based alternative to kinematic models of tempo rubato?.
1.Full Text, 2.Abstract. - PP-2004-16:
-
Reinhard Blutner
Nonmonotonic Inferences and Neural Networks.
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-14:
-
Henkjan Honing
Computational modeling of music cognition: A case study on model selection.
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-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-11:
-
Benedikt Löwe
A non-monotone Fraenkel-Lévy labelling for the asymmetric combinatorial game on cyclic graphs.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract. - PP-2004-10:
-
Benedikt Löwe
The Length of the Full Hierarchy of Norms.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract. - PP-2004-09:
-
Henkjan Honing
Wiskunde en muziekcognitie.
1.Full Text, 2.Abstract. - PP-2004-08:
-
Henkjan Honing
When a good fit is not good enough: A case study on the Final Ritard.
1.Full Text (PDF), 2.Full Text (PS), 3.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.Full Text (PS), 2.Full Text (PDF), 3.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-05:
-
Mai Gehrke, John Harding, Yde Venema
MacNeille completions and canonical extensions.
1.Full Text, 2.Abstract. - PP-2004-04:
-
Benedikt Löwe, Darko Sarenac
Cardinal spaces and topological representations of bimodal logics.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract. - PP-2004-03:
-
Benedikt Löwe
Complexity hierarchies derived from reduction functions.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract. - PP-2004-02:
-
Johan van Benthem
A Mini-Guide to Logic In Action.
1.Full Text, 2.Abstract. - PP-2004-01:
-
Johan van Benthem
Minimal Predicates, Fixed Points, and Definability.
1.Full Text, 2.Abstract. - X-2004-06:
-
René de Jonge
IL-modellen en bisimulaties.
1.Full Text, 2.Abstract. - X-2004-05:
-
Faustine van der Grijn
(Im)possibility of a coordinated attack.
1.Full Text, 2.Abstract. - 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-03:
-
Benedikt Löwe, Thomas Müller
Degrees of Belief and Knowledge in Mathematics.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract. - X-2004-02:
-
Henkjan Honing, Peter Desain
Final Report NWO-PIONIER Project "Music, Mind, Machine".
1.Full Text, 2.Abstract. - X-2004-01:
-
Benedikt Löwe
A note on pure variations of axioms of Blackwell determinacy.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract. - MoL-2004-09:
-
Spencer Gerhardt
A Construction Method for Modal Logics of Space.
1.Full Text, 2.Abstract. - MoL-2004-08:
-
Ji Ruan
Exploring the Update Universe.
1.Full Text, 2.Abstract. - MoL-2004-07:
-
Piotr Labenz
Event-calculus semantics of Polish aspect.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract. - MoL-2004-06:
-
Thuy Linh Nguyen
Rank Consistent Estimation: The DOP Case.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract. - MoL-2004-05:
-
Fenrong Liu
Dynamic Variations: Update and Revision for Diverse Agents.
1.Full Text, 2.Abstract. - MoL-2004-04:
-
Be Birchall
Duality for Distributive Modal Algebras.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract. - MoL-2004-03:
-
Giosuè Baggio
Two ERP studies on Dutch temporal semantics.
1.Full Text, 2.Abstract. - MoL-2004-02:
-
Andreas Zollmann
A Consistent and Efficient Estimator for the Data-Oriented Parsing Model.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract. - MoL-2004-01:
-
Katrin Schulz
A Case Study on the Paradox of Free Choice Permission.
1.Full Text, 2.Abstract.
