ILLC Publications, Prepublication (PP) Series

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

PP-2017-18:
Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada Argument-based Belief in Topological Structures.
1.Full Text, 2.Abstract.
PP-2017-17:
Sonja Smets, Fernando R. Velázquez-Quesada The Creation and Change of Social Networks: a logical study based on group size.
1.Full Text, 2.Abstract.
PP-2017-16:
Sonja Smets, Fernando R. Velázquez-Quesada How to Make Friends: A Logical Approach to Social Group Creation.
1.Full Text, 2.Abstract.
PP-2017-15:
Alexandru Baltag, Rachel Boddy, Sonja Smets Group Knowledge in Interrogative Epistemology.
1.Full Text, 2.Abstract.
PP-2017-14:
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill On modal logics arising from scattered locally compact Hausdorff spaces.
1.Full Text, 2.Abstract.
PP-2017-13:
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill A new proof of the McKinsey-Tarski Theorem.
1.Full Text, 2.Abstract.
PP-2017-12:
Stéphane Airiau, Elise Bonzon, Ulle Endriss, Nicolas Maudet, Julien Rossit Rationalisation of Profiles of Abstract Argumentation Frameworks: Characterisation and Complexity.
1.Full Text, 2.Abstract.
PP-2017-11:
Weiwei Chen, Ulle Endriss Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks.
1.Full Text, 2.Abstract.
PP-2017-10:
Lorenzo Galeotti, Benedikt Löwe Order types of models of reducts of Peano Arithmetic and their fragments.
1.Full Text, 2.Abstract.
PP-2017-09:
Sebastian Schneckenburger, Britta Dorn, Ulle Endriss The Atkinson Inequality Index in Multiagent Resource Allocation.
1.Full Text, 2.Abstract.
PP-2017-08:
Lorenzo Galeotti, Hugo Nobrega Towards computable analysis on the generalised real line.
1.Full Text, 2.Abstract.
PP-2017-07:
Fernando R. Velázquez-Quesada Reliability-Based Preference Dynamics: Lexicographic Upgrade.
1.Full Text, 2.Abstract.
PP-2017-06:
Guram Bezhanishvili, Nick Bezhanishvili, Thomas Santoli, Yde Venema A simple propositional calculus for compact Hausdorff spaces.
1.Full Text, 2.Abstract.
PP-2017-05:
Sebastian Enqvist, Yde Venema Disjunctive bases: normal forms for modal logics.
1.Full Text, 2.Abstract.
PP-2017-04:
Sebastian Enqvist, Fatemeh Seifan, Yde Venema Completeness for mu-calculi: a coalgebraic approach.
1.Full Text, 2.Abstract.
PP-2017-03:
Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill, Andrea Pedrini Tarski's theorem on intuitionistic logic, for polyhedra..
1.Full Text, 2.Abstract.
PP-2017-02:
Joop Niekus What is a choice sequence? How a solution of Troelstra's paradox shows the way to an answer to this question.
1.Full Text, 2.Abstract.
PP-2017-01:
Ulle Endriss, Umberto Grandi Graph Aggregation.
1.Full Text, 2.Abstract.
PP-2016-41:
Johan van Benthem "Transmissie, Emergentie en Fading Foundations", a commentary.
1.Full Text, 2.Abstract.
PP-2016-40:
Johan van Benthem Feeling the Rythms of a Field.
1.Full Text, 2.Abstract.
PP-2016-39:
Gaëlle Fontaine, Yde Venema Some model theory for the modal mu-calculus: syntactic characterisations of semantic properties.
1.Full Text, 2.Abstract.
PP-2016-38:
Sarah McWhirter, Jakub Szymanik Constructing Semantic Automata for Quantifier Iterations.
1.Full Text, 2.Abstract.
PP-2016-37:
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill Tychonoff HED-spaces and Zemanian extensions of S4.3.
1.Full Text, 2.Abstract.
PP-2016-36:
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin, Subframization and stabilization for superintuitionistic logics.
1.Full Text, 2.Abstract.
PP-2016-35:
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet Distributed Fair Allocation of Indivisible Goods.
1.Full Text, 2.Abstract.
PP-2016-34:
Janosch Döcker, Britta Dorn, Ulle Endriss, Dominikus Krüger Complexity and Tractability Islands for Combinatorial Auctions on Discrete Intervals with Gaps.
1.Full Text, 2.Abstract.
PP-2016-33:
Sebastian Enqvist, Fatemeh Seifan, Yde Venema Completeness for the modal mu-calculus: separating the combinatorics from the dynamics.
1.Full Text, 2.Abstract, 3.Full Text (Aug 2016 version).
PP-2016-32:
Paula Henk, Albert Visser Interpretability suprema in Peano Arithmetic.
1.Full Text, 2.Abstract.
PP-2016-31:
Paula Henk, V. Yu. Shavrukov A Solovay function for the least 1-inconsistent subtheory of PA.
1.Full Text, 2.Abstract.
PP-2016-30:
Johan van Benthem Tales from an Old Manuscript.
1.Full Text, 2.Abstract.
PP-2016-29:
Johan van Benthem, Nick Bezhanishvili and Wesley H. Holliday A Bimodal Perspective on Possibility Semantics.
1.Full Text, 2.Abstract.
PP-2016-28:
Guillaume Aucher, Johan van Benthem and Davide Grossi Modal Logics of Sabotage Revisited.
1.Full Text, 2.Abstract.
PP-2016-27:
Johan van Benthem Logic in Play.
1.Full Text, 2.Abstract.
PP-2016-26:
Hajnal Andréka, Johan van Benthem, István Németi On a New Semantics for First-Order Predicate Logic.
1.Full Text, 2.Abstract.
PP-2016-25:
Markus Brill, Edith Elkind, Ulle Endriss, Umberto Grandi Pairwise Diffusion of Preference Rankings in Social Networks.
1.Full Text, 2.Abstract.
PP-2016-24:
Ulle Endriss, Svetlana Obraztsova, Maria Polukarov, Jeffrey S. Rosenschein Strategic Voting with Incomplete Information.
1.Full Text, 2.Abstract.
PP-2016-23:
Almudena Colacito, Dick de Jongh, Ana Lucia Vargas Subminimal Negation.
1.Full Text, 2.Abstract.
PP-2016-22:
Peter van Emde Boas, Ghica van Emde Boas-Lubsen The Rules of Victorious Warriors.
1.Full Text, 2.Abstract.
PP-2016-21:
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets Justified Belief and the Topology of Evidence.
1.Full Text, 2.Abstract.
PP-2016-20:
Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, Zhiguang Zhao Universal models for the positive fragment of intuitionistic logic.
1.Full Text, 2.Abstract.
PP-2016-19:
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill Topological and logical explorations of Krull dimension.
1.Full Text, 2.Abstract.
PP-2016-18:
Ulle Endriss, Umberto Grandi, Ronald de Haan, Jérôme Lang Succinctness of Languages for Judgment Aggregation.
1.Full Text, 2.Abstract.
PP-2016-17:
Giovanni Ciná, Ulle Endriss Proving Classical Theorems of Social Choice Theory in Modal Logic.
1.Full Text, 2.Abstract.
PP-2016-16:
Olivier Cailloux, Ulle Endriss Arguing about Voting Rules.
1.Full Text, 2.Abstract.
PP-2016-15:
Sirin Botan, Arianna Novaro, Ulle Endriss Group Manipulation in Judgment Aggregation.
1.Full Text, 2.Abstract.
PP-2016-14:
Stéphane Airiau, Elise Bonzon, Ulle Endriss, Nicolas Maudet, Julien Rossit Rationalisation of Profiles of Abstract Argumentation Frameworks.
1.Full Text, 2.Abstract.
PP-2016-13:
Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki Subintuitionistic Logics with Kripke Models.
1.Full Text, 2.Abstract.
PP-2016-12:
Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki Weak Subintuitionistic Logics.
1.Full Text, 2.Abstract.
PP-2016-11:
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin Stable modal logics.
1.Full Text, 2.Abstract.
PP-2016-10:
Johannes Marti, Riccardo Pinosio A Game Semantics for System P.
1.Full Text, 2.Abstract.
PP-2016-09:
Raquel G. Alhama, Willem Zuidema Generalization in Artificial Language Learning: Modelling the Propensity to Generalize.
1.Full Text, 2.Abstract.
PP-2016-08:
Raquel G. Alhama, Remko Scha, Willem Zuidema Memorization of sequence-segments by humans and non-human animals: the Retention-Recognition Model.
1.Full Text, 2.Abstract.
PP-2016-07:
Marco Costantini, Carla Groenland, Ulle Endriss Judgment Aggregation under Issue Dependencies.
1.Full Text, 2.Abstract.
PP-2016-06:
Ulle Endriss Judgment Aggregation.
1.Full Text, 2.Abstract.
PP-2016-05:
Felix Brandt, Vincent Conitzer, Ulle Endriss, Jérôme Lang, Ariel D. Procaccia Introduction to Computational Social Choice.
1.Full Text, 2.Abstract.
PP-2016-04:
Johan van Benthem, Nick Bezhanishvili, Wesley H. Holliday A bimodal perspective on possibility semantics.
1.Full Text, 2.Abstract.
PP-2016-03:
Johan van Benthem The Open Course Logic in Action.
1.Full Text, 2.Abstract.
PP-2016-02:
Johan van Benthem Tracking Information.
1.Full Text, 2.Abstract, 3.Full Text (Jan 2016 version).
PP-2016-01:
Johan van Benthem Fanning the Flames of Reason.
1.Full Text, 2.Abstract.
PP-2015-25:
Sharon Gieske, Elise van der Pol, Ulle Endriss Empirical Evaluation of Collective Rationality for Quota Rules in Judgment Aggregation.
1.Full Text, 2.Abstract.
PP-2015-24:
Giovanni Ciná, Ulle Endriss A Syntactic Proof of Arrow's Theorem in a Modal Logic of Social Choice Functions.
1.Full Text, 2.Abstract.
PP-2015-23:
Ulle Endriss, Ronald de Haan Complexity of the Winner Determination Problem in Judgment Aggregation: Kemeny, Slater, Tideman, Young.
1.Full Text, 2.Abstract.
PP-2015-22:
Alexandru Baltag, Zoé Christoff, Rasmus K. Rendsvig, Sonja Smets Dynamic Epistemic Logic of Diffusion and Prediction in Social Networks.
1.Full Text, 2.Abstract.
PP-2015-21:
Nick Bezhanishvili, Silvio Ghilardi, Frederik Möllerström Lauridsen One-step Heyting algebras and hypersequent calculi with the bounded proof property.
1.Full Text, 2.Abstract.
PP-2015-20:
Johan van Benthem Possible Worlds Semantics for Classical Logic.
1.Full Text, 2.Abstract.
PP-2015-19:
Johan van Benthem Minimal Deontic Logics.
1.Full Text, 2.Abstract.
PP-2015-18:
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets The topological theory of belief.
1.Full Text, 2.Abstract.
PP-2015-17:
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist, Junhua Yu Instantial neighbourhood logic.
1.Full Text, 2.Abstract.
PP-2015-16:
Nick Bezhanishvili, Nick Galatos, Luca Spada Canonical formulas for k-potent commutative, integral residuated lattices.
1.Full Text, 2.Abstract.
PP-2015-15:
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill S4.3 and hereditarily extremally disconnected spaces.
1.Full Text, 2.Abstract.
PP-2015-14:
Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze Admissible bases via stable canonical rules.
1.Full Text, 2.Abstract.
PP-2015-13:
Alexandru Baltag, Nina Gierasimczuk, Sonja Smets On the Solvability of Inductive Problems: A Study in Epistemic Topology.
1.Full Text, 2.Abstract.
PP-2015-12:
Alexander C. Block, Benedikt Loëwe Modal Logics and Multiverses.
1.Full Text, 2.Abstract.
PP-2015-11:
Johan van Benthem Logic and Philosophy, a Sea of Stories.
1.Full Text, 2.Abstract.
PP-2015-10:
Johan van Benthem Oscillations, Logic, and Dynamical Systems.
1.Full Text, 2.Abstract.
PP-2015-09:
Nick Bezhanishvili, Sumit Sourabh Sahlqvist preservation for topological fixed-point logic.
1.Full Text, 2.Abstract.
PP-2015-08:
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin Cofinal stable logics.
1.Full Text, 2.Abstract.
PP-2015-07:
Johan van Benthem, Fenrong Liu Where is Logic Going?.
1.Full Text, 2.Abstract.
PP-2015-06:
Johan van Benthem Those Who Must Do It: the Agency of Language.
1.Full Text, 2.Abstract.
PP-2015-05:
Johan van Benthem, Sonja Smets Dynamic Logics of Belief Change.
1.Full Text, 2.Abstract.
PP-2015-04:
Hajnal Andréka, Johan van Benthem, Nick Bezhanishvili, István Németi Changing a Semantics: Opportunism or Courage?.
1.Full Text, 2.Abstract.
PP-2015-03:
Johan van Benthem Natural Language and Logic of Agency.
1.Full Text, 2.Abstract.
PP-2015-02:
Johan van Benthem, Fenrong Liu Deontic Logic and Preference Change.
1.Full Text, 2.Abstract.
PP-2015-01:
Johan van Benthem Talking about Knowledge.
1.Full Text, 2.Abstract.
PP-2014-23:
Guram Bezhanishvili, Nick Bezhanishvili, Sumit Sourabh, Yde Venema Subordinations, closed relations, and compact Hausdorff spaces.
1.Full Text, 2.Abstract.
PP-2014-22:
Benedikt Löwe, Sourav Tarafder Generalized algebra-valued models of set theory.
1.Full Text, 2.Abstract.
PP-2014-21:
Luca Incurvati, Benedikt Löwe Restrictiveness relative to notions of interpretations.
1.Full Text, 2.Abstract.
PP-2014-20:
Alexandru Baltag, Nina Gierasimczuk, Sonja Smets Truth-Tracking by Belief Revision.
1.Full Text, 2.Abstract.
PP-2014-19:
Nick Bezhanishvili, Dick de Jongh Stable formulas in intuitionistic logic.
1.Full Text, 2.Abstract.
PP-2014-18:
Aline Honingh, John Ashley Burgoyne, Peter van Kranenburg, Anja Volk Strengthening Interdisciplinarity in MIR: Four Examples of Using MIR Tools for Musicology.
1.Full Text, 2.Abstract.
PP-2014-17:
Ulle Endriss Social Choice Theory as a Foundation for Multiagent Systems.
1.Full Text, 2.Abstract.
PP-2014-16:
Vahid Hashemi, Ulle Endriss Measuring Diversity of Preferences in a Group.
1.Full Text, 2.Abstract.
PP-2014-15:
Olivier Cailloux, Ulle Endriss Eliciting a Suitable Voting Rule via Examples.
1.Full Text, 2.Abstract.
PP-2014-14:
Ulle Endriss, Umberto Grandi Collective Rationality in Graph Aggregation.
1.Full Text, 2.Abstract.
PP-2014-13:
Ulle Endriss, Ronald de Haan, Sefan Szeider Parameterized Complexity Results for Agenda Safety in Judgment Aggregation.
1.Full Text, 2.Abstract.
PP-2014-12:
Ciyang Qing, Ulle Endriss, Raquel Fernandez, Justin Kruger Empirical Analysis of Aggregation Methods for Collective Annotation.
1.Full Text, 2.Abstract.
PP-2014-11:
Justin Kruger, Ulle Endriss, Raquel Fernandez, Ciyang Qing Axiomatic Analysis of Aggregation Methods for Collective Annotation.
1.Full Text, 2.Abstract.
PP-2014-10:
Hajnal Andreka, Johan van Benthem, Nick Bezhanishvili, István Németi Changing a semantics: opportunism or courage?.
1.Full Text, 2.Abstract.
PP-2014-09:
Zoé Christoff, Jens Ulrik Hansen Dynamic Social Networks Logic.
1.Full Text, 2.Abstract.
PP-2014-08:
Guram Bezhanishvili, Nick Bezhanishvili, Rosalie Iemhoff Stable canonical rules.
1.Full Text, 2.Abstract, 3.Full Text (Jun 2014 version).
PP-2014-07:
Tanmay Inamdar, Benedikt Löwe The Modal Logic of Inner Models.
1.Full Text, 2.Abstract.
PP-2014-06:
Dick de Jongh, Zhiguang Zhao Positive Formulas in Intuitionistic and Minimal Logic.
1.Full Text, 2.Abstract.
PP-2014-05:
Nick Bezhanishvili, Silvio Ghilardi Multiple-conclusion Rules, Hypersequents Syntax and Step Frames.
1.Full Text, 2.Abstract.
PP-2014-04:
Bernhard Fisseni, Benedikt Löwe Event mappings for comparing formal frameworks for narratives.
1.Full Text, 2.Abstract.
PP-2014-03:
Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets The Topology of Full and Weak Belief.
1.Full Text, 2.Abstract.
PP-2014-02:
Nick Bezhanishvili, Dion Coumans, Sam van Gool, Dick de Jongh Duality and universal models for the meet-implication fragment of IPC.
1.Full Text, 2.Abstract.
PP-2014-01:
Paula Henk Kripke Models Built from Models of Arithmetic.
1.Full Text, 2.Abstract.
PP-2013-16:
Peter van Emde Boas Thirty nine years of stratified trees.
1.Full Text, 2.Abstract.
PP-2013-15:
Stéphane Airiau, Ulle Endriss Multiagent Resource Allocation with Sharable Items.
1.Full Text, 2.Abstract.
PP-2013-14:
Milos Stanojevic, Khalil Sima'an Evaluating Long Range Reordering with Permutation-Forests.
1.Full Text, 2.Abstract.
PP-2013-13:
Harald Bastiaanse, Frank Veltman Making the Right Exceptions.
1.Full Text, 2.Abstract.
PP-2013-12:
Ulle Endriss Voting on Actions with Uncertain Outcomes.
1.Full Text, 2.Abstract.
PP-2013-11:
Ulle Endriss, Umberto Grandi Binary Aggregation by Selection of the Most Representative Voter.
1.Full Text, 2.Abstract.
PP-2013-10:
Bruno Rocha, Niels Bogaards, Aline Honingh Segmentation and timbre- and rhythm-similarity in Electronic Dance Music.
1.Full Text, 2.Abstract.
PP-2013-09:
Umberto Grandi, Ulle Endriss Lifting Integrity Constraints in Binary Aggregation.
1.Full Text, 2.Abstract.
PP-2013-08:
Ulle Endriss, Raquel Fernández Collective Annotation of Linguistic Resources: Basic Principles and a Formal Model.
1.Full Text, 2.Abstract.
PP-2013-07:
Ulle Endriss Reduction of Economic Inequality in Combinatorial Domains.
1.Full Text, 2.Abstract.
PP-2013-06:
Johan van Benthem Untimely Review, Bernard Bolzano's "Wissenschaftslehre" of 1837.
1.Full Text, 2.Abstract.
PP-2013-05:
Johan van Benthem Logica en recht: naar een rijkere relatie.
1.Full Text, 2.Abstract.
PP-2013-04:
Joel David Hamkins, Benedikt Löwe Moving up and down in the generic multiverse.
1.Full Text, 2.Abstract.
PP-2013-03:
Johan van Benthem Computation as Social Agency: What and How.
1.Full Text, 2.Abstract, 3.Full Text (Mar 2013 version).
PP-2013-02:
Johan van Benthem Implicit and Explicit Stances in Logic.
1.Full Text, 2.Abstract, 3.Full Text (Mar 2013 version).
PP-2013-01:
Johan van Benthem Reasoning about Strategies.
1.Full Text, 2.Abstract.
PP-2012-30:
Daniele Porello, Ulle Endriss Ontology Merging as Social Choice: Judgment Aggregation under the Open World Assumption.
1.Full Text, 2.Abstract.
PP-2012-29:
Ulle Endriss, Umberto Grandi, Daniele Porello Complexity of Judgment Aggregation.
1.Full Text, 2.Abstract.
PP-2012-28:
Johan van Benthem, Eric Pacuit Connecting Logics of Choice and Change.
1.Full Text, 2.Abstract.
PP-2012-27:
Fenrong Liu, Jeremy Seligman, Johan van Benthem Models of Reasoning in Ancient China.
1.Full Text, 2.Abstract.
PP-2012-26:
Johan van Benthem The Nets of Reason.
1.Full Text, 2.Abstract.
PP-2012-25:
Johan van Benthem, David Fernández Duque, Eric Pacuit Evidence Logic: A New Look at Neighborhood Structures.
1.Full Text, 2.Abstract.
PP-2012-24:
Johan van Benthem Non-Standard Reasoning, Revisited.
1.Full Text, 2.Abstract.
PP-2012-23:
Johan van Benthem Two Logical Faces of Belief Revision.
1.Full Text, 2.Abstract.
PP-2012-22:
Johan van Benthem Some Thoughts on the Logic of Strategies.
1.Full Text, 2.Abstract.
PP-2012-21:
Johan van Benthem Modeling Reasoning in a Social Setting.
1.Full Text, 2.Abstract.
PP-2012-20:
Ulle Endriss Automated Analysis of Social Choice Problems: Approval Elections with Small Fields of Candidates.
1.Full Text, 2.Abstract.
PP-2012-19:
Joel David Hamkins, George Leibman, Benedikt Löwe Structural connections between a forcing class and its modal logic.
1.Full Text, 2.Abstract.
PP-2012-18:
Andreas van Cranenburgh Extracting tree fragments in linear average time.
1.Full Text, 2.Abstract.
PP-2012-17:
Ulle Endriss, Umberto Grandi Graph Aggregation.
1.Full Text, 2.Abstract.
PP-2012-16:
Umberto Grandi, Gabriella Pigozzi On Compatible Multi-issue Group Decisions.
1.Full Text, 2.Abstract.
PP-2012-15:
Umberto Grandi The Common Structure of Paradoxes in Aggregation Theory.
1.Full Text, 2.Abstract.
PP-2012-14:
Bart de Boer, Willem Zuidema Modelling in the Language Sciences.
1.Full Text, 2.Abstract.
PP-2012-13:
Willem Zuidema Language in Nature: on the evolutionary roots of a cultural phenomenon.
1.Full Text, 2.Abstract.
PP-2012-12:
Umberto Grandi, Ulle Endriss First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation.
1.Full Text, 2.Abstract.
PP-2012-11:
Ulle Endriss Sincerity and Manipulation under Approval Voting.
1.Full Text, 2.Abstract.
PP-2012-10:
Alexander Block, Bernhard Fisseni, Carlos León, Benedikt Löwe, Deniz Sarikaya Narrative summarization and its correspondence to Proppian functions.
1.Full Text, 2.Abstract.
PP-2012-09:
Rens Bod, Bernhard Fisseni, Aadil Kurji, Benedikt Löwe Objectivity and reproducibility of Proppian annotations.
1.Full Text, 2.Abstract.
PP-2012-08:
Bernhard Fisseni, Benedikt Löwe Which dimensions of narrative are relevant for human judgments of story equivalence?.
1.Full Text, 2.Abstract.
PP-2012-07:
Jouko Väänänen, Tong Wang Internal Categoricity in Arithmetic and Set Theory.
1.Full Text, 2.Abstract.
PP-2012-06:
Alexander Block, Rens Bod, Bernhard Fisseni, Adil Kurji, Carlos León, Benedikt Löwe, Deniz Sarikaya Objectivity and reproducibility of formal narrative representations or annotations: Propp's functions \& narrative summarization.
1.Full Text, 2.Abstract.
PP-2012-05:
Annemieke Reijngoud, Ulle Endriss Voter Response to Iterated Poll Information.
1.Full Text, 2.Abstract.
PP-2012-04:
Felix Brandt, Vincent Conitzer, Ulle Endriss Computational Social Choice.
1.Full Text, 2.Abstract.
PP-2012-03:
Ulle Endriss Logic and Social Choice Theory.
1.Full Text, 2.Abstract.
PP-2012-02:
Ulle Endriss Computational Social Choice: Prospects and Challenges.
1.Full Text, 2.Abstract.
PP-2012-01:
Olivia Ladinig, Henkjan Honing Complexity judgments as a measure of event salience in musical rhythms.
1.Full Text, 2.Abstract.
PP-2011-38:
Khalil Sima'an, Gideon Maillette de Buy Wenniger Hierarchical Translation Equivalence over Word Alignments.
1.Full Text, 2.Abstract.
PP-2011-37:
Floris Roelofsen An inquisitive dynamic epistemic logic.
1.Full Text, 2.Abstract.
PP-2011-36:
Peter van Emde Boas Turing Machines for Dummies: why representations do matter.
1.Full Text, 2.Abstract.
PP-2011-35:
Leo Esakia, Benedikt Löwe Fatal Heyting Algebras and Forcing Persistent Sentences.
1.Full Text, 2.Abstract.
PP-2011-34:
Nick Bezhanishvili, Dick de Jongh Extendible formulas in two variables in intuitionistic logic.
1.Full Text, 2.Abstract.
PP-2011-33:
Pietro Galliani Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information.
1.Full Text, 2.Abstract.
PP-2011-32:
Johan van Benthem Dynamic Logic in Natural Language.
1.Full Text, 2.Abstract.
PP-2011-31:
Johan van Benthem, Cédric Dégrémont Multi-agent belief dynamics: bridges between dynamic doxastic and doxastic temporal logics.
1.Full Text, 2.Abstract.
PP-2011-30:
Johan van Benthem, Fernando Velázquez-Quesada The Dynamics of Awareness.
1.Full Text, 2.Abstract.
PP-2011-29:
Johan van Benthem, Davide Grossi, Fenrong Liu On the Two Faces of Deontics: Semantic Betterness and Syntactic Priority.
1.Full Text, 2.Abstract.
PP-2011-28:
Johan van Benthem, Amélie Gheerbrant Game Solution, Epistemic Dynamics and Fixed-Point Logics.
1.Full Text, 2.Abstract.
PP-2011-27:
Johan van Benthem, Eric Pacuit, Olivier Roy Toward a Theory of Play: A Logical Perspective on Games and Interaction.
1.Full Text, 2.Abstract.
PP-2011-26:
Johan van Benthem Logic, Mathematics, and General Agency.
1.Full Text, 2.Abstract.
PP-2011-25:
Johan van Benthem Logic between Expressivity and Complexity.
1.Full Text, 2.Abstract.
PP-2011-24:
Johan van Benthem, Fenrong Liu Deontic Logic and Changing Preferences.
1.Full Text, 2.Abstract.
PP-2011-23:
Thomas {\A A}gotnes, Johan van Benthem, Hans van Ditmarsch, \c{S}tefan Minic\v{a} Question-Answer Games.
1.Full Text, 2.Abstract.
PP-2011-22:
Johan van Benthem Logic in a Social Setting.
1.Full Text, 2.Abstract.
PP-2011-21:
Johan van Benthem, Nick Bezhanishvili, Ian Hodkinson Sahlqvist Correspondence for Modal Mu-Calculus.
1.Full Text, 2.Abstract.
PP-2011-20:
Johan van Benthem Exploring a Theory of Play.
1.Full Text, 2.Abstract.
PP-2011-19:
Johan van Benthem, Eric Pacuit Dynamic Logics of Evidence-Based Beliefs.
1.Full Text, 2.Abstract.
PP-2011-18:
Aline Honingh, Rens Bod Clustering and classification of music by interval categories.
1.Full Text, 2.Abstract.
PP-2011-17:
Benedikt Löwe Methodological remarks about comparing formal frameworks for narratives.
1.Full Text, 2.Abstract.
PP-2011-16:
Benedikt Löwe, Eric Pacuit, Andreas Witzel DEL planning and some tractable cases.
1.Full Text, 2.Abstract.
PP-2011-15:
Ulle Endriss Applications of Logic in Social Choice Theory.
1.Full Text, 2.Abstract.
PP-2011-14:
Daniele Porello, Ulle Endriss Ontology Merging as Social Choice.
1.Full Text, 2.Abstract.
PP-2011-13:
Umberto Grandi, Ulle Endriss Binary Aggregation with Integrity Constraints.
1.Full Text, 2.Abstract.
PP-2011-12:
Stéphane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello, Joel Uckelman Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections.
1.Full Text, 2.Abstract.
PP-2011-11:
Yurii Khomskii A general setting for the pointwise investigation of determinacy.
1.Full Text, 2.Abstract.
PP-2011-10:
Cédric Dégremont, Benedikt Löwe, Andreas Witzel The synchronicity of dynamic epistemic logic.
1.Full Text, 2.Abstract.
PP-2011-09:
Jörg Brendle, Yurii Khomskii Polarized partitions on the second level of the projective hierarchy.
1.Full Text, 2.Abstract.
PP-2011-08:
Yurii Khomskii William of Sherwood, singular propositions and the hexagon of opposition..
1.Full Text, 2.Abstract.
PP-2011-07:
Erich Grädel, Jouko Väänänen Dependence and Independence.
1.Full Text, 2.Abstract.
PP-2011-06:
Ulle Endriss, Sarit Kraus, Jérôme Lang, Michael Wooldridge Designing Incentives for Boolean Games.
1.Full Text, 2.Abstract.
PP-2011-05:
George Barmpalias, Andrew E.M. Lewis Measure and cupping in the Turing degrees.
1.Full Text, 2.Abstract.
PP-2011-04:
Christian Geist, Ulle Endriss Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects.
1.Full Text, 2.Abstract.
PP-2011-03:
Benedikt Löwe Comparing formal frameworks of narrative structure.
1.Full Text, 2.Abstract.
PP-2011-02:
Johan van Benthem, Davide Grossi Normal Forms for Priority Graphs.
1.Full Text, 2.Abstract.
PP-2011-01:
George Barmpalias, Andrew E.M. Lewis Chaitin's halting probability and the compression of strings using oracles.
1.Full Text, 2.Abstract.
PP-2010-25:
Martijn Baartse, George Barmpalias On the gap between trivial and nontrivial initial segment prefix-free complexity.
1.Full Text, 2.Abstract.
PP-2010-24:
George Barmpalias, Charlotte Vlek Kolmogorov complexity of initial segments of sequences and arithmetical definability.
1.Full Text, 2.Abstract.
PP-2010-23:
George Barmpalias, Tom Sterkenburg On the number of infinite sequences with trivial initial segment complexity.
1.Full Text, 2.Abstract.
PP-2010-22:
Sara Uckelman, Joel Uckelman Strategy and Manipulation in Medieval Elections.
1.Full Text, 2.Abstract.
PP-2010-21:
Johan van Benthem, Eric Pacuit, Olivier Roy Toward a Theory of Play: A Logical Perspective on Games and Interaction.
1.Full Text, 2.Abstract.
PP-2010-20:
Gerard R. Renardel de Lavalette, Lex Hendriks, Dick de Jongh Intuitionistic implication without disjunction.
1.Full Text, 2.Abstract.
PP-2010-19:
Lena Kurzen Eleusis: Complexity and Interaction in Inductive Inference.
1.Full Text, 2.Abstract.
PP-2010-18:
Mai Gehrke, Jacob Vosmaer A View of Canonical Extension.
1.Full Text, 2.Abstract.
PP-2010-17:
Henkjan Honing Lure(d) into listening: The potential of cognition-based music information retrieval..
1.Full Text, 2.Abstract.
PP-2010-16:
Sylvain Bouveret, Ulle Endriss, Jérôme Lang Fair Division under Ordinal Preferences: Computing Envy-Free Allocations of Indivisible Goods.
1.Full Text, 2.Abstract.
PP-2010-15:
Daniele Porello, Ulle Endriss Modelling Multilateral Negotiation in Linear Logic.
1.Full Text, 2.Abstract.
PP-2010-14:
Benedikt Löwe, Eric Pacuit, Andreas Witzel Planning based on dynamic epistemic logic.
1.Full Text, 2.Abstract.
PP-2010-13:
Umberto Grandi, Ulle Endriss Lifting Rationality Assumptions in Binary Aggregation.
1.Full Text, 2.Abstract.
PP-2010-12:
Amélie Gheerbrant Complete Axiomatization of the Stutter-Invariant Fragment of the Linear-time mu-calculus.
1.Full Text, 2.Abstract.
PP-2010-11:
Benedikt Löwe, Thomas Müller Mathematical knowledge and skills.
1.Full Text, 2.Abstract.
PP-2010-10:
Andreas Witzel, Ulle Endriss Time Constraints in Mixed Multi-unit Combinatorial Auctions.
1.Full Text, 2.Abstract.
PP-2010-09:
Floris Roelofsen, Sam van Gool Disjunctive questions, intonation, and highlighting.
1.Full Text, 2.Abstract.
PP-2010-08:
Dick de Jongh, Fan Yang Jankov's Theorems for Intermediate Logics in the Setting of Universal Models.
1.Full Text, 2.Abstract.
PP-2010-07:
Dick de Jongh, Rineke Verbrugge, Albert Visser Intermediate Logics and the de Jongh Property.
1.Full Text, 2.Abstract.
PP-2010-06:
Szymon Klarman, U. Endriss, Stefan Schlobach ABox Abduction in the Description Logic ALC.
1.Full Text, 2.Abstract.
PP-2010-05:
Daniele Porello, Ulle Endriss Modelling Combinatorial Auctions in Linear Logic.
1.Full Text, 2.Abstract.
PP-2010-04:
Edgar G. Daylight The Advent of Recursion in Programming, 1950s-1960s.
1.Full Text, 2.Abstract.
PP-2010-03:
Stéphane Airiau, Ulle Endriss Multiagent Resource Allocation with Sharable Items: Simple Protocols and Nash Equilibria.
1.Full Text, 2.Abstract.
PP-2010-02:
Ulle Endriss, Umberto Grandi, Daniele Porello Complexity of Judgment Aggregation: Safety of the Agenda.
1.Full Text, 2.Abstract.
PP-2010-01:
Christian Geist, Benedikt Löwe, Bart Van Kerkhove Peer review and knowledge by testimony in mathematics.
1.Full Text, 2.Abstract.
PP-2009-50:
Willem Zuidema A syllable frequency list for Dutch.
1.Full Text, 2.Abstract.
PP-2009-49:
Bart de Boer, Willem Zuidema Models of Language Evolution: Does the Math Add Up?.
1.Full Text, 2.Abstract.
PP-2009-48:
Johan van Benthem The Logic of Empirical Theories Revisited.
1.Full Text, 2.Abstract.
PP-2009-47:
Johan van Benthem Horror Contradictionis.
1.Full Text, 2.Abstract.
PP-2009-46:
Jakub Szymanik, Marcin Zajenkowski Quantifiers and Working Memory.
1.Full Text, 2.Abstract.
PP-2009-45:
Junhua Yu Prehistoric Phenomena and Self-referentiality in Realization Procedure.
1.Full Text, 2.Abstract.
PP-2009-44:
Johan van Benthem Categorial versus Modal Information Theory.
1.Full Text, 2.Abstract.
PP-2009-43:
Johan van Benthem, Fernando R. Velázquez-Quesada Inference, Promotion, and the Dynamics of Awareness.
1.Full Text, 2.Abstract.
PP-2009-41:
Amélie Gheerbrant Complete Axiomatization of the Stutter-Invariant Fragment of the Linear-time mu-calculus.
1.Full Text, 2.Abstract.
PP-2009-40:
Umberto Grandi, Ulle Endriss First-Order Logic Formalisation of Arrow's Theorem.
1.Full Text, 2.Abstract.
PP-2009-39:
Stéphane Airiau, Ulle Endriss Iterated Majority Voting.
1.Full Text, 2.Abstract.
PP-2009-38:
Paolo Mancarella, Giacomo Terreni, Fariba Sadri, Francesca Toni, Ulle Endriss The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments.
1.Full Text, 2.Abstract.
PP-2009-37:
Ulle Endriss, Maria Silvia Pini, Francesca Rossi, K. Brent Venable Preference Aggregation over Restricted Ballot Languages: Sincerity and Strategy-Proofness.
1.Full Text, 2.Abstract.
PP-2009-36:
Sylvain Bouveret, Ulle Endriss, Jérôme Lang Conditional Importance Networks: A Graphical Language for Representing Ordinal, Monotonic Preferences over Sets of Goods.
1.Full Text, 2.Abstract.
PP-2009-35:
Yann Chevaleyre, Ulle Endriss, Jérôme Lang, Nicolas Maudet Preference Handling in Combinatorial Domains: From AI to Social Choice.
1.Full Text, 2.Abstract.
PP-2009-34:
Johan van Benthem Rolling down the River: Saul Kripke and the course of modal logic.
1.Full Text, 2.Abstract.
PP-2009-33:
Benedikt Löwe, Eric Pacuit, Sanchit Saraf Identifying the structure of a narrative via an agent-based logic of preferences and beliefs: Formalizations of episodes from CSI: Crime Scene Investigation.
1.Full Text, 2.Abstract.
PP-2009-32:
Johan van Benthem, \c{S}tefan Minic\v{a} Toward a Dynamic Logic of Questions.
1.Full Text, 2.Abstract.
PP-2009-31:
Urszula Wybraniec-Skardowska Polish Logic, a few lines from a personal perspective.
1.Full Text, 2.Abstract.
PP-2009-30:
Nina Gierasimczuk, Lena Kurzen, Fernando R. Velázquez-Quesada Games for Learning - A Sabotage Approach.
1.Full Text, 2.Abstract.
PP-2009-29:
Hamal Ahmet, Terziler Mehmet Peritopological Spaces and Bisimulations.
1.Full Text, 2.Abstract.
PP-2009-28:
Sara L. Uckelman The reception of Saint Anselm's logic in the 20th and 21st centuries.
1.Full Text, 2.Abstract, 3.Full Text (Jun 2009 version).
PP-2009-27:
David Grossi, Dov Gabbay, Leendert van der Torre The Norm Implementation Problem in Normative Multi-Agent Systems.
1.Abstract, 2.Full Text (Jun 2009 version), 3.Full Text (Nov 2009 version).
PP-2009-26:
Amélie Gheerbrant, Balder ten Cate Craig Interpolation for Linear Temporal Languages.
1.Full Text, 2.Abstract.
PP-2009-25:
Daisuke Ikegami Forcing Absoluteness and Regularity Properties.
1.Full Text, 2.Abstract.
PP-2009-24:
Davide Grossi Doing Argumentation Theory in Modal Logic.
1.Full Text, 2.Abstract, 3.Full Text (Jun 2009 version).
PP-2009-23:
Aline Honingh, Anja Volk De Kracht van Wiskunde in Muziekonderzoek.
1.Full Text, 2.Abstract.
PP-2009-22:
Benedikt Löwe, Thomas Müller Data and Phenomena in Conceptual Modelling.
1.Full Text, 2.Abstract.
PP-2009-21:
Arthur W. Apter, Stephen C. Jackson, Benedikt Löwe Cofinality and Measurability of the First Three Uncountable Cardinals.
1.Full Text, 2.Abstract.
PP-2009-20:
Jakub Szymanik, Marcin Zajenkowski Understanding Quantifiers in Language.
1.Full Text, 2.Abstract.
PP-2009-19:
Jakub Szymanik, Marcin Zajenkowski Improving methodology of quantifier comprehension experiments.
1.Full Text, 2.Abstract.
PP-2009-18:
Jeroen Groenendijk, Floris Roelofsen Inquisitive Semantics and Pragmatics.
1.Full Text, 2.Abstract.
PP-2009-17:
Daisuke Ikegami, David de Kloet, Benedikt Löwe The Axiom of Real Blackwell Determinacy.
1.Full Text, 2.Abstract.
PP-2009-16:
Raul Leal, Alexander Kurz Equational Coalgebraic Logic.
1.Full Text, 2.Abstract.
PP-2009-15:
Raul Leal, Clemens Kupke Of the Hennessy-Milner property and Other Demons.
1.Full Text, 2.Abstract.
PP-2009-14:
Cédric Dégremont, Nina Gierasimczuk Can doxastic agents learn? On the temporal structure of learning.
1.Full Text, 2.Abstract.
PP-2009-13:
Jörg Brendle, Benedikt Löwe Eventually Different Functions and Inaccessible Cardinals.
1.Full Text, 2.Abstract.
PP-2009-12:
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet Simple Negotiation Schemes for Agents with Simple Preferences: Sufficiency, Necessity and Maximality.
1.Full Text, 2.Abstract.
PP-2009-11:
Andrea Giovannucci, Jesús Cerquides, Ulle Endriss, Juan A. Rodríguez-Aguilar A Graphical Formalism for Mixed Multi-Unit Combinatorial Auctions.
1.Full Text, 2.Abstract.
PP-2009-10:
Joel Uckelman, Yann Chevaleyre, Ulle Endriss, Jérôme Lang Representing Utility Functions via Weighted Goals.
1.Full Text, 2.Abstract.
PP-2009-09:
Sara Ramezani, Ulle Endriss Nash Social Welfare in Multiagent Resource Allocation.
1.Full Text, 2.Abstract.
PP-2009-08:
Johan van Benthem CRS and Guarded Logics, a fruitful contact.
1.Full Text, 2.Abstract.
PP-2009-07:
Johan van Benthem Decisions, Actions, and Games: a logical perspective.
1.Full Text, 2.Abstract.
PP-2009-06:
Johan van Benthem The Great Art of Modeling.
1.Full Text, 2.Abstract.
PP-2009-05:
Jeroen Groenendijk Inquisitive Semantics: Two Possibilities for Disjunction.
1.Full Text, 2.Abstract.
PP-2009-04:
Reinhard Blutner Concepts and Bounded Rationality: An Application of Niestegge's Approach to Conditional Quantum Probabilities.
1.Full Text, 2.Abstract.
PP-2009-03:
Reinhard Blutner, Elena Hochnadel Two Qubits for C.G. Jung's Theory of Personality.
1.Full Text, 2.Abstract.
PP-2009-02:
Reinhard Blutner Questions and Answers in an Orthoalgebraic Approach.
1.Full Text, 2.Abstract.
PP-2009-01:
Reinhard Blutner, Anatoli Strigin Bidirectional Grammar and Bidirectional Optimization.
1.Full Text, 2.Abstract.
PP-2008-56:
Willem Zuidema, Bart de Boer Evolutionary Explanations for Natural Language - Criteria from Evolutionary Biology.
1.Full Text, 2.Abstract.
PP-2008-55:
Pietro Galliani Probabilistic Dependence Logic.
1.Full Text, 2.Abstract.
PP-2008-54:
Vanessa Ferdinand, Willem Zuidema Language adapting to the brain: a study of a Bayesian iterated learning model.
1.Full Text, 2.Abstract.
PP-2008-53:
Vanessa Ferdinand, Willem Zuidema An experiment in iterated function learning.
1.Full Text, 2.Abstract.
PP-2008-52:
Sujata Ghosh, Benedikt Löwe, Sanchit Saraf Pointer Semantics with Forward Propagation.
1.Full Text, 2.Abstract.
PP-2008-51:
Sara L. Uckelman Logic and the condemnations of 1277.
1.Full Text, 2.Abstract.
PP-2008-50:
Sara L. Uckelman, Jaap Maat, Katherina Rybalko The art of doubting in Obligationes Parisienses.
1.Full Text, 2.Abstract.
PP-2008-49:
Jakub Szymanik, Marcin Zajenkowski Comprehension of Simple Quantifiers. Empirical Evaluation of a Computational Model.
1.Full Text, 2.Abstract.
PP-2008-48:
Fernando R. Velázquez-Quesada Inference and Update.
1.Full Text, 2.Abstract.
PP-2008-47:
Michael Franke, Tikitu de Jager Now that you mention it: Awareness dynamics in discourse and decisions.
1.Full Text, 2.Abstract.
PP-2008-46:
Nina Gierasimczuk Identification through Inductive Verification. Application to Monotone Quantifiers.
1.Full Text, 2.Abstract.
PP-2008-45:
Sujata Ghosh, Fernando R. Velázquez-Quesada Expressing Belief Flow in Assertion Networks.
1.Full Text, 2.Abstract.
PP-2008-44:
Amélie Gheerbrant, Balder ten Cate Complete Axiomatizations of MSO, FO(TC1), FO(LFP1) on Finite Trees.
1.Full Text, 2.Abstract.
PP-2008-43:
Jakub Szymanik The Computational Complexity of Quantified Reciprocals.
1.Full Text, 2.Abstract.
PP-2008-42:
Paul Dekker A Guide to Dynamic Semantics.
1.Full Text, 2.Abstract.
PP-2008-41:
Joost J. Joosten, Grant Olney Passmore Does SAT exhibit fractal behavior?.
1.Full Text, 2.Abstract.
PP-2008-40:
Lena Kurzen A Logic for Cooperation, Actions and Preferences.
1.Full Text, 2.Abstract.
PP-2008-39:
Cédric Dégremont, Lena Kurzen Modal Logics for Reasoning about Preferences and Cooperation: Expressive Power and Complexity.
1.Full Text, 2.Abstract.
PP-2008-38:
Floris Roelofsen, Maria Aloni Perspectives on Concealed Questions.
1.Full Text, 2.Abstract.
PP-2008-37:
Johan van Benthem The Information in Intuitionistic Logic.
1.Full Text, 2.Abstract.
PP-2008-36:
Johan van Benthem Merging Observation and Access in Dynamic Logic.
1.Full Text, 2.Abstract.
PP-2008-35:
Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi, Eric Pacuit Merging Frameworks for Interaction.
1.Full Text, 2.Abstract.
PP-2008-34:
Johan van Benthem, Cédric Dégrémont Multi-agent Belief Dynamics: Bridges between Dynamic Doxastic and Doxastic Temporal Logics.
1.Full Text, 2.Abstract.
PP-2008-33:
Johan van Benthem Logical Pluralism Meets Logical Dynamics?.
1.Full Text, 2.Abstract.
PP-2008-32:
Marta Bilkova, Dick de Jongh, Joost J. Joosten Interpretability in PRA.
1.Full Text, 2.Abstract.
PP-2008-31:
Benedikt Löwe, Eric Pacuit, Sanchit Saraf Analyzing stories as games with mistaken and changing beliefs.
1.Full Text, 2.Abstract.
PP-2008-30:
Johan van Benthem, Denis Bonnay Modal Logic and Invariance.
1.Full Text, 2.Abstract.
PP-2008-29:
Sara Uckelman Three 13th-century views of quantified modal logic.
1.Full Text, 2.Abstract.
PP-2008-28:
Joel Uckelman, Ulle Endriss Preference Modeling by Weighted Goals with Max Aggregation.
1.Full Text, 2.Abstract.
PP-2008-27:
Samson Abramsky, Jouko Väänänen From IF to BI, A Tale of Dependence and Separation.
1.Full Text, 2.Abstract.
PP-2008-26:
Jeroen Groenendijk Inquisitive Semantics: Two Possibilities for Disjunction.
1.Full Text, 2.Abstract.
PP-2008-25:
Tikitu de Jager, Benedikt Löwe Nonmonotone game labellings.
1.Full Text, 2.Abstract.
PP-2008-24:
Rens Bod The Data-Oriented Parsing Approach: Theory and Application.
1.Full Text, 2.Abstract.
PP-2008-23:
Rens Bod From Exemplar to Grammar: Integrating Analogy and Probability in Language Learning.
1.Full Text, 2.Abstract.
PP-2008-22:
Rens Bod Is the End of Supervised Parsing in Sight?.
1.Full Text, 2.Abstract.
PP-2008-21:
Rens Bod Getting Rid of Derivational Redundancy or How to Solve Kuhn's Problem.
1.Full Text, 2.Abstract.
PP-2008-20:
Peter Øhrstrøm, Henrik Schärfe, Sara L. Uckelman Jacob Lorhard's ontology: a 17th century hypertext on the reality and temporality of the world of intelligibles.
1.Full Text, 2.Abstract.
PP-2008-19:
Johan van Benthem, Daisuke Ikegami Modal Fixed-Point Logic and Changing Models.
1.Full Text, 2.Abstract.
PP-2008-18:
Luca Motto Ros, Brian Semmes A New Proof of the Jayne-Rogers Theorem.
1.Full Text, 2.Abstract.
PP-2008-17:
Johan van Benthem, Cedric Dègremont Building bridges between dynamic and temporal doxastic logics.
1.Full Text, 2.Abstract.
PP-2008-16:
Johan van Benthem For Better of for Worse: Dynamic Logics of Preference.
1.Full Text, 2.Abstract.
PP-2008-15:
Hylke Buisman, Gijs Kruitbosch, Nadya Peek, Ulle Endriss Simulation of Negotiation Policies in Distributed Multiagent Resource Allocation.
1.Full Text, 2.Abstract.
PP-2008-14:
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet Trajectories of Goods in Distributed Allocation.
1.Full Text, 2.Abstract.
PP-2008-13:
Brammert Ottens, Ulle Endriss Comparing Winner Determination Algorithms for Mixed Multi-unit Combinatorial Auctions.
1.Full Text, 2.Abstract.
PP-2008-12:
Joel Uckelman, Ulle Endriss Winner Determination in Combinatorial Auctions with Logic-based Bidding Languages.
1.Full Text, 2.Abstract.
PP-2008-11:
Guram Bezhanishvili, Nick Bezhanishvili, Dick de Jongh The Kuznetsov-Gerciu and Rieger-Nishimura Logics: The Boundaries of the Finite Model Property.
1.Full Text, 2.Abstract.
PP-2008-10:
Wouter Koolen Temporary Unavailability Logic and General Modification Logic.
1.Full Text, 2.Abstract.
PP-2008-09:
Johan van Benthem Information Update as Social Choice.
1.Full Text, 2.Abstract.
PP-2008-08:
Johan van Benthem 'Tell It Like It Is': information flow in logic.
1.Full Text, 2.Abstract.
PP-2008-07:
Johan van Benthem The Many Faces of Interpolation.
1.Full Text, 2.Abstract.
PP-2008-06:
Johan van Benthem Logic, Rational Agency, and Intelligent Interaction.
1.Full Text, 2.Abstract.
PP-2008-05:
Johan van Benthem A Brief History of Natural Logic.
1.Full Text, 2.Abstract.
PP-2008-04:
Johan van Benthem, Maricarmen Martinez The Stories of Logic and Information.
1.Full Text, 2.Abstract.
PP-2008-03:
Johan van Benthem In Praise of Strategies.
1.Full Text, 2.Abstract, 3.Full Text (Jan 2008 version).
PP-2008-02:
Johan van Benthem Games that Make Sense: logic, language, and interaction.
1.Full Text, 2.Abstract.
PP-2008-01:
Johan van Benthem An Interview on the Philosophy of Information.
1.Full Text, 2.Abstract.
PP-2007-40:
Gideon Borensztajn, Willem Zuidema Bayesian Model Merging for Unsupervised Constituent Labeling and Grammar Induction.
1.Full Text, 2.Abstract.
PP-2007-39:
Balder ten Cate, Tadeusz Litak The importance of being discrete.
1.Full Text, 2.Abstract.
PP-2007-38:
\c{C}i\v{g}dem Gencer, Dick de Jongh Unifiability in extensions of K4.
1.Full Text, 2.Abstract.
PP-2007-37:
Jakub Szymanik A Strong Meaning Hypothesis from a Computational Perspective.
1.Full Text, 2.Abstract.
PP-2007-36:
Michael Franke Interpretation of Optimal Signals.
1.Full Text, 2.Abstract.
PP-2007-35:
Michael Franke The Pragmatics of Biscuit Conditionals.
1.Full Text, 2.Abstract.
PP-2007-34:
Jacob Vosmaer MacNeille completion and profinite completion can coincide on finitely generated modal algebras.
1.Full Text, 2.Abstract.
PP-2007-33:
Bernd Buldt, Benedikt Löwe, Thomas Müller Towards a new epistemology of mathematics.
1.Full Text, 2.Abstract.
PP-2007-32:
Benedikt Löwe, Thomas Müller, Eva Wilhelmus Mathematical knowledge: a case study in empirical philosophy of mathematics.
1.Full Text, 2.Abstract.
PP-2007-31:
Sara Uckelman Anselm's Logic of Agency.
1.Full Text, 2.Abstract.
PP-2007-30:
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit Bisimulation for Neighbourhood Structuress.
1.Full Text, 2.Abstract.
PP-2007-29:
Merlijn Sevenster A strategic perspective on IF games.
1.Full Text, 2.Abstract.
PP-2007-28:
Juha Kontinen, Jakub Szymanik A Remark on Collective Quantification.
1.Full Text, 2.Abstract.
PP-2007-27:
Joel Uckelman, Ulle Endriss Preference Representation with Weighted Goals: Expressivity, Succinctness, Complexity.
1.Full Text, 2.Abstract.
PP-2007-26:
Johan van Benthem, Sujata Ghosh, Fenrong Liu Modelling Simultaneous Games with Dynamic Logic.
1.Full Text, 2.Abstract, 3.Full Text (Jun 2007 version).
PP-2007-25:
Jialong Zhang, Fenrong Liu Some Thoughts on Mohist Logic.
1.Full Text, 2.Abstract.
PP-2007-24:
Eva Wilhelmus Formalizability and Knowledge Ascriptions in Mathematical Practice.
1.Full Text, 2.Abstract.
PP-2007-23:
Ulle Endriss Vote Manipulation in the Presence of Multiple Sincere Ballots.
1.Full Text, 2.Abstract.
PP-2007-22:
Benedikt Löwe Visualization of ordinals.
1.Full Text, 2.Abstract.
PP-2007-21:
Martin van Hees, Olivier Roy Intentions, Decisions and Rationality.
1.Full Text, 2.Abstract.
PP-2007-20:
Xavier Caicedo, Francien Dechesne, Theo M.V. Janssen Equivalence and quantier rules for logic with imperfect information.
1.Full Text, 2.Abstract.
PP-2007-19:
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet Allocating Goods on a Graph to Eliminate Envy.
1.Full Text, 2.Abstract.
PP-2007-18:
Juha Kontinen, Jouko Väänänen On Definability in Dependence Logic.
1.Full Text, 2.Abstract.
PP-2007-17:
Peter Øhrstrøm, Sara L. Uckelman, Henrik Schärfe Historical and Conceptual Foundation of Diagrammatical Ontology.
1.Full Text, 2.Abstract.
PP-2007-16:
Sara L. Uckelman, Joel Uckelman Modal and Temporal Logics for Abstract Space-Time Structures.
1.Full Text, 2.Abstract.
PP-2007-15:
Sujata Ghosh, Benedikt Löwe, Erik Scorelle Belief Flow in Assertion Networks.
1.Full Text, 2.Abstract.
PP-2007-14:
Theo Janssen Compiler correctness and the translation of logics.
1.Full Text, 2.Abstract.
PP-2007-13:
Theo Janssen Independence and Hintikka games.
1.Full Text, 2.Abstract.
PP-2007-12:
Krzystof Apt, Andreas Witzel A Generic Approach to Coalition Formation.
1.Full Text, 2.Abstract.
PP-2007-11:
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel A Fully Connectionist Model Generator for Covered.
1.Full Text, 2.Abstract.
PP-2007-10:
Johan van Benthem Actions that Make us Know.
1.Full Text, 2.Abstract.
PP-2007-09:
Johan van Benthem, Olivier Roy, Patrick Girard Everything else being equal: A modal logic approach to ceteris paribus preferences.
1.Full Text, 2.Abstract.
PP-2007-08:
Johan van Benthem, Jelle Gerbrandy, Eric Pacuit Merging Frameworks for Interaction: DEL and ETL.
1.Full Text, 2.Abstract.
PP-2007-07:
Johan van Benthem LOGIC GAMES: from tools to models of interaction.
1.Full Text, 2.Abstract.
PP-2007-06:
Johan van Benthem Inference in Action.
1.Full Text, 2.Abstract.
PP-2007-05:
Johan van Benthem Man Muss Immer Umkehren.
1.Full Text, 2.Abstract.
PP-2007-04:
Johan van Benthem Situation Calculus Meets Modal Logic.
1.Full Text, 2.Abstract.
PP-2007-03:
Johan van Benthem Logic and Reasoning: Do the Facts Matter?.
1.Full Text, 2.Abstract.
PP-2007-02:
Jacob Vosmaer Essentially Sigma-1 formulae in Sigma L.
1.Full Text, 2.Abstract.
PP-2007-01:
Fenrong Liu Diversity of Agents and their Interaction.
1.Full Text, 2.Abstract.
PP-2006-59:
Johan van Benthem Rationalizations and Promises in Games.
1.Full Text, 2.Abstract.
PP-2006-58:
Raquel Fernández, Ulle Endriss Abstract Models for Dialogue Protocols.
1.Full Text, 2.Abstract.
PP-2006-57:
Vincent Kieftenbeld, Benedikt Löwe A classification of ordinal topologies.
1.Full Text, 2.Abstract.
PP-2006-56:
Joost J. Joosten Semantics for sub-intuitionistic logics.
1.Full Text, 2.Abstract.
PP-2006-55:
Yann Chevaleyre, Ulle Endriss, Jérôme Lang, Nicolas Maudet A Short Introduction to Computational Social Choice.
1.Full Text, 2.Abstract.
PP-2006-54:
Martin van Hees, Olivier Roy Intentions and Plans in Decision and Game Theory.
1.Full Text, 2.Abstract.
PP-2006-53:
Merlijn Sevenster, Tero Tulenheimo Finite model theory for partially ordered connectives.
1.Full Text, 2.Abstract.
PP-2006-52:
Nina Gierasimczuk The Problem of Learning the Semantics of Quantifiers.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
PP-2006-51:
Jesus Cerquides, Ulle Endriss, Andrea Giovannucci, Juan A. Rodriguez-Aguilar Bidding Languages and Winner Determination for Mixed Multi-unit Combinatorial Auctions.
1.Full Text, 2.Abstract.
PP-2006-50:
Yann Chevaleyre, Ulle Endriss, Sylvia Estivie, Nicolas Maudet Reaching Envy-free States in Distributed Negotiation Settings.
1.Full Text, 2.Abstract.
PP-2006-49:
Johan van Benthem Computation as Conversation.
1.Full Text, 2.Abstract.
PP-2006-48:
Dick de Jongh The Incompleteness Theorems, their content and their meaning.
1.Full Text, 2.Abstract.
PP-2006-47:
Tero Tulenheimo, Merlijn Sevenster Approaches to Independence Friendly Modal Logic.
1.Full Text, 2.Abstract.
PP-2006-46:
Andreas Blass, Ioanna M. Dimitriou, Benedikt Löwe Inaccessible Cardinals without the Axiom of Choice.
1.Full Text, 2.Abstract.
PP-2006-45:
Johan van Benthem, Fenrong Liu Dynamic logic of preference upgrade.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2006-44:
Johan van Benthem, Eric Pacuit The Tree of Knowledge in Action: Towards a Common Perspective.
1.Full Text, 2.Abstract.
PP-2006-43:
Yann Chevaleyre, Ulle Endriss, Sylvia Estivie, Nicolas Maudet Multiagent Resource Allocation in k-additive Domains: Preference Representation and Complexity.
1.Full Text, 2.Abstract.
PP-2006-42:
Ulle Endriss, Eric Pacuit Modal Logics of Negotiation and Preference.
1.Full Text, 2.Abstract.
PP-2006-41:
Fenrong Liu Preference Change and Information Processing.
1.Full Text, 2.Abstract.
PP-2006-40:
Marcin Mostowski, Jakub Szymanik Semantical bounds for everyday language.
1.Full Text, 2.Abstract, 3.Full Text (Jun 2006 version).
PP-2006-39:
Audrey Yap Product Update and Looking Backward.
1.Full Text, 2.Abstract.
PP-2006-38:
Dick de Jongh, Fenrong Liu Optimality, Belief and Preference.
1.Full Text, 2.Abstract.
PP-2006-37:
Fenrong Liu Diversity of Agents.
1.Full Text, 2.Abstract.
PP-2006-36:
Jakub Szymanik A note on some neuroimaging study of natural language quantifiers comprehension.
1.Full Text, 2.Abstract.
PP-2006-35:
Nina Gierasimczuk, Jakub Szymanik Hintikka's Thesis Revisited.
1.Abstract, 2.Full Text (Aug 2008 version), 3.Full Text (Dec 2006 version).
PP-2006-34:
Olivier Roy Commitment-Based Decision Making for Bounded Agents.
1.Full Text, 2.Abstract.
PP-2006-33:
Benedikt Löwe, Eric Pacuit An abstract approach to reasoning about games with mistaken and changing beliefs.
1.Full Text, 2.Abstract.
PP-2006-32:
Merlijn Sevenster Henkin quantifiers: logic, games, and computation.
1.Full Text, 2.Abstract.
PP-2006-31:
Merlijn Sevenster, Tero Tulenheimo Partially ordered connectives and Sigma-1-1 on finite models.
1.Full Text, 2.Abstract.
PP-2006-30:
Johan van Benthem, Patrick Blackburn Modal Logic: A Semantic Perspective.
1.Full Text, 2.Abstract.
PP-2006-29:
Eric Pacuit A Note on Some Explicit Modal Logics.
1.Full Text, 2.Abstract.
PP-2006-28:
Eric Pacuit Some Comments on History Based Structures.
1.Full Text, 2.Abstract.
PP-2006-27:
Benedikt Löwe Space bounds for infinitary computation.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2006-26:
Tomasz Sadzik Exploring the iterated update universe.
1.Full Text, 2.Abstract.
PP-2006-25:
Nick Bezhanishvili, Dick de Jongh Intuitionistic Logic.
1.Full Text, 2.Abstract.
PP-2006-24:
Brian Semmes A Game for the Borel Functions.
1.Full Text, 2.Abstract.
PP-2006-23:
Brian Semmes Multitape Games.
1.Full Text, 2.Abstract.
PP-2006-22:
Vincent Kieftenbeld Notions of Strong Compactness without the Axiom of Choice.
1.Full Text, 2.Abstract.
PP-2006-21:
Johan van Benthem, Jelle Gerbrandy, Barteld Kooi Dynamic Update with Probabilities.
1.Abstract, 2.Full Text (Apr 2008 version), 3.Full Text (Mar 2006 version).
PP-2006-20:
Rens Bod Towards a General Model of Applying Science.
1.Full Text, 2.Abstract.
PP-2006-19:
Rens Bod Exemplar-Based Linguistics: How to Get Productivity from Examples.
1.Full Text, 2.Abstract.
PP-2006-18:
Merlijn Sevenster The Complexity of Scotland Yard.
1.Full Text, 2.Abstract.
PP-2006-17:
Yann Chevaleyre, Ulle Endriss, Jérôme Lang Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modelling.
1.Full Text, 2.Abstract.
PP-2006-16:
Sylvia Estivie, Yann Chevaleyre, Ulle Endriss, Nicolas Maudet How Equitable is Rational Negotiation?.
1.Full Text, 2.Abstract.
PP-2006-15:
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet Tractable Negotiation in Tree-structured Domains.
1.Full Text, 2.Abstract.
PP-2006-14:
Benedikt Löwe Revision Forever!.
1.Full Text, 2.Abstract.
PP-2006-13:
Benedikt Löwe Set Theory of Infinite Imperfect Information Games.
1.Full Text, 2.Abstract.
PP-2006-12:
Daisuke Ikegami Projective absoluteness under Sacks forcing.
1.Full Text, 2.Abstract.
PP-2006-11:
Johan van Benthem Dynamic Logic of Belief Revision.
1.Full Text, 2.Abstract.
PP-2006-10:
Benedikt Löwe, Brian Semmes The Extent of Constructive Game Labellings.
1.Full Text, 2.Abstract.
PP-2006-09:
Steve Jackson, Farid Khafizov Descriptions and cardinals below $\delta^1_5$.
1.Full Text, 2.Abstract.
PP-2006-08:
Guram Bezhanishvili, Johan van Benthem Modal Logics of Space.
1.Full Text, 2.Abstract.
PP-2006-07:
Johan van Benthem Information as Correlation versus Information as Range.
1.Full Text, 2.Abstract.
PP-2006-06:
Johan van Benthem A New Modal Lindström Theorem.
1.Full Text, 2.Abstract.
PP-2006-05:
Steve Jackson, Benedikt Löwe Canonical Measure Assignments.
1.Full Text, 2.Abstract.
PP-2006-04:
Evert van Emde Boas Ποῖον τὸν μῦθον ἔειπες; Rhetorical Questions in Ancient Greek.
1.Full Text, 2.Abstract.
PP-2006-03:
Reinhard Blutner Optimality Theoretic Pragmatics and the Explicature/Implicature Distinction.
1.Full Text, 2.Abstract.
PP-2006-02:
Tomoyuki Yamada Acts of Commanding and Changing Obligations.
1.Full Text, 2.Abstract.
PP-2006-01:
Ulle Endriss Monotonic Concession Protocols for Multilateral Negotiation.
1.Full Text, 2.Abstract.
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.
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.
PP-2003-27:
Rens Bod Explaining New Phenomena in Terms of Previous Phenomena.
1.Full Text, 2.Abstract.
PP-2003-26:
R. Goldblatt, I. Hodkinson, Y. Venema Erdös graphs resolve Fine's canonicity problem.
1.Full Text, 2.Abstract.
PP-2003-25:
Nick Bezhanishvili, Ian Hodkinson All normal extensions of S5-squared are finitely axiomatizable.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2003-24:
Helle Hvid Hansen Monotonic Modal Logics.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2003-23:
Stefan Schlobach Optimal Interpolation in ALC.
1.Full Text, 2.Abstract.
PP-2003-22:
Johan van Benthem What One May Come to Know.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2003-21:
Johan van Benthem Logic and the Dynamics of Information.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
PP-2003-20:
Johan van Benthem The Categorial Fine-Structure of Natural Language.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
PP-2003-19:
Benedikt Löwe Determinacy for infinite games with more than two players with preferences.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2003-18:
Benedikt Löwe The Simulation Technique and its Consequences for Infinitary Combinatorics under the Axiom of Blackwell Determinacy.
1.Full Text, 2.Abstract.
PP-2003-17:
Evan Goris Extending ILM with an operator for $\S igma_1$-ness.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
PP-2003-16:
Paul Dekker The Pragmatic Dimension of Indefinites.
1.Full Text, 2.Abstract.
PP-2003-15:
Clemens Kupke, Alexander Kurz, Yde Venema Stone Coalgebras.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
PP-2003-14:
Benedikt Löwe A Hierarchy of norms defined via Blackwell games.
1.Full Text, 2.Abstract.
PP-2003-13:
Ian Hodkinson, Yde Venema Canonical varieties with no canonical axiomatisation.
1.Full Text, 2.Abstract.
PP-2003-12:
Benedikt Löwe The Pointwise View of Determinacy: Arboreal Forcings, Measurability and Weak Measurability.
1.Full Text, 2.Abstract.
PP-2003-11:
Jörg Brendle, Lorenz Halbeisen, Benedikt Löwe Silver Measurability and its Relation to other Regularity Properties.
1.Full Text, 2.Abstract.
PP-2003-10:
Patrick Blackburn, Maarten Marx Tableaux for Quantified Hybrid Logic.
1.Full Text, 2.Abstract.
PP-2003-09:
Johan van Benthem Conditional Probability and Update Logic.
1.Full Text, 2.Abstract.
PP-2003-08:
Johan van Benthem Categorial Grammar at a Cross-Roads.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
PP-2003-07:
Johan van Benthem 'One is a Lonely Number': on the Logic of Communication.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2003-06:
Johan van Benthem Rational Dynamics and Epistemic Logic in Games.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2003-05:
Johan van Benthem What Logic Games are Trying to Tell Us.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
PP-2003-04:
Johan van Benthem The Epistemic Logic of IF Games.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
PP-2003-03:
Johan van Benthem Is There Still Logic in Bolzano's Key?.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
PP-2003-02:
Johan van Benthem Structural Properties of Dynamic Reasoning.
1.Full Text, 2.Abstract.
PP-2003-01:
Johan van Benthem A Note on Modeling Theories.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2002-20:
Giovanna Corsi Counterpart Semantics. A Foundational study on Quantified Modal Logics.
1.Full Text, 2.Abstract.
PP-2002-19:
Rens Bod, Ronald Kaplan A Data-Oriented Parsing Model for Lexical-Functional Grammar.
1.Full Text, 2.Abstract.
PP-2002-18:
Nick Bezhanishvili Varieties of Two-Dimensional Cylindric Algebras. Part II.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
PP-2002-17:
Giovanna D'Agostino, Giacomo Lenzi On Modal mu-Calculus with Explicit Interpolants.
1.Full Text, 2.Abstract.
PP-2002-16:
Carlos Areces, Hans de Nivelle, Maarten de Rijke Resolution in Modal, Description and Hybrid Logic.
1.Full Text, 2.Abstract.
PP-2002-15:
Carlos Areces, Juan Heguiabehere HyLoRes: A Hybrid Logic Prover Based on Direct Resolution.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
PP-2002-14:
Carlos Areces, Maarten de Rijke, Gabriel Infante-Lopez Decomposing Modal Logic.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2002-13:
Noor van Leusen, Reinhard Muskens Construction by Description in Discourse Representation.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
PP-2002-12:
Patrick Blackburn, Maarten Marx Constructive Interpolation in Hybrid Logic.
1.Full Text, 2.Abstract.
PP-2002-11:
Yde Venema Atomless Varieties.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2002-10:
Yde Venema Duals of subdirectly irreducible modal algebras.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2002-09:
Mai Gehrke, Hideo Nagahashi, Yde Venema A Sahlqvist Theorem for Distributive Modal Logic.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2002-08:
Ravi Rajani Generic Structures.
1.Full Text, 2.Abstract.
PP-2002-07:
Johan van Benthem, Guram Bezhanishvili, Mai Gehrke Euclidean Hierarchy in Modal Logic.
1.Full Text, 2.Abstract.
PP-2002-06:
Guram Bezhanishvili, Mai Gehrke A New Proof of Completeness of S4 with respect to the Real Line.
1.Full Text, 2.Abstract.
PP-2002-05:
Joop Niekus Individual Choice Sequences in the Work of L.E.J.Brouwer.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2002-04:
Troy Lee Arithmetical Definability over Finite Structures.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
PP-2002-03:
Helle Hvid Hansen, Marc Pauly Axiomatising Nash-Consistent Coalition Logic.
1.Full Text, 2.Abstract.
PP-2002-02:
Maarten Marx, Michael Masuch Regular Equivalence and Dynamic Logic.
1.Full Text, 2.Abstract.
PP-2002-01:
Theo Janssen Independent Choices and the Interpretation of IF Logic.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2001-23:
Marco Aiello, Johan van Benthem A Modal Walk Through Space.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2001-22:
Giovanna Corsi A Unifying Completeness Theorem in Quantified Modal logic.
1.Full Text, 2.Abstract.
PP-2001-21:
Giovanna D'Agostino, Giacomo Lenzi Comparing Levels of Bisimulation Quantifiers Logic with the mu-calculus.
1.Full Text, 2.Abstract.
PP-2001-19:
C. Areces, P. Blackburn, M. Marx Repairing the Interpolation Theorem in Quantified Modal Logic.
1.Full Text, 2.Abstract.
PP-2001-18:
M. Aiello, J. van Benthem, G. Bezhanishvili Reasoning About Space: The Modal Way.
1.Full Text, 2.Abstract.
PP-2001-17:
P. Blackburn, J. Kamps, M. Marx Situation Calculus as Hybrid Logic: First Steps.
1.Full Text, 2.Abstract.
PP-2001-16:
J. Kamps, M. Marx Words with Attitude.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2001-15:
Paul Dekker, Robert van Rooy Bi-Directional Optimality Theory: An Application of Game Theory.
1.Full Text, 2.Abstract.
PP-2001-14:
Paul Dekker On If and Only.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2001-13:
Paul Dekker ``She'' 's Character.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2001-12:
Paul Dekker Dynamics and Pragmatics of ``Peirce's Puzzle''.
1.Full Text, 2.Abstract.
PP-2001-11:
Paul Dekker Meaning and Use of Indefinite Expressions.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2001-10:
Maarten Marx, Szabolcs Mikulas An Elementary Construction for a Non-elementary Procedure.
1.Full Text, 2.Abstract.
PP-2001-09:
Lex Hendriks, Dick de Jongh Characterization of Strongly Equivalent Logic Programs in Intermediate Logics.
1.Full Text, 2.Abstract.
PP-2001-08:
C Areces, R. Bernardi Analyzing the Core of Categorial Grammar.
1.Full Text, 2.Abstract.
PP-2001-07:
Renate Bartsch Generating Polysemy: Metaphor and Metonymy.
1.Full Text.
PP-2001-06:
Michael Morreau What Vague Objects are like.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
PP-2001-05:
Michael Morreau The Good, the Bad and the Far-fetched.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
PP-2001-04:
Maarten Marx Relation Algebra with Binders.
1.Full Text, 2.Abstract.
PP-2001-03:
Renate Bartsch Consciousness at the Cutting Edge between World and Brain: The Interaction between Perception, Imagination, Thought, and Language.
1.Full Text, 2.Abstract.
PP-2001-02:
G. Goguadze, C. Piazza, Y. Venema Simulating polyadic modal logics by monadic ones.
1.Full Text, 2.Abstract.
PP-2001-01:
Maarten Marx Complexity of Intuitionistic Predicate Logic with One Variable.
1.Full Text, 2.Abstract.
PP-2000-15:
Alessandro Agostini; Dick de Jongh; Franco Montagna Coordination of 01-agents vs. coordination of worlds-based agents.
1.Full Text, 2.Abstract.
PP-2000-14:
Maarten Marx, Nick Bezhanishvili All proper normal extensions of S5--square have the polynomial size model property.
1.Full Text, 2.Abstract.
PP-2000-13:
Maarten Marx, Szabolcs Mikulás Products, or How to Create Modal Logics of High Complexity.
1.Full Text, 2.Abstract.
PP-2000-12:
Valentin Gorankov The Basic Algebra of Game Equivalences.
1.Full Text, 2.Abstract.
PP-2000-11:
Eva Hoogland, Maarten Marx Interpolation in Guarded Fragments.
1.Full Text, 2.Abstract.
PP-2000-10:
Nick Bezhanishvili Varieties of Two-Dimensional Diagonal-Free Cylindric Algebras. Part I..
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
PP-2000-09:
Maarten Marx, Yde Venema Local Variations on a Loose Theme: Modal Logic and Decidability.
1.Full Text, 2.Abstract.
PP-2000-08:
Annette Bleeker, Jan van Eijck The Epistemics of Encryption.
1.Full Text, 2.Abstract.
PP-2000-07:
Carlos Areces, Patrick Blackburn, Maarten Marx The Computational Complexity of Hybrid Temporal Logics.
1.Full Text, 2.Abstract.
PP-2000-06:
Rosalie Iemhoff A(nother) characterization of Intuitionistic Propositional Logic.
1.Full Text, 2.Abstract.
PP-2000-05:
Kees Doets Short Proof(s) for Classical Theorems.
1.Full Text, 2.Abstract.
PP-2000-04:
Keith Stenning, Michiel van Lambalgen Semantics as a foundation for psychology: a case study of Wason's selection task.
1.Full Text, 2.Abstract.
PP-2000-03:
Giovanna D'Agostino Characterizing Interpolation Pairs in Infinitary Graded Logics.
1.Full Text, 2.Abstract.
PP-2000-02:
Johan van Benthem Information Transfer across Chu Spaces.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-2000-01:
Ian Hodkinson, Szabolcs Mikulás, Yde Venema Axiomatizing Complex Algebras by Games.
1.Full Text, 2.Abstract.
PP-1999-27:
Michiel van Lambalgen Conditional Quantification, or Poor Man's Probability.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
PP-1999-26:
Remko Bonnema, Paul Buying, Remko Scha A New Probability Model for Data Oriented Parsing (Extended Version).
1.Abstract.
PP-1999-25:
Marc Pauly, Alexandru Baltag (editors) Proceedings of the ILLC Workshop on Logic and Games. Held in Amsterdam, November 19-20, 1999.
1.Full Text, 2.Abstract, 3.Aiello, 4.Baltag, 5.Dekker, 6.Ditmarsch, 7.Emdeboas, 8.Groenendijk, 9.Harrenstein, 10.Janssen, 11.Kooi, 12.Pauly, 13.Rubinstein, 14.Rueckert, 15.Sandu, 16.Vanrooy, 17.Vilks (PS), 18.Vilks (PDF).
PP-1999-24:
Marco Aiello, Johan van Benthem Logical Patterns in Space.
1.Full Text, 2.Abstract.
PP-1999-23:
Berislav Zarnic Validity of Practical Inference.
1.Full Text, 2.Abstract.
PP-1999-22:
Johan van Benthem When are Two Games the Same?.
1.Full Text, 2.Abstract.
PP-1999-21:
Nikos Massios, Frans Voorbraak Hierarchical Decision-Theoretic Robotic Surveillance.
1.Full Text, 2.Abstract.
PP-1999-20:
Eva Hoogland, Maarten Marx, Martin Otto Beth Definability for the Guarded Fragment.
1.Full Text, 2.Abstract.
PP-1999-19:
Jeroen Groenendijk The Logic of Interrogation (classical version).
1.Full Text, 2.Abstract.
PP-1999-18:
Renata Wassermann, Eduardo Fermé A Note on Prototype Revision.
1.Full Text, 2.Abstract.
PP-1999-17:
Renata Wassermann, Sven Ove Hansson Local Change.
1.Full Text, 2.Abstract.
PP-1999-16:
Carlos Areces, Hans de Nivelle, Maarten de Rijke Prefixed Resolution: A Resolution Method for Modal and Description Logics.
1.Full Text, 2.Abstract.
PP-1999-15:
Maarten Marx, Stefan Schlobach, Szabolcs Mikulás Labelled Deduction for the Guarded Fragment.
1.Full Text, 2.Abstract.
PP-1999-14:
Christof Monz, Maarten de Rijke A Tableau Calculus for Pronoun Resolution.
1.Full Text, 2.Abstract.
PP-1999-13:
Pieter W. Adriaans Learning Shallow Context-Free Languages under Simple Distributions.
1.Full Text, 2.Abstract.
PP-1999-12:
Paul Dekker Coreference and Representationalism.
1.Full Text, 2.Abstract.
PP-1999-11:
Paul Dekker The Semantics of Dynamic Conjunction.
1.Full Text, 2.Abstract.
PP-1999-10:
Eva Hoogland Algebraic Characterizations of Various Beth Definability Properties.
1.Full Text, 2.Abstract.
PP-1999-09:
Jaap Kamps, László Pólos Reducing Uncertainty: A Formal Theory of Organizations in Action.
1.Full Text, 2.Abstract.
PP-1999-08:
Rosalie Iemhoff On the Admissible Rules of Intuitionistic Propositional Logic.
1.Full Text, 2.Abstract.
PP-1999-07:
Carlos Areces, Patrick Blackburn, Maarten Marx Hybrid Logics. Characterization, Interpolation and Complexity.
1.Full Text, 2.Abstract.
PP-1999-06:
Maarten Marx Amalgamation in Finite Dimensional Cylindric Algebras.
1.Full Text, 2.Abstract.
PP-1999-05:
Hans Rott Coherence and Conservation in the Dynamics of Belief, Part I: Finding the Right Framework.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
PP-1999-04:
Kazushige Terui Labelled Tableau Calculi Generating Simple Models for Substructural Logics.
1.Full Text, 2.Abstract.
PP-1999-03:
Maarten Marx, Carlos Areces Failure of Interpolation in Combined Modal Logics.
1.Full Text, 2.Abstract.
PP-1999-02:
Maarten Marx Relativized Relation Algebras.
1.Full Text, 2.Abstract.
PP-1999-01:
Maarten Marx Relation Algebras Can Tile.
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