Items where Year is 2005

Report

PP-2005-16: Beklemishev, Lev D. and Joosten, Joost J. and Vervoort, Marco (2005) A finitary treatment of the closed fragment of Japaridze's provability logic. [Report]

PP-2005-01: Blutner, Reinhard (2005) Neural Networks, Penalty Logic and Optimality Theory. [Report]

PP-2005-19: Bold, Stefan and Löwe, Benedikt (2005) A simple inductive measure analysis for cardinals under the Axiom of Determinacy. [Report]

PP-2005-23: Chevaleyre, Yann and Dunne, Paul E. and Endriss, Ulle and Lang, Jérôme and Lemaître, Michel and Maudet, Nicolas and Padget, Julian and Phelps, Steve and Rodrígues-Aguilar, Juan A. and Sousa, Paulo (2005) Issues in Multiagent Resource Allocation. [Report]

X-2005-01: Cooper, S. Barry and Löwe, Benedikt and Torenvliet, Leen (2005) CiE 2005: New Computational Paradigms. [Report]

PP-2005-25: Endriss, Ulle (2005) Temporal Logics for Representing Agent Communication Protocols. [Report]

PP-2005-04: Franceschet, Massimo (2005) XpathMark: an XPath benchmark for XMark. [Report]

MoL-2005-04: Franke, Michael (2005) Pseudo-Imperatives. [Report]

PP-2005-12: Girard, Patrick (2005) From Onions to Broccoli: Generalizing Lewis's counterfactual logic. [Report]

PP-2005-15: Goris, Evan and Joosten, Joost J. (2005) The many faces of interpretability. [Report]

MoL-2005-09: Grimm, Scott (2005) The Lattice of Case and Agentivity. [Report]

PP-2005-26: Hamkins, Joel David and Löwe, Benedikt (2005) The Modal Logic of Forcing. [Report]

X-2005-04: Holland, Seamus W.H. (2005) Solutions to Sorites. [Report]

PP-2005-17: Janssen, Theo M.V. and Dechesne, Francien (2005) Signalling in IF games: a tricky business. [Report]

MoL-2005-02: Leskes, Boaz (2005) The Value of Agreement: a new Boosting Algorithm. [Report]

PP-2005-24: Löwe, Benedikt (2005) Extensions of the Axiom of Blackwell Determinacy. [Report]

PP-2005-18: Löwe, Benedikt and Müller, Thomas (2005) Mathematical Knowledge is Context Dependent. [Report]

X-2005-02: Löwe, Benedikt and Semmes, Brian (2005) The extent of constructive game labellings. [Report]

MoL-2005-06: Mijangos, Teresita (2005) Penalty Logic and Genomic Encoding. [Report]

PP-2005-27: Niekus, Joop (2005) Brouwer's incomplete objects. [Report]

MoL-2005-05: Roelofsen, Floris (2005) Exploring Logical Perspectives on Distributed Information and its Dynamics. [Report]

PP-2005-03: Roelofsen, Floris (2005) Minimality, Non-Determinism, and Absent Information in Multi-Context Systems. [Report]

PP-2005-13: Roy, Olivier (2005) What does Game Theory have to do with Plans? [Report]

PP-2005-05: Stojanovic, Isadora (2005) A Different Story about Indexicals. [Report]

PP-2005-14: Sustretov, Dmitry (2005) Hybrid Definability in Topological Spaces. [Report]

MoL-2005-01: Tsarfaty, Reut (2005) `binyanim ba'avir': An investigation of Aspect Semantics in Modern Hebrew. [Report]

MoL-2005-03: Tzanis, Evangelos (2005) Algebraizing Hybrid Logic. [Report]

PP-2005-30: Zuidema, Willem and de Boer, Bart (2005) The Evolution of Combinatorial Phonology. [Report]

MoL-2005-08: da Melo, Gustavo Lacerda (2005) Automating Normal Science: Reusing Exemplars in Quantitative Explanations. [Report]

MoL-2005-07: de Jager, Samson Tikitu (2005) Analysing the complexity of games on graphs. [Report]

X-2005-05: de Kloet, David (2005) Real Blackwell Determinacy. [Report]

PP-2005-02: ten Cate, Balder and Franceschet, Massimo (2005) On the complexity of hybrid logics with binders. [Report]

PP-2005-10: van Benthem, Johan (2005) Cognition as Interaction. [Report]

PP-2005-20: van Benthem, Johan (2005) Epistemic Logic and Epistemology, the state of their affairs. [Report]

PP-2005-11: van Benthem, Johan (2005) An Essay on Sabotage and Obstruction. [Report]

X-2005-03: van Benthem, Johan (2005) A Farewell to Loneliness: dynamic trends in logic to-day. [Report]

PP-2005-07: van Benthem, Johan (2005) Guards, Bounds, and Generalized Semantics. [Report]

PP-2005-21: van Benthem, Johan (2005) Logic in Philosophy. [Report]

PP-2005-08: van Benthem, Johan (2005) Modal Frame Correspondence Generalized. [Report]

PP-2005-06: van Benthem, Johan (2005) Open Problems in Logical Dynamics. [Report]

PP-2005-22: van Benthem, Johan (2005) Where is Logic Going, and Should It? [Report]

PP-2005-29: van Benthem, Johan and Liu, Fenrong (2005) Dynamic Logic of Preference Upgrade. [Report]

PP-2005-09: van Benthem, Johan and van Eijck, Jan and Kooi, Barteld (2005) Logics of Communication and Change. [Report]

PP-2005-28: van Benthem, Johan and van Otterloo, Sieuwert and Roy, Olivier (2005) Preference logic, conditionals and solution concepts in games. [Report]

Thesis

DS-2005-03: Mastop, Rosja (2005) What can you do? Imperative mood in Semantic Theory. Doctoral thesis, University of Amsterdam.

DS-2005-04: Pilatova, Anna (2005) A User's Guide to Proper names: Their Pragmatics and Semanics. Doctoral thesis, University of Amsterdam.

DS-2005-01: ten Cate, Balder David (2005) Model theory for extended modal languages. Doctoral thesis, University of Amsterdam.

DS-2005-02: van Hoeve, Willem-Jan (2005) Operations Research Techniques in Constraint Programming. Doctoral thesis, University of Amsterdam.

DS-2005-05: van Otterloo, Sieuwert (2005) A Strategic Analysis of Multi-agent Protocols. Doctoral thesis, University of Amsterdam.