ILLC Publications, All Series, 2005

These reports are also available from the UvA/DARE server: the page corresponding to the listing below can be found here.

PP-2005-30:
Willem Zuidema, Bart de Boer The Evolution of Combinatorial Phonology.
1.Full Text, 2.Abstract.
PP-2005-29:
Johan van Benthem, Fenrong Liu Dynamic Logic of Preference Upgrade.
1.Full Text, 2.Abstract.
PP-2005-28:
Johan van Benthem, Sieuwert van Otterloo, Olivier Roy Preference logic, conditionals and solution concepts in games.
1.Full Text, 2.Abstract.
PP-2005-27:
Joop Niekus Brouwer's incomplete objects.
1.Full Text, 2.Abstract, 3.Full Text (Oct 2005 version).
PP-2005-26:
Joel David Hamkins, Benedikt Löwe The Modal Logic of Forcing.
1.Full Text, 2.Abstract.
PP-2005-25:
Ulle Endriss Temporal Logics for Representing Agent Communication Protocols.
1.Full Text, 2.Abstract.
PP-2005-24:
Benedikt Löwe Extensions of the Axiom of Blackwell Determinacy.
1.Full Text, 2.Abstract.
PP-2005-23:
Yann Chevaleyre, Paul E. Dunne, Ulle Endriss, Jérôme Lang, Michel Lemaître, Nicolas Maudet, Julian Padget, Steve Phelps, Juan A. Rodrígues-Aguilar, Paulo Sousa Issues in Multiagent Resource Allocation.
1.Full Text, 2.Abstract.
PP-2005-22:
Johan van Benthem Where is Logic Going, and Should It?.
1.Full Text, 2.Abstract.
PP-2005-21:
Johan van Benthem Logic in Philosophy.
1.Full Text, 2.Abstract.
PP-2005-20:
Johan van Benthem Epistemic Logic and Epistemology, the state of their affairs.
1.Full Text, 2.Abstract.
PP-2005-19:
Stefan Bold, Benedikt Löwe A simple inductive measure analysis for cardinals under the Axiom of Determinacy.
1.Full Text, 2.Abstract.
PP-2005-18:
Benedikt Löwe, Thomas Müller Mathematical Knowledge is Context Dependent.
1.Full Text, 2.Abstract.
PP-2005-17:
Theo M.V. Janssen, Francien Dechesne Signalling in IF games: a tricky business.
1.Full Text, 2.Abstract.
PP-2005-16:
Lev D. Beklemishev, Joost J. Joosten, Marco Vervoort A finitary treatment of the closed fragment of Japaridze's provability logic.
1.Full Text, 2.Abstract.
PP-2005-15:
Evan Goris, Joost J. Joosten The many faces of interpretability.
1.Full Text, 2.Abstract.
PP-2005-14:
Dmitry Sustretov Hybrid Definability in Topological Spaces.
1.Full Text, 2.Abstract.
PP-2005-13:
Olivier Roy What does Game Theory have to do with Plans?.
1.Full Text, 2.Abstract.
PP-2005-12:
Patrick Girard From Onions to Broccoli: Generalizing Lewis's counterfactual logic.
1.Full Text, 2.Abstract.
PP-2005-11:
Johan van Benthem An Essay on Sabotage and Obstruction.
1.Full Text, 2.Abstract.
PP-2005-10:
Johan van Benthem Cognition as Interaction.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract, 4.Final.
PP-2005-09:
Johan van Benthem, Jan van Eijck, Barteld Kooi Logics of Communication and Change.
1.Full Text, 2.Abstract.
PP-2005-08:
Johan van Benthem Modal Frame Correspondence Generalized.
1.Full Text, 2.Abstract.
PP-2005-07:
Johan van Benthem Guards, Bounds, and Generalized Semantics.
1.Full Text, 2.Abstract.
PP-2005-06:
Johan van Benthem Open Problems in Logical Dynamics.
1.Full Text, 2.Abstract.
PP-2005-05:
Isadora Stojanovic A Different Story about Indexicals.
1.Full Text, 2.Abstract.
PP-2005-04:
Massimo Franceschet XpathMark: an XPath benchmark for XMark.
1.Full Text, 2.Abstract.
PP-2005-03:
Floris Roelofsen Minimality, Non-Determinism, and Absent Information in Multi-Context Systems.
1.Full Text, 2.Abstract.
PP-2005-02:
Balder ten Cate, Massimo Franceschet On the complexity of hybrid logics with binders.
1.Full Text, 2.Abstract.
PP-2005-01:
Reinhard Blutner Neural Networks, Penalty Logic and Optimality Theory.
1.Full Text, 2.Abstract.
X-2005-05:
David de Kloet Real Blackwell Determinacy.
1.Full Text, 2.Abstract.
X-2005-04:
Seamus W.H. Holland Solutions to Sorites.
1.Full Text, 2.Abstract.
X-2005-03:
Johan van Benthem A Farewell to Loneliness: dynamic trends in logic to-day.
1.Full Text, 2.Abstract.
X-2005-02:
Benedikt Löwe, Brian Semmes The extent of constructive game labellings.
1.Full Text, 2.Abstract.
X-2005-01:
S. Barry Cooper, Benedikt Löwe, Leen Torenvliet CiE 2005: New Computational Paradigms.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2005-09:
Scott Grimm The Lattice of Case and Agentivity.
1.Full Text, 2.Abstract.
MoL-2005-08:
Gustavo Lacerda da Melo Automating Normal Science: Reusing Exemplars in Quantitative Explanations.
1.Abstract.
MoL-2005-07:
Samson Tikitu de Jager Analysing the complexity of games on graphs.
1.Full Text, 2.Abstract, 3.Software.
MoL-2005-06:
Teresita Mijangos Penalty Logic and Genomic Encoding.
1.Full Text, 2.Abstract (TXT), 3.Abstract (PDF).
MoL-2005-05:
Floris Roelofsen Exploring Logical Perspectives on Distributed Information and its Dynamics.
1.Full Text, 2.Abstract.
MoL-2005-04:
Michael Franke Pseudo-Imperatives.
1.Full Text, 2.Abstract.
MoL-2005-03:
Evangelos Tzanis Algebraizing Hybrid Logic.
1.Full Text, 2.Abstract.
MoL-2005-02:
Boaz Leskes The Value of Agreement: a new Boosting Algorithm.
1.Full Text, 2.Abstract.
MoL-2005-01:
Reut Tsarfaty `binyanim ba'avir': An investigation of Aspect Semantics in Modern Hebrew.
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