Institute for Logic, Language and Computation

Publications

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.