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 (PDF), 2.Full Text (PS), 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 (DOC), 2.Full Text (PDF), 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 (PDF), 2.Full Text (DOC), 3.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-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 (PDF), 2.Full Text (DOC), 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 (PDF), 2.Full Text (PS), 3.Abstract.
PP-2004-10:
Benedikt Löwe The Length of the Full Hierarchy of Norms.
1.Full Text (PDF), 2.Full Text (PS), 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 (PDF), 2.Full Text (PS), 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 (PDF), 2.Full Text (PS), 3.Abstract.
PP-2004-03:
Benedikt Löwe Complexity hierarchies derived from reduction functions.
1.Full Text (PDF), 2.Full Text (PS), 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 (PS), 2.Full Text (PDF), 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 (PDF), 2.Full Text (PS), 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 (PDF), 2.Full Text (PS), 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 (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2004-01:
Katrin Schulz A Case Study on the Paradox of Free Choice Permission.
1.Full Text, 2.Abstract.

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X