ILLC Research Reports and Technical Notes 2005

ILLC Scientific Publications
----------------------------

This document contains the titles of the reports that were published
by the Institute for Logic, Language and Computation (ILLC) this year.
All ILLC reports are available from the ILLC bureau:

ILLC Bureau
University of Amsterdam
Plantage Muidergracht 24
NL-1018 TV Amsterdam
The Netherlands

Many reports are also electronically available,
by WWW at http://www.illc.uva.nl/Publications and
or FTP at ftp://ftp.science.uva.nl/pub/theory/illc/researchreports/
The ILLC bureau may be contacted by email, at illc@xxxxxxxxxxxxxx

Reports are numbered Series-Year-Number, where `Series' is one of
PP = Prepublication Series
MoL = Master of Logic Thesis

----------------------------------------------------------------------

Report PP-2005-01
Title: Neural Networks, Penalty Logic and Optimality Theory
Author: Reinhard Blutner

Report PP-2005-02
Title: On the complexity of hybrid logics with binders
Author: Balder ten Cate, Massimo Franceschet

Report PP-2005-03
Title: Minimality, Non-Determinism, and Absent Information in Multi-Context
Systems
Author: Floris Roelofsen

Report PP-2005-04
Title: XpathMark: an XPath benchmark for XMark
Author: Massimo Franceschet

Report PP-2005-05
Title: A Different Story about Indexicals
Author: Isadora Stojanovic

Report PP-2005-06
Title: Open Problems in Logical Dynamics
Author: Johan van Benthem

Report PP-2005-07
Title: Guards, Bounds, and Generalized Semantics
Author: Johan van Benthem

Report PP-2005-08
Title: Modal Frame Correspondence Generalized
Author: Johan van Benthem

Report PP-2005-09
Title: Logics of Communication and Change
Author: Johan van Benthem, Jan van Eijck, Barteld Kooi

Report PP-2005-10
Title: Cognition as Interaction
Author: Johan van Benthem

Report PP-2005-11
Title: An Essay on Sabotage and Obstruction
Author: Johan van Benthem

Report PP-2005-12
Title: From Onions to Broccoli: Generalizing Lewis's counterfactual logic
Author: Patrick Girard

Report PP-2005-13
Title: What does Game Theory have to do with Plans?
Author: Olivier Roy

Report PP-2005-14
Title: Hybrid Definability in Topological Spaces
Author: Dmitry Sustretov

Report PP-2005-15
Title: The many faces of interpretability
Author: Evan Goris, Joost J. Joosten

Report PP-2005-16
Title: A finitary treatment of the closed fragment of Japaridze?s
provability logic
Author: Lev D. Beklemishev, Joost J. Joosten, Marco Vervoort

Report PP-2005-17
Title: Signalling in IF games: a tricky business
Author: Theo M.V. Janssen, Francien Dechesne

Report PP-2005-18
Title: Mathematical Knowledge is Context Dependent
Author: Benedikt L\"owe, Thomas M\"uller

Report PP-2005-19
Title: A simple inductive measure analysis for cardinals under the Axiom of
Determinacy
Author: Stefan Bold, Benedikt L\"owe

Report PP-2005-20
Title: Epistemic Logic and Epistemology, the state of their affairs
Author: Johan van Benthem

Report PP-2005-21
Title: Logic in Philosophy
Author: Johan van Benthem

Report PP-2005-22
Title: Where is Logic Going, and Should It?
Author: Johan van Benthem

Report PP-2005-23
Title: Issues in Multiagent Resource Allocation
Author: Yann Chevaleyre, Paul E. Dunne, Ulle Endriss, J\'er\^ome Lang,
Michel Lema\^itre, Nicolas Maudet, Julian Padget, Steve Phelps, Juan A.
Rodr\'igues-Aguilar, Paulo Sousa

Report PP-2005-24
Title: Extensions of the Axiom of Blackwell Determinacy
Author: Benedikt L\"owe

Report PP-2005-25
Title: Temporal Logics for Representing Agent Communication Protocols
Author: Ulle Endriss

Report PP-2005-26
Title: The Modal Logic of Forcing
Author: Joel David Hamkins, Benedikt L\"owe

Report PP-2005-27
Title: Brouwer's incomplete objects
Author: Joop Niekus

Report PP-2005-28
Title: Preference logic, conditionals and solution concepts in games
Author: Johan van Benthem, Sieuwert van Otterloo, Olivier Roy

Report PP-2005-29
Title: Dynamic Logic of Preference Upgrade
Author: Johan van Benthem, Fenrong Liu

Report MoL-2005-01
Title: `binyanim ba'avir': An investigation of Aspect Semantics in Modern
Hebrew
Author: Reut Tsarfaty

Report MoL-2005-02
Title: The Value of Agreement: a new Boosting Algorithm
Author: Boaz Leskes

Report MoL-2005-03
Title: Algebraizing Hybrid Logic
Author: Evangelos Tzanis

Report MoL-2005-04
Title: Pseudo-Imperatives
Author: Michael Franke

Report MoL-2005-05
Title: Exploring Logical Perspectives on Distributed Information and its
Dynamics
Author: Floris Roelofsen

.