uva.nl

Institute for Logic, Language and Computation

Prepublication (PP) Series

PP-2024-03:
Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger Intuitionistic Master Modality
PP-2024-02:
Francisco Santiago Nieto-de la Rosa, Ulises Ariet Ramos-Garcia, Ana Lucia Vargas-Sandoval, Dick de Jongh Extending antichains in the poset of the finite subsets of omega
PP-2024-01:
Joop Leo Reconciling positionalism and antipositionalism
PP-2023-08:
Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh Herbrand Schemes for Cyclic Proofs
PP-2023-07:
Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh Herbrand Schemes for First-order Logic
PP-2023-06:
Rodrigo N. Almeida Π2 -Rule Systems and Inductive Classes of Gödel Algebras
PP-2023-05:
Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra The intermediate logic of convex polyhedra
PP-2023-04:
Guram Bezhanishvili, Nick Bezhanishvili, Tommaso Moraschini Degrees of the finite model property: The antidichotomy theorem
PP-2023-03:
Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh, Johannes Marti, Yde Venema Proof Systems for Two-way Modal mu-Calculus
PP-2023-02:
Lorenzo Galeotti, Ethan S. Lewis, Benedikt Loewe Symmetry for transfinite computability
PP-2023-01:
Nima Motamed, Arie Soeteman, Simon Rey, Ulle Endriss Participatory Budgeting with Multiple Resources
PP-2022-08:
Yurii Khomskii, Hrafn Valtýr Oddsson Paraconsistent and Paracomplete Zermelo-Fraenkel Set Theory
PP-2022-07:
Nick Bezhanishvili, Antonio M. Cleani Translational embeddings via stable canonical rules
PP-2022-06:
Alexandru Baltag, Nick Bezhanishvili, David Fernandez Duque The Topology of Surprise
PP-2022-05:
Maria Aloni, Peter van Ormondt Modified numerals and split disjunction: the first-order case
PP-2022-04:
Nick Bezhanishvili, Miguel Martins, Tommaso Moraschini Bi-intermediate logics of trees and co-trees
PP-2022-03:
Johan van Benthem, Nick Bezhanishvili Modal structures in groups and vector spaces
PP-2022-02:
Johan van Benthem, Lei Li, Chenwei Shi, Haoxuan Yin Hybrid sabotage Modal Logic
PP-2022-01:
Aybüke Özgün, Tom Schoonen The Logical Development of Pretense Imagination
PP-2021-10:
Johan van Benthem, Thomas Icard Interfacing Logic and Counting
PP-2021-09:
Rasyan Ahmed, Willem Zuidema, Tom Lentz Modelling EEG responses to spoken narration
PP-2021-08:
Alexandru Baltag, Sonja Smets Learning What Others Know
PP-2021-07:
Alexandru Baltag, Nick Bezhanishvili, David Fernandez Duque The topological mu-calculus: completeness and decidability
PP-2021-06:
Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot A coalgebraic approach to dualities for neighbourhood frames
PP-2021-05:
Guram Bezhanishvili, Nick Bezhanishvili, Tommaso Moraschini, Michal Stronkowski Profiniteness and representability of spectra of Heyting algebras
PP-2021-04:
Johan van Benthem Lof der Onmogelijkheid
PP-2021-03:
Johan van Benthem An Abstract Look at the Fixed-Point Theorem for Provability Logic
PP-2021-02:
Johan van Benthem Relational Patterns, Partiality, and Set Lifting in Modal Semantics
PP-2021-01:
Merlin Carl, Lorenzo Galeotti, Robert Passmann Randomising Realisability
PP-2020-22:
Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra The nerve criterion and polyhedral completeness of intermediate logics
PP-2020-21:
Tom Schoonen The Problem of Modally Bad Company
PP-2020-20:
Zoi Terzopoulou Quota Rules for Incomplete Judgments
PP-2020-19:
Alexandru Baltag, Johan van Benthem, Dag Westerstähl Compositionality in Context
PP-2020-18:
Simon Rey, Ulle Endriss, Ronald de Haan Designing Participatory Budgeting Mechanisms Grounded in Judgment Aggregation
PP-2020-17:
Boas Kluiving, Adriaan de Vries, Pepijn Vrijbergen, Arthur Boixel, Ulle Endriss Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving
PP-2020-16:
Sirin Botan, Ulle Endriss Majority-Strategyproofness in Judgment Aggregation
PP-2020-15:
Arthur Boixel, Ulle Endriss Automated Justification of Collective Decisions via Constraint Solving
PP-2020-14:
Johan van Benthem, Fenrong Liu New Logical Perspectives on Monotonicity
PP-2020-13:
Lorenzo Galeotti, Yurii Khomskii, Jouko Väänänen Bounded Symbiosis and Upwards Reflection
PP-2020-12:
Guram Bezhanishvili, Nick Bezhanishvili Jankov formulas and axiomatization techniques for intermediate logics
PP-2020-11:
Nick Bezhanishvili, Tim Henke A model-theoretic approach to descriptive general frames: the van Benthem characterisation theorem
PP-2020-10:
Nick Bezhanishvili, Gianluca Grilletti, Davide Emilio Quadrellaro An Algebraic Approach to Inquisitive and DNA-Logics
PP-2020-09:
Jan Rooduijn, Yde Venema Completeness for axiomatic extensions of modal logic with the master modality
PP-2020-08:
Nick Bezhanishvili, Sebastian Enqvist, Jim de Groot Duality for instantial neighbourhood logic via
coalgebra
PP-2020-07:
Carlo Proietti, Antonio Yuste-Ginel Persuasive Argumentation and Epistemic Attitudes
PP-2020-06:
Alexandru Baltag, Johan van Benthem A Simple Logic of Functional Dependence
PP-2020-05:
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill The McKinsey-Tarski theorem for locally compact ordered spaces
PP-2020-04:
Guram Bezhanishvili, Nick Bezhanishvili, Luca Carai, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze Diego's theorem for nuclear implicative semilattices
PP-2020-03:
Nick Bezhanishvili, Tommaso Moraschini Hereditarily structurally complete intermediate logics: Citkin's theorem via Esakia duality
PP-2020-02:
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill Characterizing existence of a measurable cardinal via modal logic
PP-2020-01:
Merlin Carl, Lorenzo Galeotti Resetting Infinite Time Blum-Shub-Smale-Machines
PP-2019-31:
Carlo Proietti, Davide Grossi, Sonja Smets, Fernando R. Velázquez-Quesada Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes
Authors
PP-2019-30:
Ulle Endriss Analysis of One-to-One Matching Mechanisms via SAT Solving: Impossibilities for Universal Axioms
PP-2019-29:
Ulle Endriss Collective Information
PP-2019-28:
Zoi Terzopoulou, Ulle Endriss Neutrality and Relative Acceptability in Judgment Aggregation
PP-2019-27:
Johan van Benthem, Krzysztof Mierzewski, Francesca Zaffora Blando The Modal Logic of Stepwise Removal
PP-2019-26:
Anthia Solaki, Fernando R. Velázquez-Quesada Towards a logical formalisation of Theory of Mind: a study on False Belief Tasks
PP-2019-25:
Anthia Solaki A dynamic epistemic logic for resource-bounded agents
PP-2019-24:
Anthia Solaki Rule-based Reasoners in Epistemic Logic
PP-2019-23:
Ghica van Emde Boas-Lubsen, Bonan Zhao, Peter van Emde Boas Sun Tzu and the Rules of Victorious Warriors;
Analysing the rules of Sun Tzu using Mind maps
PP-2019-22:
Peter van Emde Boas, Ghica van Emde Boas-Lubsen The Rules of Victorious Warriors - revised version
PP-2019-21:
Ronald de Haan, Marija Slavkovik Answer Set Programming for Judgment Aggregation
PP-2019-20:
Zoi Terzopoulou, Ulle Endriss Optimal Truth-Tracking Rules for the Aggregation of Incomplete Judgments
PP-2019-19:
Zoi Terzopoulou, Ulle Endriss Aggregating Incomplete Pairwise Preferences by Weight
PP-2019-18:
Zoi Terzopoulou, Ulle Endriss Strategyproof Judgment Aggregation under Partial Information
PP-2019-17:
Zoi Terzopoulou, Ulle Endriss Rethinking the Neutrality Axiom in Judgment Aggregation (Extended Abstract)
PP-2019-16:
Weiwei Chen, Ulle Endriss Preservation of Semantic Properties in Collective Argumentation: The Case of Aggregating Abstract Argumentation Frameworks
PP-2019-15:
Peter Hawke, Aybüke Özgün Truthmaker Semantics for Epistemic Logic
PP-2019-14:
Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Arbitrary Public Announcement Logic with Memory
PP-2019-13:
Johan van Benthem, Nick Bezhanishvili Modern faces of filtration
PP-2019-12:
Anthia Solaki, Francesco Berto, Sonja Smets The Logic of Fast and Slow Thinking
PP-2019-11:
Johan van Benthem, Fenrong Liu, Sonja Smets Logico-Computational Aspects of Rationality
PP-2019-10:
Lorenzo Galeotti Surreal Blum-Shub-Smale Machines
PP-2019-09:
Nick Bezhanishvili, Jim de Groot, Yde Venema Coalgebraic geometric logic
PP-2019-08:
Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González The McKinsey-Tarski Theorem for Topological Evidence Logics
PP-2019-07:
Johan van Benthem, Dag Westerstähl Generalized Quantifiers Meet Modal Neighborhood Semantics
PP-2019-06:
V. Yu. Shavrukov R.e. prime powers and total rigidity
PP-2019-05:
Robert Passmann The de Jongh property for bounded constructive Zermelo-Fraenkel set theory
PP-2019-04:
Johan van Benthem, Dominik Klein Logics for Analyzing Games
PP-2019-03:
Johan van Benthem, Fenrong Liu Graph Games and Logic Design
PP-2019-02:
Alexandru Baltag, Johan van Benthem Some Thoughts on the Logic of Imprecise Observation
PP-2019-01:
Johan van Benthem Vistas from a Drop of Water
PP-2018-18:
Anthia Solaki, Sonja Smets The effort of reasoning: modelling the inference steps of boundedly rational agents
PP-2018-17:
Weiwei Chen, Ulle Endriss Aggregating Alternative Extensions of Abstract Argumentation Frameworks: Preservation Results for Quota Rules
PP-2018-16:
Ulle Endriss Judgment Aggregation with Rationality and Feasibility Constraints
PP-2018-15:
Benedikt Löwe, Robert Passmann, Sourav Tarafder Constructing illoyal algebra-valued models of set theory
PP-2018-14:
Merlin Carl, Lorenzo Galeotti, Benedikt Löwe The Bolzano-Weierstrass Theorem in Generalised Analysis
PP-2018-13:
Nick Bezhanishvili, Wesley H. Holliday Choice-free Stone duality
PP-2018-12:
Ronald de Haan A Parameterized Complexity View on Description Logic Reasoning
PP-2018-11:
Ronald de Haan Hunting for Tractable Languages for Judgment Aggregation
PP-2018-10:
Dick de Jongh, Ana Lucia Vargas Finite identification with positive and with complete data
PP-2018-09:
Nick Bezhanishvili, Almudena Colacito, Dick de Jongh A Study of Subminimal Logics of Negation and their Modal Companions
PP-2018-08:
Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki Two Neighborhood Semantics for Subintuitionistic Logics
PP-2018-07:
Benedikt Löwe, Bart Van Kerkhove Methodological triangulation in empirical philosophy (of mathematics)
PP-2018-06:
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist A new game equivalence, its logic and algebra
PP-2018-05:
Frederik Möllerström Lauridsen Intermediate logics admitting a structural hypersequent calculus
PP-2018-04:
Zoi Terzopoulou, Ulle Endriss Modelling Iterative Judgment Aggregation
PP-2018-03:
Janosch Döcker, Britta Dorn, Ulle Endriss, Ronald de Haan, Sebastian Schneckenburger Tool Auctions
PP-2018-02:
Ulle Endriss, Umberto Grandi Graph Aggregation: Extended Abstract
PP-2018-01:
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist A propositional dynamic logic for instantial neighborhood semantics
PP-2017-26:
Johan van Benthem Semantic Perspectives in Logic
PP-2017-25:
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist A New Game Equivalence and Its Modal Logic
PP-2017-24:
Johan van Benthem Working with Jan in Four Movements
PP-2017-23:
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist IPDL: a new modal logic of computation
PP-2017-22:
Johan van Benthem Against All Odds: When Logic Meets Probability
PP-2017-21:
Johan van Benthem Constructive Agents
PP-2017-20:
Ulle Endriss Trends in Computational Social Choice
PP-2017-19:
Guram Bezhanishvili, John Harding, Julia Ilin, Frederik Möllerström Lauridsen MacNeille transferability and stable classes of Heyting algebras
PP-2017-18:
Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada Argument-based Belief in Topological Structures
PP-2017-17:
Sonja Smets, Fernando R. Velázquez-Quesada The Creation and Change of Social Networks: a logical study based on group size
PP-2017-16:
Sonja Smets, Fernando R. Velázquez-Quesada How to Make Friends: A Logical Approach to Social Group Creation
PP-2017-15:
Alexandru Baltag, Rachel Boddy, Sonja Smets Group Knowledge in Interrogative Epistemology
PP-2017-14:
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill On modal logics arising from scattered locally compact Hausdorff spaces
PP-2017-13:
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill A new proof of the McKinsey-Tarski Theorem
PP-2017-12:
Stéphane Airiau, Elise Bonzon, Ulle Endriss, Nicolas Maudet, Julien Rossit Rationalisation of Profiles of Abstract Argumentation Frameworks: Characterisation and Complexity
PP-2017-11:
Weiwei Chen, Ulle Endriss Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks
PP-2017-10:
Lorenzo Galeotti, Benedikt Löwe Order types of models of reducts of Peano Arithmetic and their fragments
PP-2017-09:
Sebastian Schneckenburger, Britta Dorn, Ulle Endriss The Atkinson Inequality Index in Multiagent Resource Allocation
PP-2017-08:
Lorenzo Galeotti, Hugo Nobrega Towards computable analysis on the generalised real line
PP-2017-07:
Fernando R. Velázquez-Quesada Reliability-Based Preference Dynamics: Lexicographic Upgrade
PP-2017-06:
Guram Bezhanishvili, Nick Bezhanishvili, Thomas Santoli, Yde Venema A simple propositional calculus for compact Hausdorff spaces
PP-2017-05:
Sebastian Enqvist, Yde Venema Disjunctive bases: normal forms for modal logics
PP-2017-04:
Sebastian Enqvist, Fatemeh Seifan, Yde Venema Completeness for mu-calculi: a coalgebraic approach
PP-2017-03:
Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill, Andrea Pedrini Tarski's theorem on intuitionistic logic, for polyhedra.
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
PP-2017-01:
Ulle Endriss, Umberto Grandi Graph Aggregation
PP-2016-41:
Johan van Benthem "Transmissie, Emergentie en Fading Foundations", a commentary.
PP-2016-40:
Johan van Benthem Feeling the Rythms of a Field
PP-2016-39:
Gaëlle Fontaine, Yde Venema Some model theory for the modal mu-calculus:
syntactic characterisations of semantic properties
PP-2016-38:
Sarah McWhirter, Jakub Szymanik Constructing Semantic Automata for Quantifier Iterations
PP-2016-37:
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill Tychonoff HED-spaces and Zemanian extensions of S4.3
PP-2016-36:
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin Subframization and stabilization for superintuitionistic logics
PP-2016-35:
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet Distributed Fair Allocation of Indivisible Goods
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
PP-2016-33:
Sebastian Enqvist, Fatemeh Seifan, Yde Venema Completeness for the modal mu-calculus: separating the combinatorics from the dynamics
PP-2016-33:
Sebastian Enqvist, Fatemeh Seifan, Yde Venema Completeness for the modal mu-calculus: separating the combinatorics from the dynamics
PP-2016-32:
Paula Henk, Albert Visser Interpretability suprema in Peano Arithmetic
PP-2016-31:
Paula Henk, V. Yu. Shavrukov A Solovay function for the least 1-inconsistent subtheory of PA
PP-2016-30:
Johan van Benthem Tales from an Old Manuscript
PP-2016-29:
Johan van Benthem, Nick Bezhanishvili and Wesley H. Holliday A Bimodal Perspective on Possibility Semantics
PP-2016-28:
Guillaume Aucher, Johan van Benthem and Davide Grossi Modal Logics of Sabotage Revisited
PP-2016-27:
Johan van Benthem Logic in Play
PP-2016-26:
Hajnal Andréka, Johan van Benthem, István Németi On a New Semantics for First-Order Predicate Logic
PP-2016-25:
Markus Brill, Edith Elkind, Ulle Endriss, Umberto Grandi Pairwise Diffusion of Preference Rankings in Social Networks
PP-2016-24:
Ulle Endriss, Svetlana Obraztsova, Maria Polukarov, Jeffrey S. Rosenschein Strategic Voting with Incomplete Information
PP-2016-23:
Almudena Colacito, Dick de Jongh, Ana Lucia Vargas Subminimal Negation
PP-2016-22:
Peter van Emde Boas, Ghica van Emde Boas-Lubsen The Rules of Victorious Warriors
PP-2016-21:
Alexandru Baltag, Nick Bezhanishvili, Sonja Smets Justified Belief and the Topology of Evidence
PP-2016-20:
Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, Zhiguang Zhao Universal models for the positive fragment of intuitionistic logic
PP-2016-19:
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill Topological and logical explorations of Krull dimension
PP-2016-18:
Ulle Endriss, Umberto Grandi, Ronald de Haan, Jérôme Lang Succinctness of Languages for Judgment Aggregation
PP-2016-17:
Giovanni Ciná, Ulle Endriss Proving Classical Theorems of Social Choice Theory in Modal Logic
PP-2016-16:
Olivier Cailloux, Ulle Endriss Arguing about Voting Rules
PP-2016-15:
Sirin Botan, Arianna Novaro, Ulle Endriss Group Manipulation in Judgment Aggregation
PP-2016-14:
Stéphane Airiau, Elise Bonzon, Ulle Endriss, Nicolas Maudet, Julien Rossit Rationalisation of Profiles of Abstract Argumentation Frameworks
PP-2016-13:
Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki Subintuitionistic Logics with Kripke Models
PP-2016-12:
Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki Weak Subintuitionistic Logics
PP-2016-11:
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin Stable modal logics
PP-2016-10:
Johannes Marti, Riccardo Pinosio A Game Semantics for System P
PP-2016-09:
Raquel G. Alhama, Willem Zuidema Generalization in Artificial Language Learning: Modelling the Propensity to Generalize
PP-2016-08:
Raquel G. Alhama, Remko Scha, Willem Zuidema Memorization of sequence-segments by humans and non-human animals: the Retention-Recognition Model
PP-2016-07:
Marco Costantini, Carla Groenland, Ulle Endriss Judgment Aggregation under Issue Dependencies
PP-2016-06:
Ulle Endriss Judgment Aggregation
PP-2016-05:
Felix Brandt, Vincent Conitzer, Ulle Endriss, Jérôme Lang, Ariel D. Procaccia Introduction to Computational Social Choice
PP-2016-04:
Johan van Benthem, Nick Bezhanishvili, Wesley H. Holliday A bimodal perspective on possibility semantics
PP-2016-03:
Johan van Benthem The Open Course Logic in Action
PP-2016-02:
Johan van Benthem Tracking Information
PP-2016-01:
Johan van Benthem Fanning the Flames of Reason
PP-2015-25:
Sharon Gieske, Elise van der Pol, Ulle Endriss Empirical Evaluation of Collective Rationality for Quota Rules in Judgment Aggregation
PP-2015-24:
Giovanni Ciná, Ulle Endriss A Syntactic Proof of Arrow's Theorem in a Modal Logic of Social Choice Functions
PP-2015-23:
Ulle Endriss, Ronald de Haan Complexity of the Winner Determination Problem in Judgment Aggregation: Kemeny, Slater, Tideman, Young
PP-2015-22:
Alexandru Baltag, Zoé Christoff, Rasmus K. Rendsvig, Sonja Smets Dynamic Epistemic Logic of Diffusion and Prediction in Social Networks
PP-2015-21:
Nick Bezhanishvili, Silvio Ghilardi, Frederik Möllerström Lauridsen One-step Heyting algebras and hypersequent calculi with the bounded proof property
PP-2015-20:
Johan van Benthem Possible Worlds Semantics for Classical Logic
PP-2015-19:
Johan van Benthem Minimal Deontic Logics
PP-2015-18:
Alexandru Baltag, Nick Bezhanishvili, Sonja Smets The topological theory of belief
PP-2015-17:
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist, Junhua Yu Instantial neighbourhood logic
PP-2015-16:
Nick Bezhanishvili, Nick Galatos, Luca Spada Canonical formulas for k-potent commutative, integral residuated lattices
PP-2015-15:
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill S4.3 and hereditarily extremally disconnected spaces
PP-2015-14:
Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze Admissible bases via stable canonical rules
PP-2015-13:
Alexandru Baltag, Nina Gierasimczuk, Sonja Smets On the Solvability of Inductive Problems: A Study in Epistemic Topology
PP-2015-12:
Alexander C. Block, Benedikt Löwe Modal Logics and Multiverses
PP-2015-11:
Johan van Benthem Logic and Philosophy, a Sea of Stories
PP-2015-10:
Johan van Benthem Oscillations, Logic, and Dynamical Systems
PP-2015-09:
Nick Bezhanishvili, Sumit Sourabh Sahlqvist preservation for topological fixed-point logic
PP-2015-08:
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin Cofinal stable logics
PP-2015-07:
Johan van Benthem, Fenrong Liu Where is Logic Going?
PP-2015-06:
Johan van Benthem Those Who Must Do It: the Agency of Language
PP-2015-05:
Johan van Benthem, Sonja Smets Dynamic Logics of Belief Change
PP-2015-04:
Hajnal Andréka, Johan van Benthem, Nick Bezhanishvili, István Németi Changing a Semantics: Opportunism or Courage?
PP-2015-03:
Johan van Benthem Natural Language and Logic of Agency
PP-2015-02:
Johan van Benthem, Fenrong Liu Deontic Logic and Preference Change
PP-2015-01:
Johan van Benthem Talking about Knowledge
PP-2014-23:
Guram Bezhanishvili, Nick Bezhanishvili, Sumit Sourabh, Yde Venema Subordinations, closed relations, and compact Hausdorff spaces
PP-2014-22:
Benedikt Löwe, Sourav Tarafder Generalized algebra-valued models of set theory
PP-2014-21:
Luca Incurvati, Benedikt Löwe Restrictiveness relative to notions of interpretations
PP-2014-20:
Alexandru Baltag, Nina Gierasimczuk, Sonja Smets Truth-Tracking by Belief Revision
PP-2014-19:
Nick Bezhanishvili, Dick de Jongh Stable formulas in intuitionistic logic
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
PP-2014-17:
Ulle Endriss Social Choice Theory as a Foundation for Multiagent Systems
PP-2014-16:
Vahid Hashemi, Ulle Endriss Measuring Diversity of Preferences in a Group
PP-2014-15:
Olivier Cailloux, Ulle Endriss Eliciting a Suitable Voting Rule via Examples
PP-2014-14:
Ulle Endriss, Umberto Grandi Collective Rationality in Graph Aggregation
PP-2014-13:
Ulle Endriss, Ronald de Haan, Sefan Szeider Parameterized Complexity Results for Agenda Safety in Judgment Aggregation
PP-2014-12:
Ciyang Qing, Ulle Endriss, Raquel Fernandez, Justin Kruger Empirical Analysis of Aggregation Methods for Collective Annotation
PP-2014-11:
Justin Kruger, Ulle Endriss, Raquel Fernandez, Ciyang Qing Axiomatic Analysis of Aggregation Methods for Collective Annotation
PP-2014-10:
Hajnal Andreka, Johan van Benthem, Nick Bezhanishvili, István Németi Changing a semantics: opportunism or courage?
PP-2014-09:
Zoé Christoff, Jens Ulrik Hansen Dynamic Social Networks Logic
PP-2014-08:
Guram Bezhanishvili, Nick Bezhanishvili, Rosalie Iemhoff Stable canonical rules
PP-2014-07:
Tanmay Inamdar, Benedikt Löwe The Modal Logic of Inner Models
PP-2014-06:
Dick de Jongh, Zhiguang Zhao Positive Formulas in Intuitionistic and Minimal Logic
PP-2014-05:
Nick Bezhanishvili, Silvio Ghilardi Multiple-conclusion Rules, Hypersequents Syntax and Step Frames
PP-2014-04:
Bernhard Fisseni, Benedikt Löwe Event mappings for comparing formal frameworks for narratives
PP-2014-03:
Alexandru Baltag, Nick Bezhanishvili, Sonja Smets The Topology of Full and Weak Belief
PP-2014-02:
Nick Bezhanishvili, Dion Coumans, Sam van Gool, Dick de Jongh Duality and universal models for the meet-implication fragment of IPC
PP-2014-01:
Paula Henk Kripke Models Built from Models of Arithmetic
PP-2013-16:
Peter van Emde Boas Thirty nine years of stratified trees
PP-2013-15:
Stéphane Airiau, Ulle Endriss Multiagent Resource Allocation with Sharable Items
PP-2013-14:
Milos Stanojevic, Khalil Sima'an Evaluating Long Range Reordering with Permutation-Forests
PP-2013-13:
Harald Bastiaanse, Frank Veltman Making the Right Exceptions
PP-2013-12:
Ulle Endriss Voting on Actions with Uncertain Outcomes
PP-2013-11:
Ulle Endriss, Umberto Grandi Binary Aggregation by Selection of the Most Representative Voter
PP-2013-10:
Bruno Rocha, Niels Bogaards, Aline Honingh Segmentation and timbre- and rhythm-similarity in Electronic Dance Music
PP-2013-09:
Umberto Grandi, Ulle Endriss Lifting Integrity Constraints in Binary Aggregation
PP-2013-08:
Ulle Endriss, Raquel Fernández Collective Annotation of Linguistic Resources: Basic Principles and a Formal Model
PP-2013-07:
Ulle Endriss Reduction of Economic Inequality in Combinatorial Domains
PP-2013-06:
Johan van Benthem Untimely Review, Bernard Bolzano's "Wissenschaftslehre" of 1837
PP-2013-05:
Johan van Benthem Logica en recht: naar een rijkere relatie
PP-2013-04:
Joel David Hamkins, Benedikt Löwe Moving up and down in the generic multiverse
PP-2013-03:
Johan van Benthem Computation as Social Agency: What and How
PP-2013-02:
Johan van Benthem Implicit and Explicit Stances in Logic
PP-2013-01:
Johan van Benthem Reasoning about Strategies
PP-2012-30:
Daniele Porello, Ulle Endriss Ontology Merging as Social Choice: Judgment Aggregation under the Open World Assumption
PP-2012-29:
Ulle Endriss, Umberto Grandi, Daniele Porello Complexity of Judgment Aggregation
PP-2012-28:
Johan van Benthem, Eric Pacuit Connecting Logics of Choice and Change
PP-2012-27:
Fenrong Liu, Jeremy Seligman, Johan van Benthem Models of Reasoning in Ancient China
PP-2012-26:
Johan van Benthem The Nets of Reason
PP-2012-25:
Johan van Benthem, David Fernández Duque, Eric Pacuit Evidence Logic: A New Look at Neighborhood Structures
PP-2012-24:
Johan van Benthem Non-Standard Reasoning, Revisited
PP-2012-23:
Johan van Benthem Two Logical Faces of Belief Revision
PP-2012-22:
Johan van Benthem Some Thoughts on the Logic of Strategies
PP-2012-21:
Johan van Benthem Modeling Reasoning in a Social Setting
PP-2012-20:
Ulle Endriss Automated Analysis of Social Choice Problems: Approval Elections with Small Fields of Candidates
PP-2012-19:
Joel David Hamkins, George Leibman, Benedikt Löwe Structural connections between a forcing class and its modal logic
PP-2012-18:
Andreas van Cranenburgh Extracting tree fragments in linear average time
PP-2012-17:
Ulle Endriss, Umberto Grandi Graph Aggregation
PP-2012-16:
Umberto Grandi, Gabriella Pigozzi On Compatible Multi-issue Group Decisions
PP-2012-15:
Umberto Grandi The Common Structure of Paradoxes in Aggregation Theory
PP-2012-14:
Bart de Boer, Willem Zuidema Modelling in the Language Sciences
PP-2012-13:
Willem Zuidema Language in Nature: on the evolutionary roots of a cultural phenomenon
PP-2012-12:
Umberto Grandi, Ulle Endriss First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation
PP-2012-11:
Ulle Endriss Sincerity and Manipulation under Approval Voting
PP-2012-10:
Alexander Block, Bernhard Fisseni, Carlos León, Benedikt Löwe, Deniz Sarikaya Narrative summarization and its correspondence to Proppian functions
PP-2012-09:
Rens Bod, Bernhard Fisseni, Aadil Kurji, Benedikt Löwe Objectivity and reproducibility of Proppian annotations
PP-2012-08:
Bernhard Fisseni, Benedikt Löwe Which dimensions of narrative are relevant for human judgments of story equivalence?
PP-2012-07:
Jouko Väänänen, Tong Wang Internal Categoricity in Arithmetic and Set Theory
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
PP-2012-05:
Annemieke Reijngoud, Ulle Endriss Voter Response to Iterated Poll Information
PP-2012-04:
Felix Brandt, Vincent Conitzer, Ulle Endriss Computational Social Choice
PP-2012-03:
Ulle Endriss Logic and Social Choice Theory
PP-2012-02:
Ulle Endriss Computational Social Choice: Prospects and Challenges
PP-2012-01:
Olivia Ladinig, Henkjan Honing Complexity judgments as a measure of event salience in musical rhythms
PP-2011-38:
Khalil Sima'an, Gideon Maillette de Buy Wenniger Hierarchical Translation Equivalence over Word Alignments
PP-2011-37:
Floris Roelofsen An inquisitive dynamic epistemic logic
PP-2011-36:
Peter van Emde Boas Turing Machines for Dummies: why representations do matter
PP-2011-35:
Leo Esakia, Benedikt Löwe Fatal Heyting Algebras and Forcing Persistent Sentences
PP-2011-34:
Nick Bezhanishvili, Dick de Jongh Extendible formulas in two variables in intuitionistic logic
PP-2011-33:
Pietro Galliani Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information
PP-2011-32:
Johan van Benthem Dynamic Logic in Natural Language
PP-2011-31:
Johan van Benthem, Cédric Dégrémont Multi-agent belief dynamics: bridges between dynamic doxastic and doxastic temporal logics
PP-2011-30:
Johan van Benthem, Fernando Velázquez-Quesada The Dynamics of Awareness
PP-2011-29:
Johan van Benthem, Davide Grossi, Fenrong Liu On the Two Faces of Deontics: Semantic Betterness and Syntactic Priority
PP-2011-28:
Johan van Benthem, Amélie Gheerbrant Game Solution, Epistemic Dynamics and Fixed-Point Logics
PP-2011-27:
Johan van Benthem, Eric Pacuit, Olivier Roy Toward a Theory of Play: A Logical Perspective on Games and Interaction
PP-2011-26:
Johan van Benthem Logic, Mathematics, and General Agency
PP-2011-25:
Johan van Benthem Logic between Expressivity and Complexity
PP-2011-24:
Johan van Benthem, Fenrong Liu Deontic Logic and Changing Preferences
PP-2011-23:
Johan van Benthem, Hans van Ditmarsch, Stefan Minica Question-Answer Games
PP-2011-22:
Johan van Benthem Logic in a Social Setting
PP-2011-21:
Johan van Benthem, Nick Bezhanishvili, Ian Hodkinson Sahlqvist Correspondence for Modal Mu-Calculus
PP-2011-20:
Johan van Benthem Exploring a Theory of Play
PP-2011-19:
Johan van Benthem, Eric Pacuit Dynamic Logics of Evidence-Based Beliefs
PP-2011-18:
Aline Honingh, Rens Bod Clustering and classification of music by interval categories
PP-2011-17:
Benedikt Löwe Methodological remarks about comparing formal frameworks for narratives
PP-2011-16:
Benedikt Löwe, Eric Pacuit, Andreas Witzel DEL planning and some tractable cases
PP-2011-15:
Ulle Endriss Applications of Logic in Social Choice Theory
PP-2011-14:
Daniele Porello, Ulle Endriss Ontology Merging as Social Choice
PP-2011-13:
Umberto Grandi, Ulle Endriss Binary Aggregation with Integrity Constraints
PP-2011-12:
Stéphane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello, Joel Uckelman Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections
PP-2011-11:
Yurii Khomskii A general setting for the pointwise investigation of determinacy
PP-2011-10:
Cédric Dégremont, Benedikt Löwe, Andreas Witzel The synchronicity of dynamic epistemic logic
PP-2011-09:
Jörg Brendle, Yurii Khomskii Polarized partitions on the second level of the projective hierarchy
PP-2011-08:
Yurii Khomskii William of Sherwood, singular propositions and the hexagon of opposition.
PP-2011-07:
Erich Grädel, Jouko Väänänen Dependence and Independence
PP-2011-06:
Ulle Endriss, Sarit Kraus, Jérôme Lang, Michael Wooldridge Designing Incentives for Boolean Games
PP-2011-05:
George Barmpalias, Andrew E.M. Lewis Measure and cupping in the Turing degrees
PP-2011-04:
Christian Geist, Ulle Endriss Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects
PP-2011-03:
Benedikt Löwe Comparing formal frameworks of narrative structure
PP-2011-02:
Johan van Benthem, Davide Grossi Normal Forms for Priority Graphs
PP-2011-01:
George Barmpalias, Andrew E.M. Lewis Chaitin's halting probability and the compression of strings using oracles
PP-2010-25:
Martijn Baartse, George Barmpalias On the gap between trivial and nontrivial initial segment prefix-free complexity
PP-2010-24:
George Barmpalias, Charlotte Vlek Kolmogorov complexity of initial segments of sequences and arithmetical definability
PP-2010-23:
George Barmpalias, Tom Sterkenburg On the number of infinite sequences with trivial initial segment complexity
PP-2010-22:
Sara Uckelman, Joel Uckelman Strategy and Manipulation in Medieval Elections
PP-2010-21:
Johan van Benthem, Eric Pacuit, Olivier Roy Toward a Theory of Play: A Logical Perspective on Games and Interaction
PP-2010-20:
Gerard R. Renardel de Lavalette, Lex Hendriks, Dick de Jongh Intuitionistic implication without disjunction
PP-2010-19:
Lena Kurzen Eleusis: Complexity and Interaction in Inductive Inference
PP-2010-18:
Mai Gehrke, Jacob Vosmaer A View of Canonical Extension
PP-2010-17:
Henkjan Honing Lure(d) into listening: The potential of cognition-based music information retrieval.
PP-2010-16:
Sylvain Bouveret, Ulle Endriss, Jérôme Lang Fair Division under Ordinal Preferences: Computing Envy-Free Allocations of Indivisible Goods
PP-2010-15:
Daniele Porello, Ulle Endriss Modelling Multilateral Negotiation in Linear Logic
PP-2010-14:
Benedikt Löwe, Eric Pacuit, Andreas Witzel Planning based on dynamic epistemic logic
PP-2010-13:
Umberto Grandi, Ulle Endriss Lifting Rationality Assumptions in Binary Aggregation
PP-2010-12:
Amélie Gheerbrant Complete Axiomatization of the Stutter-Invariant Fragment of the Linear-time mu-calculus
PP-2010-11:
Benedikt Löwe, Thomas Müller Mathematical knowledge and skills
PP-2010-10:
Andreas Witzel, Ulle Endriss Time Constraints in Mixed Multi-unit Combinatorial Auctions
PP-2010-09:
Floris Roelofsen, Sam van Gool Disjunctive questions, intonation, and highlighting
PP-2010-08:
Dick de Jongh, Fan Yang Jankov's Theorems for Intermediate Logics in the Setting of Universal Models
PP-2010-07:
Dick de Jongh, Rineke Verbrugge, Albert Visser Intermediate Logics and the de Jongh Property
PP-2010-06:
Szymon Klarman, U. Endriss, Stefan Schlobach ABox Abduction in the Description Logic ALC
PP-2010-05:
Daniele Porello, Ulle Endriss Modelling Combinatorial Auctions in Linear Logic
PP-2010-04:
Edgar G. Daylight The Advent of Recursion in Programming, 1950s-1960s
PP-2010-03:
Stéphane Airiau, Ulle Endriss Multiagent Resource Allocation with Sharable Items: Simple Protocols and Nash Equilibria
PP-2010-02:
Ulle Endriss, Umberto Grandi, Daniele Porello Complexity of Judgment Aggregation: Safety of the Agenda
PP-2010-01:
Christian Geist, Benedikt Löwe, Bart Van Kerkhove Peer review and knowledge by testimony in mathematics
PP-2009-50:
Willem Zuidema A syllable frequency list for Dutch
PP-2009-49:
Bart de Boer, Willem Zuidema Models of Language Evolution: Does the Math Add Up?
PP-2009-48:
Johan van Benthem The Logic of Empirical Theories Revisited
PP-2009-47:
Johan van Benthem Horror Contradictionis
PP-2009-46:
Jakub Szymanik, Marcin Zajenkowski Quantifiers and Working Memory
PP-2009-45:
Junhua Yu Prehistoric Phenomena and Self-referentiality in Realization Procedure
PP-2009-44:
Johan van Benthem Categorial versus Modal Information Theory
PP-2009-43:
Johan van Benthem, Fernando R. Velázquez-Quesada Inference, Promotion, and the Dynamics of Awareness
PP-2009-41:
Amélie Gheerbrant Complete Axiomatization of the Stutter-Invariant Fragment of the Linear-time mu-calculus
PP-2009-40:
Umberto Grandi, Ulle Endriss First-Order Logic Formalisation of Arrow's Theorem
PP-2009-39:
Stéphane Airiau, Ulle Endriss Iterated Majority Voting
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
PP-2009-37:
Ulle Endriss, Maria Silvia Pini, Francesca Rossi, K. Brent Venable Preference Aggregation over Restricted Ballot Languages: Sincerity and Strategy-Proofness
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
PP-2009-35:
Yann Chevaleyre, Ulle Endriss, Jérôme Lang, Nicolas Maudet Preference Handling in Combinatorial Domains: From AI to Social Choice
PP-2009-34:
Johan van Benthem Rolling down the River: Saul Kripke and the course of modal logic
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
PP-2009-32:
Johan van Benthem, Stefan Minica Toward a Dynamic Logic of Questions
PP-2009-31:
Urszula Wybraniec-Skardowska Polish Logic, a few lines from a personal perspective
PP-2009-30:
Nina Gierasimczuk, Lena Kurzen, Fernando R. Velázquez-Quesada Games for Learning - A Sabotage Approach
PP-2009-29:
Hamal Ahmet, Terziler Mehmet Peritopological Spaces and Bisimulations
PP-2009-28:
Sara L. Uckelman The reception of Saint Anselm's logic in the 20th and 21st centuries
PP-2009-27:
David Grossi, Dov Gabbay, Leendert van der Torre The Norm Implementation Problem in Normative Multi-Agent Systems
PP-2009-26:
Amélie Gheerbrant, Balder ten Cate Craig Interpolation for Linear Temporal Languages
PP-2009-25:
Daisuke Ikegami Forcing Absoluteness and Regularity Properties
PP-2009-24:
Davide Grossi Doing Argumentation Theory in Modal Logic
PP-2009-23:
Aline Honingh, Anja Volk De Kracht van Wiskunde in Muziekonderzoek
PP-2009-22:
Benedikt Löwe, Thomas Müller Data and Phenomena in Conceptual Modelling
PP-2009-21:
Arthur W. Apter, Stephen C. Jackson, Benedikt Löwe Cofinality and Measurability of the First Three Uncountable Cardinals
PP-2009-20:
Jakub Szymanik, Marcin Zajenkowski Understanding Quantifiers in Language
PP-2009-19:
Jakub Szymanik, Marcin Zajenkowski Improving methodology of quantifier comprehension experiments
PP-2009-18:
Jeroen Groenendijk, Floris Roelofsen Inquisitive Semantics and Pragmatics
PP-2009-17:
Daisuke Ikegami, David de Kloet, Benedikt Löwe The Axiom of Real Blackwell Determinacy
PP-2009-16:
Raul Leal, Alexander Kurz Equational Coalgebraic Logic
PP-2009-15:
Raul Leal, Clemens Kupke Of the Hennessy-Milner property and Other Demons
PP-2009-14:
Cédric Dégremont, Nina Gierasimczuk Can doxastic agents learn? On the temporal structure of learning
PP-2009-13:
Jörg Brendle, Benedikt Löwe Eventually Different Functions and Inaccessible Cardinals
PP-2009-12:
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet Simple Negotiation Schemes for Agents with Simple Preferences: Sufficiency, Necessity and Maximality
PP-2009-11:
Andrea Giovannucci, Jesús Cerquides, Ulle Endriss, Juan A. Rodríguez-Aguilar A Graphical Formalism for Mixed Multi-Unit Combinatorial Auctions
PP-2009-10:
Joel Uckelman, Yann Chevaleyre, Ulle Endriss, Jérôme Lang Representing Utility Functions via Weighted Goals
PP-2009-09:
Sara Ramezani, Ulle Endriss Nash Social Welfare in Multiagent Resource Allocation
PP-2009-08:
Johan van Benthem CRS and Guarded Logics, a fruitful contact
PP-2009-07:
Johan van Benthem Decisions, Actions, and Games: a logical perspective
PP-2009-06:
Johan van Benthem The Great Art of Modeling
PP-2009-05:
Jeroen Groenendijk Inquisitive Semantics: Two Possibilities for Disjunction
PP-2009-04:
Reinhard Blutner Concepts and Bounded Rationality: An Application of Niestegge's Approach to Conditional Quantum Probabilities
PP-2009-03:
Reinhard Blutner, Elena Hochnadel Two Qubits for C.G. Jung's Theory of Personality
PP-2009-02:
Reinhard Blutner Questions and Answers in an Orthoalgebraic Approach
PP-2009-01:
Reinhard Blutner, Anatoli Strigin Bidirectional Grammar and Bidirectional Optimization
PP-2008-56:
Willem Zuidema, Bart de Boer Evolutionary Explanations for Natural Language - Criteria from Evolutionary Biology
PP-2008-55:
Pietro Galliani Probabilistic Dependence Logic
PP-2008-54:
Vanessa Ferdinand, Willem Zuidema Language adapting to the brain: a study of a Bayesian iterated learning model
PP-2008-53:
Vanessa Ferdinand, Willem Zuidema An experiment in iterated function learning
PP-2008-52:
Sujata Ghosh, Benedikt Löwe, Sanchit Saraf Pointer Semantics with Forward Propagation
PP-2008-51:
Sara L. Uckelman Logic and the condemnations of 1277
PP-2008-50:
Sara L. Uckelman, Jaap Maat, Katherina Rybalko The art of doubting in Obligationes Parisienses
PP-2008-49:
Jakub Szymanik, Marcin Zajenkowski Comprehension of Simple Quantifiers. Empirical Evaluation of a Computational Model
PP-2008-48:
Fernando R. Velázquez-Quesada Inference and Update
PP-2008-47:
Michael Franke, Tikitu de Jager Now that you mention it: Awareness dynamics in discourse and decisions
PP-2008-46:
Nina Gierasimczuk Identification through Inductive Verification. Application to Monotone Quantifiers
PP-2008-45:
Sujata Ghosh, Fernando R. Velázquez-Quesada Expressing Belief Flow in Assertion Networks
PP-2008-44:
Amélie Gheerbrant, Balder ten Cate Complete Axiomatizations of $MSO$, $FO(TC^1)$, $FO(LFP^1)$ on Finite Trees
PP-2008-43:
Jakub Szymanik The Computational Complexity of Quantified Reciprocals
PP-2008-42:
Paul Dekker A Guide to Dynamic Semantics
PP-2008-41:
Joost J. Joosten, Grant Olney Passmore Does SAT exhibit fractal behavior?
PP-2008-40:
Lena Kurzen A Logic for Cooperation, Actions and Preferences
PP-2008-39:
Cédric Dégremont, Lena Kurzen Modal Logics for Reasoning about Preferences and Cooperation: Expressive Power and Complexity
PP-2008-38:
Floris Roelofsen, Maria Aloni Perspectives on Concealed Questions
PP-2008-37:
Johan van Benthem The Information in Intuitionistic Logic
PP-2008-36:
Johan van Benthem Merging Observation and Access in Dynamic Logic
PP-2008-35:
Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi, Eric Pacuit Merging Frameworks for Interaction
PP-2008-34:
Johan van Benthem, Cédric Dégrémont Multi-agent Belief Dynamics: Bridges between Dynamic Doxastic and Doxastic Temporal Logics
PP-2008-33:
Johan van Benthem Logical Pluralism Meets Logical Dynamics?
PP-2008-32:
Marta Bilkova, Dick de Jongh, Joost J. Joosten Interpretability in PRA
PP-2008-31:
Benedikt Löwe, Eric Pacuit, Sanchit Saraf Analyzing stories as games with mistaken and changing beliefs
PP-2008-30:
Johan van Benthem, Denis Bonnay Modal Logic and Invariance
PP-2008-29:
Sara Uckelman Three 13th-century views of quantified modal logic
PP-2008-28:
Joel Uckelman, Ulle Endriss Preference Modeling by Weighted Goals with Max Aggregation
PP-2008-27:
Samson Abramsky, Jouko Väänänen From IF to BI, A Tale of Dependence and Separation
PP-2008-26:
Jeroen Groenendijk Inquisitive Semantics: Two Possibilities for Disjunction
PP-2008-25:
Tikitu de Jager, Benedikt Löwe Nonmonotone game labellings
PP-2008-24:
Rens Bod The Data-Oriented Parsing Approach: Theory and Application
PP-2008-23:
Rens Bod From Exemplar to Grammar: Integrating Analogy and Probability in Language Learning
PP-2008-22:
Rens Bod Is the End of Supervised Parsing in Sight?
PP-2008-21:
Rens Bod Getting Rid of Derivational Redundancy or How to Solve Kuhn's Problem
PP-2008-20:
Henrik Schärfe, Sara L. Uckelman Jacob Lorhard's ontology: a 17th century hypertext on the reality and temporality of the world of intelligibles
PP-2008-19:
Johan van Benthem, Daisuke Ikegami Modal Fixed-Point Logic and Changing Models
PP-2008-18:
Luca Motto Ros, Brian Semmes A New Proof of the Jayne-Rogers Theorem
PP-2008-17:
Johan van Benthem, Cedric Dègremont Building bridges between dynamic and temporal doxastic logics
PP-2008-16:
Johan van Benthem For Better of for Worse: Dynamic Logics of Preference
PP-2008-15:
Hylke Buisman, Gijs Kruitbosch, Nadya Peek, Ulle Endriss Simulation of Negotiation Policies in Distributed Multiagent Resource Allocation
PP-2008-14:
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet Trajectories of Goods in Distributed Allocation
PP-2008-13:
Brammert Ottens, Ulle Endriss Comparing Winner Determination Algorithms for Mixed Multi-unit Combinatorial Auctions
PP-2008-12:
Joel Uckelman, Ulle Endriss Winner Determination in Combinatorial Auctions with Logic-based Bidding Languages
PP-2008-11:
Guram Bezhanishvili, Nick Bezhanishvili, Dick de Jongh The Kuznetsov-Gerciu and Rieger-Nishimura Logics: The Boundaries of the Finite Model Property
PP-2008-10:
Wouter Koolen Temporary Unavailability Logic and General Modification Logic
PP-2008-09:
Johan van Benthem Information Update as Social Choice
PP-2008-08:
Johan van Benthem 'Tell It Like It Is': information flow in logic
PP-2008-07:
Johan van Benthem The Many Faces of Interpolation
PP-2008-06:
Johan van Benthem Logic, Rational Agency, and Intelligent Interaction
PP-2008-05:
Johan van Benthem A Brief History of Natural Logic
PP-2008-04:
Johan van Benthem, Maricarmen Martinez The Stories of Logic and Information
PP-2008-03:
Johan van Benthem In Praise of Strategies
PP-2008-02:
Johan van Benthem Games that Make Sense: logic, language, and interaction
PP-2008-01:
Johan van Benthem An Interview on the Philosophy of Information
PP-2007-40:
Gideon Borensztajn, Willem Zuidema Bayesian Model Merging for Unsupervised Constituent Labeling and Grammar Induction
PP-2007-39:
Balder ten Cate, Tadeusz Litak The importance of being discrete
PP-2007-38:
Çigdem Gencer, Dick de Jongh Unifiability in extensions of K4
PP-2007-37:
Jakub Szymanik A Strong Meaning Hypothesis from a Computational Perspective
PP-2007-36:
Michael Franke Interpretation of Optimal Signals
PP-2007-35:
Michael Franke The Pragmatics of Biscuit Conditionals
PP-2007-34:
Jacob Vosmaer MacNeille completion and profinite completion can coincide on finitely generated modal algebras
PP-2007-33:
Bernd Buldt, Benedikt Löwe, Thomas Müller Towards a new epistemology of mathematics
PP-2007-32:
Benedikt Löwe, Thomas Müller, Eva Wilhelmus Mathematical knowledge: a case study in empirical philosophy of mathematics
PP-2007-31:
Sara Uckelman Anselm's Logic of Agency
PP-2007-30:
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit Bisimulation for Neighbourhood Structuress
PP-2007-29:
Merlijn Sevenster A strategic perspective on IF games
PP-2007-28:
Juha Kontinen, Jakub Szymanik A Remark on Collective Quantification
PP-2007-27:
Joel Uckelman, Ulle Endriss Preference Representation with Weighted Goals: Expressivity, Succinctness, Complexity
PP-2007-26:
Johan van Benthem, Sujata Ghosh, Fenrong Liu Modelling Simultaneous Games with Dynamic Logic
PP-2007-25:
Jialong Zhang, Fenrong Liu Some Thoughts on Mohist Logic
PP-2007-24:
Eva Wilhelmus Formalizability and Knowledge Ascriptions in Mathematical Practice
PP-2007-23:
Ulle Endriss Vote Manipulation in the Presence of Multiple Sincere Ballots
PP-2007-22:
Benedikt Löwe Visualization of ordinals
PP-2007-21:
Martin van Hees, Olivier Roy Intentions, Decisions and Rationality
PP-2007-20:
Xavier Caicedo, Francien Dechesne, Theo M.V. Janssen Equivalence and quantier rules for logic with imperfect information
PP-2007-19:
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet Allocating Goods on a Graph to Eliminate Envy
PP-2007-18:
Juha Kontinen, Jouko Väänänen On Definability in Dependence Logic
PP-2007-17:
Sara L. Uckelman, Henrik Schärfe Historical and Conceptual Foundation of Diagrammatical Ontology
PP-2007-16:
Sara L. Uckelman, Joel Uckelman Modal and Temporal Logics for Abstract Space-Time Structures
PP-2007-15:
Sujata Ghosh, Benedikt Löwe, Erik Scorelle Belief Flow in Assertion Networks
PP-2007-14:
Theo Janssen Compiler correctness and the translation of logics
PP-2007-13:
Theo Janssen Independence and Hintikka games
PP-2007-12:
Krzystof Apt, Andreas Witzel A Generic Approach to Coalition Formation
PP-2007-11:
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel A Fully Connectionist Model Generator for Covered
PP-2007-10:
Johan van Benthem Actions that Make us Know
PP-2007-09:
Johan van Benthem, Olivier Roy, Patrick Girard Everything else being equal: A modal logic approach to ceteris paribus preferences
PP-2007-08:
Johan van Benthem, Jelle Gerbrandy, Eric Pacuit Merging Frameworks for Interaction: DEL and ETL
PP-2007-07:
Johan van Benthem LOGIC GAMES: from tools to models of interaction
PP-2007-06:
Johan van Benthem Inference in Action
PP-2007-05:
Johan van Benthem Man Muss Immer Umkehren
PP-2007-04:
Johan van Benthem Situation Calculus Meets Modal Logic
PP-2007-03:
Johan van Benthem Logic and Reasoning: Do the Facts Matter?
PP-2007-02:
Jacob Vosmaer Essentially Sigma-1 formulae in Sigma L
PP-2007-01:
Fenrong Liu Diversity of Agents and their Interaction
PP-2006-59:
Johan van Benthem Rationalizations and Promises in Games
PP-2006-58:
Raquel Fernández, Ulle Endriss Abstract Models for Dialogue Protocols
PP-2006-57:
Vincent Kieftenbeld, Benedikt Löwe A classification of ordinal topologies
PP-2006-56:
Joost J. Joosten Semantics for sub-intuitionistic logics
PP-2006-55:
Yann Chevaleyre, Ulle Endriss, Jérôme Lang, Nicolas Maudet A Short Introduction to Computational Social Choice
PP-2006-54:
Martin van Hees, Olivier Roy Intentions and Plans in Decision and Game Theory
PP-2006-53:
Merlijn Sevenster, Tero Tulenheimo Finite model theory for partially ordered connectives
PP-2006-52:
Nina Gierasimczuk The Problem of Learning the Semantics of Quantifiers
PP-2006-51:
Jesus Cerquides, Ulle Endriss, Andrea Giovannucci, Juan A. Rodriguez-Aguilar Bidding Languages and Winner Determination for Mixed Multi-unit Combinatorial Auctions
PP-2006-50:
Yann Chevaleyre, Ulle Endriss, Sylvia Estivie, Nicolas Maudet Reaching Envy-free States in Distributed Negotiation Settings
PP-2006-49:
Johan van Benthem Computation as Conversation
PP-2006-48:
Dick de Jongh The Incompleteness Theorems, their content and their meaning
PP-2006-47:
Tero Tulenheimo, Merlijn Sevenster Approaches to Independence Friendly Modal Logic
PP-2006-46:
Andreas Blass, Ioanna M. Dimitriou, Benedikt Löwe Inaccessible Cardinals without the Axiom of Choice
PP-2006-45:
Johan van Benthem, Fenrong Liu Dynamic logic of preference upgrade
PP-2006-44:
Johan van Benthem, Eric Pacuit The Tree of Knowledge in Action: Towards a Common Perspective
PP-2006-43:
Yann Chevaleyre, Ulle Endriss, Sylvia Estivie, Nicolas Maudet Multiagent Resource Allocation in k-additive Domains: Preference Representation and Complexity
PP-2006-42:
Ulle Endriss, Eric Pacuit Modal Logics of Negotiation and Preference
PP-2006-41:
Fenrong Liu Preference Change and Information Processing
PP-2006-40:
Marcin Mostowski, Jakub Szymanik Semantical bounds for everyday language
PP-2006-39:
Audrey Yap Product Update and Looking Backward
PP-2006-38:
Dick de Jongh, Fenrong Liu Optimality, Belief and Preference
PP-2006-37:
Fenrong Liu Diversity of Agents
PP-2006-36:
Jakub Szymanik A note on some neuroimaging study of natural language quantifiers comprehension
PP-2006-35:
Nina Gierasimczuk, Jakub Szymanik Hintikka's Thesis Revisited
PP-2006-34:
Olivier Roy Commitment-Based Decision Making for Bounded Agents
PP-2006-33:
Benedikt Löwe, Eric Pacuit An abstract approach to reasoning about games with mistaken and changing beliefs
PP-2006-32:
Merlijn Sevenster Henkin quantifiers: logic, games, and computation
PP-2006-31:
Merlijn Sevenster, Tero Tulenheimo Partially ordered connectives and Sigma-1-1 on finite models
PP-2006-30:
Johan van Benthem, Patrick Blackburn Modal Logic: A Semantic Perspective
PP-2006-29:
Eric Pacuit A Note on Some Explicit Modal Logics
PP-2006-28:
Eric Pacuit Some Comments on History Based Structures
PP-2006-27:
Benedikt Löwe Space bounds for infinitary computation
PP-2006-26:
Tomasz Sadzik Exploring the iterated update universe
PP-2006-25:
Nick Bezhanishvili, Dick de Jongh Intuitionistic Logic
PP-2006-24:
Brian Semmes A Game for the Borel Functions
PP-2006-23:
Brian Semmes Multitape Games
PP-2006-22:
Vincent Kieftenbeld Notions of Strong Compactness without the Axiom of Choice
PP-2006-21:
Johan van Benthem, Jelle Gerbrandy, Barteld Kooi Dynamic Update with Probabilities
PP-2006-20:
Rens Bod Towards a General Model of Applying Science
PP-2006-19:
Rens Bod Exemplar-Based Linguistics: How to Get Productivity from Examples
PP-2006-18:
Merlijn Sevenster The Complexity of Scotland Yard
PP-2006-17:
Yann Chevaleyre, Ulle Endriss, Jérôme Lang Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modelling
PP-2006-16:
Sylvia Estivie, Yann Chevaleyre, Ulle Endriss, Nicolas Maudet How Equitable is Rational Negotiation?
PP-2006-15:
Yann Chevaleyre, Ulle Endriss, Nicolas Maudet Tractable Negotiation in Tree-structured Domains
PP-2006-14:
Benedikt Löwe Revision Forever!
PP-2006-13:
Benedikt Löwe Set Theory of Infinite Imperfect Information Games
PP-2006-12:
Daisuke Ikegami Projective absoluteness under Sacks forcing
PP-2006-11:
Johan van Benthem Dynamic Logic of Belief Revision
PP-2006-10:
Benedikt Löwe, Brian Semmes The Extent of Constructive Game Labellings
PP-2006-09:
Steve Jackson, Farid Khafizov Descriptions and cardinals below $\delta^1_5$
PP-2006-08:
Guram Bezhanishvili, Johan van Benthem Modal Logics of Space
PP-2006-07:
Johan van Benthem Information as Correlation versus Information as Range
PP-2006-06:
Johan van Benthem A New Modal Lindstr\"om Theorem
PP-2006-05:
Steve Jackson, Benedikt Löwe Canonical Measure Assignments
PP-2006-04:
Evert van Emde Boas $\Pi o\hat{\imath}o\nu \; \tau \grave{o}\nu\; \mu\hat{\upsilon}\theta o\nu\; \raisebox{0.5ex}{\scriptsize'$\scriptstyle{'}$}\!\!\!{\epsilon}\epsilon \imath\pi\epsilon\varsigma;$ Rhetorical Questions in Ancient Greek
PP-2006-03:
Reinhard Blutner Optimality Theoretic Pragmatics and the Explicature/Implicature Distinction
PP-2006-02:
Tomoyuki Yamada Acts of Commanding and Changing Obligations
PP-2006-01:
Ulle Endriss Monotonic Concession Protocols for Multilateral Negotiation
PP-2005-30:
Willem Zuidema, Bart de Boer The Evolution of Combinatorial Phonology
PP-2005-29:
Johan van Benthem, Fenrong Liu Dynamic Logic of Preference Upgrade
PP-2005-28:
Johan van Benthem, Sieuwert van Otterloo, Olivier Roy Preference logic, conditionals and solution concepts in games
PP-2005-27:
Joop Niekus Brouwer's incomplete objects
PP-2005-26:
Joel David Hamkins, Benedikt Löwe The Modal Logic of Forcing
PP-2005-25:
Ulle Endriss Temporal Logics for Representing Agent Communication Protocols
PP-2005-24:
Benedikt Löwe Extensions of the Axiom of Blackwell Determinacy
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
PP-2005-22:
Johan van Benthem Where is Logic Going, and Should It?
PP-2005-21:
Johan van Benthem Logic in Philosophy
PP-2005-20:
Johan van Benthem Epistemic Logic and Epistemology, the state of their affairs
PP-2005-19:
Stefan Bold, Benedikt Löwe A simple inductive measure analysis for cardinals under the Axiom of Determinacy
PP-2005-18:
Benedikt Löwe, Thomas Müller Mathematical Knowledge is Context Dependent
PP-2005-17:
Theo M.V. Janssen, Francien Dechesne Signalling in IF games: a tricky business
PP-2005-16:
Lev D. Beklemishev, Joost J. Joosten, Marco Vervoort A finitary treatment of the closed fragment of Japaridze's provability logic
PP-2005-15:
Evan Goris, Joost J. Joosten The many faces of interpretability
PP-2005-14:
Dmitry Sustretov Hybrid Definability in Topological Spaces
PP-2005-13:
Olivier Roy What does Game Theory have to do with Plans?
PP-2005-12:
Patrick Girard From Onions to Broccoli: Generalizing Lewis's counterfactual logic
PP-2005-11:
Johan van Benthem An Essay on Sabotage and Obstruction
PP-2005-10:
Johan van Benthem Cognition as Interaction
PP-2005-09:
Johan van Benthem, Jan van Eijck, Barteld Kooi Logics of Communication and Change
PP-2005-08:
Johan van Benthem Modal Frame Correspondence Generalized
PP-2005-07:
Johan van Benthem Guards, Bounds, and Generalized Semantics
PP-2005-06:
Johan van Benthem Open Problems in Logical Dynamics
PP-2005-05:
Isadora Stojanovic A Different Story about Indexicals
PP-2005-04:
Massimo Franceschet XpathMark: an XPath benchmark for XMark
PP-2005-03:
Floris Roelofsen Minimality, Non-Determinism, and Absent Information in Multi-Context Systems
PP-2005-02:
Balder ten Cate, Massimo Franceschet On the complexity of hybrid logics with binders
PP-2005-01:
Reinhard Blutner Neural Networks, Penalty Logic and Optimality Theory
PP-2004-34:
Henkjan Honing Is Timing Tempo-Specific? An Online Internet Experiment on Perceptual Invariance of Timing in Music
PP-2004-33:
Benedikt Löwe Set Theory with and within urelements and categories of interpretation
PP-2004-32:
Balder ten Cate, Massimo Franceschet Guarded fragments with constants
PP-2004-31:
Wolfram Hinzen The mind we do not change
PP-2004-30:
Dick de Jongh Volledigheid en Onvolledigheid
PP-2004-29:
Wolfram Hinzen Explaining rigidity
PP-2004-28:
Detlef Prescher, Remko Scha, Khalil Sima'an, Andreas Zollmann Treebank Grammars and Other Infinite Parameter Models
PP-2004-27:
Balder ten Cate The first order formulas preserved under ultrafilter extensions are not recursively enumerable
PP-2004-26:
Benedikt Löwe A parametrised choice principle and Martin's conjecture on Blackwell determinacy
PP-2004-25:
Andrés Perea Minimal belief revision leads to backward induction
PP-2004-24:
Wolfram Hinzen Spencerism and the Causal Theory of Reference
PP-2004-23:
Frank Veltman Making Counterfactual Assumptions
PP-2004-22:
Stefan Bold, Benedikt Löwe A simple inductive argument to compute more Kleinberg sequences under the Axiom of Determinacy
PP-2004-21:
Yde Venema Automata and Fixed Point Logic: a Coalgebraic Perspective
PP-2004-20:
Johan van Benthem, Darko Sarenac The Geometry of Knowledge
PP-2004-19:
Tine Wilde Installatiekunst biedt vragen in plaats van antwoorden
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
PP-2004-17:
Henkjan Honing Is there a perception-based alternative to kinematic models of tempo rubato?
PP-2004-16:
Reinhard Blutner Nonmonotonic Inferences and Neural Networks
PP-2004-15:
Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac Modal Logics for Products of Topologies
PP-2004-14:
Henkjan Honing Computational modeling of music cognition: A case study on model selection
PP-2004-13:
Johan van Benthem, Fenrong Liu Diversity of Logical Agents in Games
PP-2004-12:
Renate Bartsch Concept Formation, Remembering, and Understanding: Dynamic Conceptual Semantics and Proust's "A la Recherche du Temps Perdu"
PP-2004-11:
Benedikt Löwe A non-monotone Fraenkel-L\'evy labelling for the asymmetric combinatorial game on cyclic graphs
PP-2004-10:
Benedikt Löwe The Length of the Full Hierarchy of Norms
PP-2004-09:
Henkjan Honing Wiskunde en muziekcognitie
PP-2004-08:
Henkjan Honing When a good fit is not good enough: A case study on the Final Ritard
PP-2004-07:
Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip Welch Comparing inductive and circular definitions: parameters, complexity and games
PP-2004-06:
Nick Bezhanishvili, Balder ten Cate Transfer results for hybrid logic -- Part I: the case without satisfaction operators
PP-2004-05:
Mai Gehrke, John Harding, Yde Venema MacNeille completions and canonical extensions
PP-2004-04:
Benedikt Löwe, Darko Sarenac Cardinal spaces and topological representations of bimodal logics
PP-2004-03:
Benedikt Löwe Complexity hierarchies derived from reduction functions
PP-2004-02:
Johan van Benthem A Mini-Guide to Logic In Action
PP-2004-01:
Johan van Benthem Minimal Predicates, Fixed Points, and Definability
PP-2003-27:
Rens Bod Explaining New Phenomena in Terms of Previous Phenomena
PP-2003-26:
R. Goldblatt, I. Hodkinson, Y. Venema Erd\"os graphs resolve Fine's canonicity problem
PP-2003-25:
Nick Bezhanishvili, Ian Hodkinson All normal extensions of S5-squared are finitely axiomatizable
PP-2003-24:
Helle Hvid Hansen Monotonic Modal Logics
PP-2003-23:
Stefan Schlobach Optimal Interpolation in ALC
PP-2003-22:
Johan van Benthem What One May Come to Know
PP-2003-21:
Johan van Benthem Logic and the Dynamics of Information
PP-2003-20:
Johan van Benthem The Categorial Fine-Structure of Natural Language
PP-2003-19:
Benedikt Löwe Determinacy for infinite games with more than two players with preferences
PP-2003-18:
Benedikt Löwe The Simulation Technique and its Consequences for Infinitary Combinatorics under the Axiom of Blackwell Determinacy
PP-2003-17:
Evan Goris Extending ILM with an operator for $\Sigma_1$-ness
PP-2003-16:
Paul Dekker The Pragmatic Dimension of Indefinites
PP-2003-15:
Clemens Kupke, Alexander Kurz, Yde Venema Stone Coalgebras
PP-2003-14:
Benedikt Löwe A Hierarchy of norms defined via Blackwell games
PP-2003-13:
Ian Hodkinson, Yde Venema Canonical varieties with no canonical axiomatisation
PP-2003-12:
Benedikt Löwe The Pointwise View of Determinacy: Arboreal Forcings, Measurability and Weak Measurability
PP-2003-11:
Jörg Brendle, Lorenz Halbeisen, Benedikt Löwe Silver Measurability and its Relation to other Regularity Properties
PP-2003-10:
Patrick Blackburn, Maarten Marx Tableaux for Quantified Hybrid Logic
PP-2003-09:
Johan van Benthem Conditional Probability and Update Logic
PP-2003-08:
Johan van Benthem Categorial Grammar at a Cross-Roads
PP-2003-07:
Johan van Benthem 'One is a Lonely Number': on the Logic of Communication
PP-2003-06:
Johan van Benthem Rational Dynamics and Epistemic Logic in Games
PP-2003-05:
Johan van Benthem What Logic Games are Trying to Tell Us
PP-2003-04:
Johan van Benthem The Epistemic Logic of IF Games
PP-2003-03:
Johan van Benthem Is There Still Logic in Bolzano's Key?
PP-2003-02:
Johan van Benthem Structural Properties of Dynamic Reasoning
PP-2003-01:
Johan van Benthem A Note on Modeling Theories
PP-2002-20:
Giovanna Corsi Counterpart Semantics. A Foundational study on Quantified Modal Logics
PP-2002-19:
Rens Bod, Ronald Kaplan A Data-Oriented Parsing Model for Lexical-Functional Grammar
PP-2002-18:
Nick Bezhanishvili Varieties of Two-Dimensional Cylindric Algebras. Part II
PP-2002-17:
Giovanna D'Agostino, Giacomo Lenzi On Modal mu-Calculus with Explicit Interpolants
PP-2002-16:
Carlos Areces, Hans de Nivelle, Maarten de Rijke Resolution in Modal, Description and Hybrid Logic
PP-2002-15:
Carlos Areces, Juan Heguiabehere HyLoRes: A Hybrid Logic Prover Based on Direct Resolution
PP-2002-14:
Carlos Areces, Maarten de Rijke, Gabriel Infante-Lopez Decomposing Modal Logic
PP-2002-13:
Noor van Leusen, Reinhard Muskens Construction by Description in Discourse Representation
PP-2002-12:
Patrick Blackburn, Maarten Marx Constructive Interpolation in Hybrid Logic
PP-2002-11:
Yde Venema Atomless Varieties
PP-2002-10:
Yde Venema Duals of subdirectly irreducible modal algebras
PP-2002-09:
Mai Gehrke, Hideo Nagahashi, Yde Venema A Sahlqvist Theorem for Distributive Modal Logic
PP-2002-08:
Ravi Rajani Generic Structures
PP-2002-07:
Johan van Benthem, Guram Bezhanishvili, Mai Gehrke Euclidean Hierarchy in Modal Logic
PP-2002-06:
Guram Bezhanishvili, Mai Gehrke A New Proof of Completeness of S4 with respect to the Real Line
PP-2002-05:
Joop Niekus Individual Choice Sequences in the Work of L.E.J.Brouwer
PP-2002-04:
Troy Lee Arithmetical Definability over Finite Structures
PP-2002-03:
Helle Hvid Hansen, Marc Pauly Axiomatising Nash-Consistent Coalition Logic
PP-2002-02:
Maarten Marx, Michael Masuch Regular Equivalence and Dynamic Logic
PP-2002-01:
Theo Janssen Independent Choices and the Interpretation of IF Logic
PP-2001-23:
Marco Aiello, Johan van Benthem A Modal Walk Through Space
PP-2001-22:
Giovanna Corsi A Unifying Completeness Theorem in Quantified Modal logic
PP-2001-21:
Giovanna D'Agostino, Giacomo Lenzi Comparing Levels of Bisimulation Quantifiers Logic with the mu-calculus
PP-2001-19:
C. Areces, P. Blackburn, M. Marx Repairing the Interpolation Theorem in Quantified Modal Logic
PP-2001-18:
M. Aiello, J. van Benthem, G. Bezhanishvili Reasoning About Space: The Modal Way
PP-2001-17:
P. Blackburn, J. Kamps, M. Marx Situation Calculus as Hybrid Logic: First Steps
PP-2001-16:
J. Kamps, M. Marx Words with Attitude
PP-2001-15:
Paul Dekker, Robert van Rooy Bi-Directional Optimality Theory: An Application of Game Theory
PP-2001-14:
Paul Dekker On If and Only
PP-2001-13:
Paul Dekker ``She'' 's Character
PP-2001-12:
Paul Dekker Dynamics and Pragmatics of ``Peirce's Puzzle''
PP-2001-11:
Paul Dekker Meaning and Use of Indefinite Expressions
PP-2001-10:
Maarten Marx, Szabolcs Mikulas An Elementary Construction for a Non-elementary Procedure
PP-2001-09:
Lex Hendriks, Dick de Jongh Characterization of Strongly Equivalent Logic Programs in Intermediate Logics
PP-2001-08:
C Areces, R. Bernardi Analyzing the Core of Categorial Grammar
PP-2001-07:
Renate Bartsch Generating Polysemy: Metaphor and Metonymy
PP-2001-06:
Michael Morreau What Vague Objects are like
PP-2001-05:
Michael Morreau The Good, the Bad and the Far-fetched
PP-2001-04:
Maarten Marx Relation Algebra with Binders
PP-2001-03:
Renate Bartsch Consciousness at the Cutting Edge between World and Brain: The Interaction between Perception, Imagination, Thought, and Language
PP-2001-02:
G. Goguadze, C. Piazza, Y. Venema Simulating polyadic modal logics by monadic ones
PP-2001-01:
Maarten Marx Complexity of Intuitionistic Predicate Logic with One Variable
PP-2000-15:
Alessandro Agostini; Dick de Jongh; Franco Montagna Coordination of 01-agents vs. coordination of worlds-based agents
PP-2000-14:
Maarten Marx, Nick Bezhanishvili All proper normal extensions of S5--square have the polynomial size model property
PP-2000-13:
Maarten Marx, Szabolcs Mikulás Products, or How to Create Modal Logics of High Complexity
PP-2000-12:
Valentin Gorankov The Basic Algebra of Game Equivalences
PP-2000-11:
Eva Hoogland, Maarten Marx Interpolation in Guarded Fragments
PP-2000-10:
Nick Bezhanishvili Varieties of Two-Dimensional Diagonal-Free Cylindric Algebras. Part I.
PP-2000-09:
Maarten Marx, Yde Venema Local Variations on a Loose Theme: Modal Logic and Decidability
PP-2000-08:
Annette Bleeker, Jan van Eijck The Epistemics of Encryption
PP-2000-07:
Carlos Areces, Patrick Blackburn, Maarten Marx The Computational Complexity of Hybrid Temporal Logics
PP-2000-06:
Rosalie Iemhoff A(nother) characterization of Intuitionistic Propositional Logic
PP-2000-05:
Kees Doets Short Proof(s) for Classical Theorems
PP-2000-04:
Keith Stenning, Michiel van Lambalgen Semantics as a foundation for psychology: a case study of Wason's selection task
PP-2000-03:
Giovanna D'Agostino Characterizing Interpolation Pairs in Infinitary Graded Logics
PP-2000-02:
Johan van Benthem Information Transfer across Chu Spaces
PP-2000-01:
Ian Hodkinson, Szabolcs Mikulás, Yde Venema Axiomatizing Complex Algebras by Games
PP-1999-27:
Michiel van Lambalgen Conditional Quantification, or Poor Man's Probability
PP-1999-26:
Remko Bonnema, Paul Buying, Remko Scha A New Probability Model for Data Oriented Parsing (Extended Version)
PP-1999-25:
Marc Pauly, Alexandru Baltag (editors) Proceedings of the ILLC Workshop on Logic and Games. Held in Amsterdam, November 19-20, 1999
PP-1999-24:
Marco Aiello, Johan van Benthem Logical Patterns in Space
PP-1999-23:
Berislav Zarnic Validity of Practical Inference
PP-1999-22:
Johan van Benthem When are Two Games the Same?
PP-1999-21:
Nikos Massios, Frans Voorbraak Hierarchical Decision-Theoretic Robotic Surveillance
PP-1999-20:
Eva Hoogland, Maarten Marx, Martin Otto Beth Definability for the Guarded Fragment
PP-1999-19:
Jeroen Groenendijk The Logic of Interrogation (classical version)
PP-1999-18:
Renata Wassermann, Eduardo Fermé A Note on Prototype Revision
PP-1999-17:
Renata Wassermann, Sven Ove Hansson Local Change
PP-1999-16:
Carlos Areces, Hans de Nivelle, Maarten de Rijke Prefixed Resolution: A Resolution Method for Modal and Description Logics
PP-1999-15:
Maarten Marx, Stefan Schlobach, Szabolcs Mikulás Labelled Deduction for the Guarded Fragment
PP-1999-14:
Christof Monz, Maarten de Rijke A Tableau Calculus for Pronoun Resolution
PP-1999-13:
Pieter W. Adriaans Learning Shallow Context-Free Languages under Simple Distributions
PP-1999-12:
Paul Dekker Coreference and Representationalism
PP-1999-11:
Paul Dekker The Semantics of Dynamic Conjunction
PP-1999-10:
Eva Hoogland Algebraic Characterizations of Various Beth Definability Properties
PP-1999-09:
Jaap Kamps, László Pólos Reducing Uncertainty: A Formal Theory of Organizations in Action
PP-1999-08:
Rosalie Iemhoff On the Admissible Rules of Intuitionistic Propositional Logic
PP-1999-07:
Carlos Areces, Patrick Blackburn, Maarten Marx Hybrid Logics. Characterization, Interpolation and Complexity
PP-1999-06:
Maarten Marx Amalgamation in Finite Dimensional Cylindric Algebras
PP-1999-05:
Hans Rott Coherence and Conservation in the Dynamics of Belief, Part I: Finding the Right Framework
PP-1999-04:
Kazushige Terui Labelled Tableau Calculi Generating Simple Models for Substructural Logics
PP-1999-03:
Maarten Marx, Carlos Areces Failure of Interpolation in Combined Modal Logics
PP-1999-02:
Maarten Marx Relativized Relation Algebras
PP-1999-01:
Maarten Marx Relation Algebras Can Tile