ILLC Publications, All Series

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


Coding for publications: Series-Year-Number, with DS = Dissertation Series; MoL = Master of Logic Thesis; PP = Prepublication Series (since 1999); X = Technical Notes; CL = Computational Linguistics (up to 1993); CT = Computation and Complexity Theory (up to 1998); LP = Logic, Philosophy and Linguistics (up to 1998); ML = Mathematical Logic and Foundations (up to 1998); ITLI = Instituut voor Taal, Logika en Informatie (up to 1987);

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.
X-2017-01:
Vidhi Trehan, Aude Laloi, Richard van Hoolwerff, Gideon Borensztajn, Gal Moas The Suppression Task Revisited.
1.Full Text, 2.Abstract.
X-2016-06:
Evan Marzion Constructive Notions of Cofiniteness.
1.Full Text, 2.Abstract.
X-2016-05:
Johan van Benthem, Wang Yafeng Notes on Mathematical Modal Logic.
1.Full Text, 2.Abstract.
X-2016-04:
Tim van der Molen The Johansson/Heyting letters and the birth of minimal logic.
1.Full Text, 2.Abstract.
X-2016-03:
Chenwei Shi, Sonja Smets Beliefs Supported by Arguments.
1.Full Text, 2.Abstract.
X-2016-02:
Alexandru Baltag, Giovanni Ciná Bisimulation for conditional modalities.
1.Full Text, 2.Abstract.
X-2016-01:
Giovanni Ciná, Sebastian Enqvist Bisimulation and path logic for sheaves: contextuality and beyond.
1.Full Text, 2.Abstract.
X-2015-01:
Frederik Möllerström Lauridsen Bitopological Vietoris spaces and positive modal logic.
1.Full Text, 2.Abstract.
X-2014-02:
Shengyang Zhong Definability in Quantum Kripke Frames.
1.Full Text, 2.Abstract.
X-2014-01:
Shengyang Zhong Geometry in Quantum Kripke Frames.
1.Full Text, 2.Abstract.
X-2013-02:
Tanmay Inamdar Successor Large Cardinals in Symmetric Extensions.
1.Full Text, 2.Abstract.
X-2013-01:
Apostolos Tzimoulis, Zhiguang Zhao The Universal Model for the Negation-free Fragment of IPC.
1.Full Text, 2.Abstract.
X-2011-06:
Paula Henk A new perspective on the arithmetical completeness of GL.
1.Full Text, 2.Abstract.
X-2011-05:
Johan van Benthem Epistemic Logic: Five Questions Interview.
1.Full Text, 2.Abstract.
X-2011-04:
Rens Bod, Benedikt Löwe, Sanchit Saraf How much do formal narrative annotations differ? A Proppian case study.
1.Full Text, 2.Abstract.
X-2011-03:
Tarek Besold Computational Models of Analogy-Making. An Overview Analysis of Computational Approaches to Analogical Reasoning.
1.Full Text, 2.Abstract.
X-2011-02:
Edith Elkind, Ulle Endriss, Jérôme Lang IJCAI-2011 Workshop on Social Choice and Artificial Intelligence.
1.Full Text, 2.Abstract.
X-2011-01:
María Inés Crespo, Dimitris Gakis, Galit Weidman-Sassoon (editors) Proceedings of the Amsterdam Graduate Philosophy Conference - Truth, Meaning, and Normativity.
1.Full Text, 2.Abstract.
X-2010-01:
Theodora Achourioti, Edgar Andrade, Marc Staudacher Proceedings of the Amsterdam Graduate Philosophy Conference 2009 - Meaning and Truth.
1.Full Text, 2.Abstract.
X-2009-04:
Sara L. Uckelman, Peter van Ormondt, Marie-Hélène Gorisse, Laurent Keiff, Nicolas Clerbout A Day of Indian Logic.
1.Full Text, 2.Abstract.
X-2009-03:
Benedikt Löwe LSIR-2: Logic and the Simulation of Interaction and Reasoning.
1.Full Text, 2.Abstract.
X-2009-02:
Theodora Achourioti, Edgar Andrade, Marc Staudacher Proceedings of the Graduate Philosophy Conference on Normativity, Amsterdam 2008.
1.Full Text, 2.Abstract.
X-2009-01:
Johan van Benthem Argumentation through the Lense of Artificial Intelligence.
1.Full Text, 2.Abstract.
X-2008-12:
Ulle Endriss, Paul W. Goldberg Computational Social Choice 2008.
1.Full Text, 2.Abstract.
X-2008-11:
Johan van Benthem Logic and Philosophy in the Century That Was.
1.Full Text, 2.Abstract.
X-2008-10:
Pieter Adriaans, Johan van Benthem Introduction: Information is what information does.
1.Full Text, 2.Abstract.
X-2008-09:
Johan van Benthem Constanten, of Variabelen, van het Logische Denken.
1.Full Text, 2.Abstract.
X-2008-08:
Irma Cornelisse, Patrick Mast, Ricus Smid, Djura Smits Obligationes: Making an interactive website around a medieval game..
1.Full Text, 2.Abstract.
X-2008-07:
Benedikt Löwe Logic and the Simulation of Interaction and Reasoning: Introductory Remarks.
1.Full Text, 2.Abstract.
X-2008-06:
Rens Bod De Unificatie van Menselijke Cognitie.
1.Full Text, 2.Abstract.
X-2008-05:
Rens Bod Constructions at Work or at Rest?.
1.Full Text, 2.Abstract.
X-2008-04:
Jacob Lorhard, transl. by Sara Uckelman Diagraph of Metaphysic or Ontology.
1.Full Text, 2.Abstract.
X-2008-03:
ILLC Latin Reading Group (transl.) Parisian Obligations.
1.Full Text, 2.Abstract.
X-2008-02:
Johan van Benthem Philosophy of Mathematics: Five Candid Answers.
1.Full Text, 2.Abstract.
X-2008-01:
Johan van Benthem Een Postzegel vol Logica.
1.Full Text, 2.Abstract.
X-2007-03:
Fan Yang On HS=SH and Duality Theorems of Intuitionistic Descriptive Frames.
1.Full Text, 2.Abstract.
X-2007-02:
Johan van Benthem An Interview on Logic and Games.
1.Full Text, 2.Abstract.
X-2007-01:
Johan van Benthem Intelligent Interaction: Dynamic Trends in Todays Logic.
1.Full Text, 2.Abstract.
X-2006-04:
Ulle Endriss, Jérôme Lang Computational Social Choice 2006.
1.Full Text, 2.Abstract.
X-2006-03:
Nick Bezhanishvili, Lena Kurzen, Rachel Sterken Student Papers from an Intuitionistic Logic Project.
1.Full Text, 2.Abstract.
X-2006-02:
Joost J. Joosten Credit cards, computationele complexiteit en consistentie uitspraken.
1.Full Text, 2.Abstract.
X-2006-01:
Stefan Bold, Benedikt Löwe The general inductive argument for measure analyses with additive ordinal algebras.
1.Full Text, 2.Abstract.
X-2005-05:
David de Kloet Real Blackwell Determinacy.
1.Full Text, 2.Abstract.
X-2005-04:
Seamus W.H. Holland Solutions to Sorites.
1.Full Text, 2.Abstract.
X-2005-03:
Johan van Benthem A Farewell to Loneliness: dynamic trends in logic to-day.
1.Full Text, 2.Abstract.
X-2005-02:
Benedikt Löwe, Brian Semmes The extent of constructive game labellings.
1.Full Text, 2.Abstract.
X-2005-01:
S. Barry Cooper, Benedikt Löwe, Leen Torenvliet CiE 2005: New Computational Paradigms.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
X-2004-06:
René de Jonge IL-modellen en bisimulaties.
1.Full Text, 2.Abstract.
X-2004-05:
Faustine van der Grijn (Im)possibility of a coordinated attack.
1.Full Text, 2.Abstract.
X-2004-04:
Benedikt Löwe, Robert van Rooij, Bernhard Schröder, Henk Zeevat ILLC-Day 2 in Bonn ``Language''.
1.Full Text, 2.Abstract, 3.Compact.
X-2004-03:
Benedikt Löwe, Thomas Müller Degrees of Belief and Knowledge in Mathematics.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
X-2004-02:
Henkjan Honing, Peter Desain Final Report NWO-PIONIER Project "Music, Mind, Machine".
1.Full Text, 2.Abstract.
X-2004-01:
Benedikt Löwe A note on pure variations of axioms of Blackwell determinacy.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
X-2003-01:
Paul van Ulsen Index of the Troelstra Archive.
1.Full Text (PS), 2.Full Text (PDF), 3.Full Text (DOC), 4.Abstract.
X-2001-01:
A.H. Budiyanto Introduction to Turing Nonrigidity.
1.Full Text, 2.Abstract.
X-2000-04:
Anne Troelstra Ware en Gevoelige Verhalen.
1.Full Text (PS), 2.Full Text (PDF).
X-2000-03:
Johan van Benthem Logic and Games: the third encounter.
1.Abstract.
X-2000-02:
H.P. van Ditmarsch Axioms for Card Games.
1.Full Text, 2.Abstract.
X-2000-01:
H.P. van Ditmarsch Dynamic Knowledge Logic.
1.Full Text, 2.Abstract.
X-1999-02:
J.A.G. Groenendijk Questions.
1.Full Text, 2.Abstract.
X-1999-01:
Boudewijn P. de Bruin Game Transformations and Game Equivalence.
1.Full Text, 2.Abstract.
X-1998-03:
Peter van Emde Boas Formalizing UML; Mission Impossible?.
1.Full Text, 2.Abstract.
X-1998-02:
Paul Harrenstein From a Modal Point of View: a Logical Investigation into Modalities De Dicto and De Re.
1.Full Text, 2.Abstract.
X-1998-01:
Ghica van Emde Boas-Lubsen Feature Analysis of Business System 12.
1.Full Text, 2.Abstract.
X-1997-02:
Dimiter Ivanov Vakarelov Applied Modal Logic: Modal Logics in Information Science.
1.Full Text.
X-1997-01:
Paul Dekker, David Beaver Report on ECDS: An Interactive Course on the Internet.
1.Full Text, 2.Abstract.
X-1996-02:
Arthur Bakker, Renatus Ziegler Finsler-Mengenlehre.
1.Full Text.
X-1996-01:
Ingmar Visser Mind Rules: a Philosophical Essay on Psychological Rules and the Rules of Psychology.
1.Full Text, 2.Abstract.
X-1995-01:
Sophie Fischer, Leen Torenvliet The Malleability of $TSP_{2Opt}$.
1.Full Text, 2.Abstract.
X-1994-07:
Michiel Leezenberg The Shabak and the Kakais: Dynamics of Ethnicity in Iraqi Kurdistan.
1.Full Text.
X-1994-06:
Natasha Alechina, Philippe Smets A Note on Modal Logics for Partial Belief.
1.Full Text.
X-1994-05:
Johan van Benthem Logic and Argumentation.
1.Full Text.
X-1994-04:
Harry P. Stein Primitieve Normen: Linguïstische Normativiteit in het Licht van Kripke's Sceptische Paradox.
1.Full Text.
X-1994-03:
Natasha Alechina, Michiel van Lambalgen Correspondence and Completeness for Generalized Quantifiers.
1.Full Text.
X-1994-02:
Vladimir Kanovei, Michiel van Lambalgen Another Construction of Choiceless Ultrapower.
1.Full Text.
X-1994-01:
Johan van Benthem Two Essays on Semantic Modelling.
1.Full Text.
X-1993-06:
Michael Zakharyashev Canonical Formulas for K4. Part II: Cofinal Subframe Logics.
1.Full Text.
X-1993-05:
A.S. Troelstra (editor) Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, Second, corrected Edition.
1.Full Text.
X-1993-04:
A.S. Troelstra (editor) Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, Corrections to the First Edition.
1.Full Text.
X-1993-03:
Michiel Leezenberg Gorani Influence on Central Kurdish: Substratum or Prestige Borrowing.
1.Full Text.
X-1993-02:
Maarten de Rijke What is Modal Logic?.
1.Full Text.
X-1993-01:
Paul Dekker Existential Disclosure (revised version of LP-1990-17).
1.Full Text, 2.Abstract.
X-1992-05:
Erik de Haas, Peter van Emde Boas Object Oriented Application Flow Graphs and their Semantics (revised version of CT-1992-01).
1.Full Text.
X-1992-04:
Johan van Benthem Modeling the Kinematics of Meaning.
1.Full Text.
X-1992-03:
Willem Groeneveld Dynamic Semantics and Circular Propositions (revised version of LP-1991-03).
1.Full Text.
X-1992-02:
Konstantin N. Ignatiev The Closed Fragment of Dzhaparidze's Polymodal Logic and the Logic of S1 conservativity.
1.Full Text.
X-1992-01:
Heinrich Wansing The Logic of Information Structures.
1.Full Text.
X-1991-19:
Papers presented at the Provability Interpretability Arithmetic Conference, 24-31 Aug. 1991, Dept. of Phil., Utrecht University.
X-1991-18:
Giovanna Cepparello New Semantics for Predicate Modal Logic: an Analysis from a standard point of view.
X-1991-17:
Michiel van Lambalgen Independence, Randomness and the Axiom of Choice (Revised Version of X-1991-10).
X-1991-16:
V.G. Kanovei Undecidable Hypotheses in Edward Nelson's Internal Set Theory.
X-1991-15:
V. Yu. Shavrukov Subalgebras of Diagonalizable Algebras of Theories containing Arithmetic (revised version of X-1991-03).
1.Full Text.
X-1991-14:
Max I. Kanovich The Horn Fragment of Linear Logic is NP-Complete.
X-1991-13:
Max I. Kanovich The Multiplicative Fragment of Linear Logic is NP-Complete.
X-1991-12:
Herman Hendriks Flexibele Categoriale Syntaxis en Semantiek: de proefschriften van Frans Zwarts en Michael Moortgat.
X-1991-11:
Michael Zakharyaschev Canonical Formulas for K4. Part I: Basic Results.
X-1991-10:
Michiel van Lambalgen Independence, Randomness and the Axiom of Choice (superseded by X-1991-17).
X-1991-09:
L.D. Beklemishev On Bimodal Provability Logics for P1-axiomatized Extensions of Arithmetical Theories.
X-1991-08:
Giorgie Dzhaparidze Logic of Tolerance.
X-1991-07:
A.S. Troelstra Lectures on Linear Logic, Errata and Supplement.
X-1991-06:
Annual Report 1990 .
1.Full Text.
X-1991-05:
Johan van Benthem Temporal Logic.
1.Full Text.
X-1991-04:
K.N. Ignatiev Partial Conservativity and Modal Logics.
1.Full Text.
X-1991-03:
V. Yu. Shavrukov Subalgebras of Diagonalizable Algebras of Theories containing Arithmetic (superseded by X-1991-15).
1.Full Text.
X-1991-02:
Alexander Chagrov, Michael Zakharyaschev On the Undecidability of the Disjunction Property of Intermediate Propositional Logics.
1.Full Text.
X-1991-01:
Alexander Chagrov, Michael Zakharyaschev The Disjunction Property of Intermediate Propositional Logics.
1.Full Text.
X-1990-15:
A.S. Troelstra Lectures on Linear Logic.
X-1990-14:
L.A. Chagrova Undecidable Problems in Correspondence Theory.
1.Full Text.
X-1990-13:
K.N. Ignatiev Property, Craig's Property.
1.Full Text.
X-1990-12:
Maarten de Rijke Bi-Unary Interpretability Logic.
1.Full Text.
X-1990-11:
Alessandra Carbone Provable Fixed points in ID0+W1 (revised version).
1.Full Text.
X-1990-10:
Sieger van Denneheuvel, Peter van Emde Boas An Overview of the Rule Language RL/1.
1.Full Text.
X-1990-09:
V.Yu. Shavrukov On Rosser's Provability Predicate.
1.Full Text.
X-1990-08:
L.D. Beklemishev Provability Logics for Natural Turing Progressions of Arithmetical Theories.
1.Full Text.
X-1990-07:
V.Yu. Shavrukov The Lindenbaum Fixed Point Algebra is Undecidable.
1.Full Text.
X-1990-06:
Valentin Goranko, Solomon Passy Using the Universal Modality: Gains and Questions.
1.Full Text.
X-1990-05:
Valentin Shehtman Derived Sets in Euclidean Spaces and Modal Logic.
1.Full Text.
X-1990-04:
n.v.t. Annual Report 1989.
1.Full Text.
X-1990-03:
L.D. Beklemishev On the Complexity of Arithmetical Interpretations of Modal Formulae.
1.Full Text.
X-1990-02:
Maarten de Rijke Some Chapters on Interpretability Logic.
1.Full Text.
X-1990-01:
A.S. Troelstra Remarks on Intuitionism and the Philosophy of Mathematics, Revised Version.
1.Full Text.
X-1989-06:
Peter van Emde Boas Een Relationele Semantiek voor Conceptueel Modelleren: Het RL-project.
1.Full Text.
X-1989-05:
Maarten de Rijke The Modal Theory of Inequality.
1.Full Text.
X-1989-04:
Jeroen Groenendijk, Martin Stokhof Dynamic Montague Grammar, a first sketch.
1.Full Text.
X-1989-03:
A.S. Troelstra Index of the Heyting Nachlass.
1.Full Text.
X-1989-02:
G. Wagemakers New Foundations: A Survey of Quine's Set Theory.
1.Full Text.
X-1989-01:
Marianne Kalsbeek An Orey Sentence for Predicative Arithmetic.
1.Full Text.
X-1988-01:
Mark Jumulet On Solovay's Completeness Theorem.
1.Full Text.
MoL-2017-30:
Marco Bacchin The perception of number: towards a topological approach.
1.Full Text, 2.Abstract.
MoL-2017-29:
Esteban Landerreche Leaning on Impossible-to-Parallelise Work for Immutability Guarantees in the Blockchain.
1.Full Text, 2.Abstract.
MoL-2017-28:
Michael Repplinger Understanding Generalization: Learning Quantifiers and Negation with Neural Tensor Networks.
1.Full Text, 2.Abstract.
MoL-2017-27:
Mees de Vries An Extensional Modified Realizability Topos.
1.Full Text, 2.Abstract.
MoL-2017-26:
Rana Klein The Logical Dynamics of Gossip: an analysis in Dynamic Epistemic Logic.
1.Full Text, 2.Abstract.
MoL-2017-25:
Jonathan Frederik Sippel The Good, the Bad, and the Difficult: Complexity in a Monotonicity-Grounded Natural Logic for Reasoning with Generalized Quantifiers.
1.Full Text, 2.Abstract.
MoL-2017-24:
Zeno de Hoop Context-Free Processes and Push-Down Processes.
1.Full Text, 2.Abstract.
MoL-2017-23:
Guido van der Knaap The Philosophical Motivation for Proof-Theoretic Harmony.
1.Full Text, 2.Abstract.
MoL-2017-22:
Shuai Wang Turing Learning with Nash Memory.
1.Full Text, 2.Abstract.
MoL-2017-21:
Alison Pasquariello Mohawk Temporality: Embodiment, Ritual, and Cognition.
1.Full Text, 2.Abstract.
MoL-2017-20:
Ottilia Kasbergen Abstractions and Idealisations in Epistemic Logic.
1.Full Text, 2.Abstract.
MoL-2017-19:
Bas Cornelissen Bayesian Language Games: Unifying and evaluating agent-based models of horizontal and vertical language evolution.
1.Full Text, 2.Abstract.
MoL-2017-18:
Bonan Zhao Dynamic Epistemic Logic Models for Predicting the Cognitive Difficulty of the Deductive Mastermind Game.
1.Full Text, 2.Abstract.
MoL-2017-17:
Jakob Piribauer The Modal Logic of Generic Multiverses.
1.Full Text, 2.Abstract.
MoL-2017-16:
Laura Aina Not logical: A distributional semantic account of negated adjectives.
1.Full Text, 2.Abstract.
MoL-2017-15:
Jana Wagemaker Gossip in NetKAT.
1.Full Text, 2.Abstract.
MoL-2017-14:
Laura Biziou-Van Pol Quantum Dialogues.
1.Full Text, 2.Abstract.
MoL-2017-13:
Stella Moon Isaacson's thesis and Wilkie's theorem.
1.Full Text, 2.Abstract.
MoL-2017-12:
Anthia Solaki Steps out of Logical Omniscience.
1.Full Text, 2.Abstract.
MoL-2017-11:
Lisa Benossi Pretending to work: a closed world reasoning formalisation of pretend play.
1.Full Text, 2.Abstract.
MoL-2017-10:
Andrzej Buleczka Medieval vs Contemporary Metaphysics of Intentionality and Logic.
1.Full Text, 2.Abstract.
MoL-2017-09:
Natalia Talmina Quantifiers and verification strategies: connecting the dots (literally).
1.Full Text, 2.Abstract.
MoL-2017-08:
Aafke de Vos The Logic of Divinatory Reasoning.
1.Full Text, 2.Abstract.
MoL-2017-07:
Levin Hornischer Hyperintensionality and Synonymy.
1.Full Text, 2.Abstract.
MoL-2017-06:
Merlijn Koek Extensions Of The Garden-hose Model.
1.Full Text, 2.Abstract.
MoL-2017-05:
Zoi Terzopoulou Manipulating the Manipulators: Richer Models of Strategic Behavior in Judgment Aggregation.
1.Full Text, 2.Abstract.
MoL-2017-04:
Simone Griffioen Covertly Controlling Choices: Manipulating Decision Making Under Partial Knowledge.
1.Full Text, 2.Abstract.
MoL-2017-03:
Tim Coopmans Robust self-testing of (almost) all pure two-qubit states.
1.Full Text, 2.Abstract.
MoL-2017-02:
Pablo Sierra Márquez A formalization of Spinoza's Ethics, Part 1: Consequences for interpretation.
1.Full Text, 2.Abstract.
MoL-2017-01:
Nina Dongen Analysis and Prediction of Dutch-English Code-switching in Dutch Social Media Messages.
1.Full Text, 2.Abstract.
MoL-2016-28:
Nigel J. Sequeira Knowing How To Do Semantics.
1.Full Text, 2.Abstract.
MoL-2016-27:
Leanne M. Streekstra On the stability of flexible permission structures.
1.Full Text, 2.Abstract.
MoL-2016-26:
Kristina Gogoladze Evidence-Based Belief Revision for Non-Omniscient Agents.
1.Full Text, 2.Abstract.
MoL-2016-25:
Andrés Occhipinti Liberman Dynamic Evidence Logics with Relational Evidence.
1.Full Text, 2.Abstract.
MoL-2016-24:
Iliana Gioulatou Hyperintensionality.
1.Full Text, 2.Abstract.
MoL-2016-23:
Guillaume Massas Possibility Spaces, Q-Completions and Rasiowa-Sikorski Lemmas for Non-Classical Logics.
1.Full Text, 2.Abstract.
MoL-2016-22:
Tom Hendriks Beyond the Regular: A Formalization of Non-Isochronous Metrical Structure.
1.Full Text, 2.Abstract.
MoL-2016-21:
Olim F. Tuyt Canonical Rules on Neighbourhood Frames.
1.Full Text, 2.Abstract.
MoL-2016-20:
Tom Schoonen Thinking the Impossible: Arguments for Impossible Worlds in Semantics.
1.Full Text, 2.Abstract.
MoL-2016-19:
Arianna Novaro Judgment Aggregation in Dynamic Logic of Propositional Assignments.
1.Full Text, 2.Abstract.
MoL-2016-18:
Eli Drumm Readtable-Macro Transducer-Chain Parsing.
1.Full Text, 2.Abstract.
MoL-2016-17:
Thomas Cattermole Paraconsistent Logics and Identity - a Pragmatic Approach.
1.Full Text, 2.Abstract.
MoL-2016-16:
Anna Bellomo Theories of size for infinite collections.
1.Full Text, 2.Abstract.
MoL-2016-15:
Benjamin Sparkes Inquisitive Conditional-Doxastic Logic.
1.Full Text, 2.Abstract.
MoL-2016-14:
Almudena Colacito Minimal and Subminimal Logic of Negation.
1.Full Text, 2.Abstract.
MoL-2016-13:
Daniil Frumin Weak Factorisation Systems in the Effective Topos.
1.Full Text, 2.Abstract.
MoL-2016-12:
Thom van Gessel Action Models in Inquisitive Logic.
1.Full Text, 2.Abstract.
MoL-2016-11:
Evan Marzion Closed Sets of Higher-Order Functions.
1.Full Text, 2.Abstract.
MoL-2016-10:
Philip W.B. Michgelsen Genetic-Algorithmic Optimisation for School-Allocation Mechanisms: A Study of Amsterdam's Student to High-School Allocation Problem.
1.Full Text, 2.Abstract.
MoL-2016-09:
Sander in 't Veld Temporal Logics, Automata and the Modal $\mu$-Calculus.
1.Full Text, 2.Abstract.
MoL-2016-08:
Sirin Botan Propositional Opinion Diffusion with Constraints.
1.Full Text, 2.Abstract.
MoL-2016-07:
Christopher Badura Truth in Fiction via Non-Standard Belief Revision.
1.Full Text, 2.Abstract.
MoL-2016-06:
Thomas Santoli Logics for Compact Hausdorff Spaces via de Vries Duality.
1.Full Text, 2.Abstract.
MoL-2016-05:
Yfke Dulek Quantum Homomorphic Encryption for Polynomial-Sized Circuits.
1.Full Text, 2.Abstract.
MoL-2016-04:
Rick Bellaar Understanding Schizophrenia: A Wittgensteinian Response to Double-Bookkeeping.
1.Full Text, 2.Abstract.
MoL-2016-03:
Stephen Pastan Another Approach to Truthmaker Semantics.
1.Full Text, 2.Abstract.
MoL-2016-02:
Nikolas Nisidis A decompositional analysis of discourse relations.
1.Full Text, 2.Abstract.
MoL-2016-01:
Sarah Hiller Corrective Feedback in First Language Acquisition.
1.Full Text, 2.Abstract.
MoL-2015-31:
Francesca Zaffora Blando From von Mises' Impossibility of a Gambling System to Probabilistic Martingales.
1.Full Text, 2.Abstract.
MoL-2015-30:
Ko-Hung Kuan Coherence Preservation: A Threat to Probabilistic Measures of Coherence.
1.Full Text, 2.Abstract.
MoL-2015-29:
Maaike Annebeth Zwart Sheaf Models for Intuitionistic Non-Standard Arithmetic.
1.Full Text, 2.Abstract.
MoL-2015-28:
Francesco Gavazzo Investigations into Linear Logic with Fixed-Point Operators.
1.Full Text, 2.Abstract.
MoL-2015-27:
Ana Lucia Vargas Sandoval Learning Deductive Reasoning.
1.Full Text, 2.Abstract.
MoL-2015-26:
Suzanne van Wijk Coalitions in Epistemic Planning.
1.Full Text, 2.Abstract.
MoL-2015-25:
Joost Vecht Categorical Structuralism and the Foundations of Mathematics.
1.Full Text, 2.Abstract.
MoL-2015-24:
Md. Shahidul Islam Limits of Argumentation: A Wittgensteinian Approach.
1.Full Text, 2.Abstract.
MoL-2015-23:
Eileen Wagner Superplural Logic.
1.Full Text, 2.Abstract.
MoL-2015-22:
Michiel den Haan The Logic of Framing: The Framing Effect as a Non-Monotonic Decision Process of Path Dependence.
1.Full Text, 2.Abstract.
MoL-2015-21:
Konstantinos Gkikas Stable Beliefs and Conditional Probability Spaces.
1.Full Text, 2.Abstract.
MoL-2015-20:
Hanna Sofie van Lee The Reliability of Scientific Communities: a Logical Analysis.
1.Full Text, 2.Abstract.
MoL-2015-19:
Wouter P.J. Kroese When an Algorithm Cannot Help You Find a Wife: Modeling Two-Sided Matching Markets Using Stochastic Matching.
1.Full Text, 2.Abstract.
MoL-2015-18:
Frederik Möllerström Lauridsen One-Step Algebras and Frames for Modal and Intuitionistic Logics.
1.Full Text, 2.Abstract.
MoL-2015-17:
Kees van Berkel Kant's Logic in the Critique of Practical Reason.
1.Full Text, 2.Abstract.
MoL-2015-16:
Pietro Pasotti Chisholm's Paradox in Action Deontic Logics.
1.Full Text, 2.Abstract.
MoL-2015-15:
Fangzhou Zhai Toward Probabilistic Natural Logic for Syllogistic Reasoning.
1.Full Text, 2.Abstract.
MoL-2015-14:
Iris van de Pol How Difficult is it to Think that you Think that I Think that...? A DEL-based Computational-level Model of Theory of Mind and its Complexity.
1.Full Text, 2.Abstract.
MoL-2015-13:
Lorenzo Galeotti Computable Analysis Over the Generalized Baire Space.
1.Full Text, 2.Abstract.
MoL-2015-12:
Frank Feys Fourier Analysis for Social Choice.
1.Full Text, 2.Abstract.
MoL-2015-11:
Moritz Bäumel 'On Certainty' and Formal Epistemology.
1.Full Text, 2.Abstract.
MoL-2015-10:
Bill Noble All together now... This time with meaning: A hierarchical lexicon for semantic coordination.
1.Full Text, 2.Abstract.
MoL-2015-09:
Tingxiang Zou Filtered Order-partial Combinatory Algebras and Classical Realizability.
1.Full Text, 2.Abstract.
MoL-2015-08:
Jonathan Mallinson Modelling Syntactic and Semantic Tasks with Linguistically Enriched Recursive Neural Networks.
1.Full Text, 2.Abstract.
MoL-2015-07:
Babette Paping A game theoretic approach to cost allocation in the Dutch electricity grid.
1.Full Text, 2.Abstract.
MoL-2015-06:
Johannes Emerich Applying Types as Abstract Interpretation to a Language with Dynamic Dispatch.
1.Full Text, 2.Abstract.
MoL-2015-05:
Roosmarijn Goldbach Modelling Democratic Deliberation.
1.Full Text, 2.Abstract.
MoL-2015-04:
Sanne Kosterman Learning in Games through Social Networks.
1.Full Text, 2.Abstract.
MoL-2015-03:
Maša Močnik Slovenian Perfective and Imperfective Explicit Performative Utterances.
1.Full Text, 2.Abstract.
MoL-2015-02:
Ignas Vyšniauskas πdist: Towards a Typed π-calculus for Distributed Programming Languages.
1.Full Text, 2.Abstract.
MoL-2015-01:
Jouke E. Witteveen Structural Parameterized Complexity.
1.Full Text, 2.Abstract.
MoL-2014-23:
Yuning Feng Constructing Variants of the Category of Partial Equivalence Relations.
1.Full Text, 2.Abstract.
MoL-2014-22:
Gijs Wijnholds Categorical Foundations for Extended Compositional Distributional Models of Meaning.
1.Full Text, 2.Abstract.
MoL-2014-21:
Lara Elise van Weegen Informational cascades under variable reliability assessments: A formal and empirical investigation.
1.Full Text, 2.Abstract.
MoL-2014-20:
Laura Mojica Anxiety: A Grammatical Investigation.
1.Full Text, 2.Abstract.
MoL-2014-19:
Jessica Olsen Would You Believe That? The Prerogative of Assent and Utility of Disagreement.
1.Full Text, 2.Abstract.
MoL-2014-18:
Justin Kruger Actions in Social Choice.
1.Full Text, 2.Abstract.
MoL-2014-17:
Sanne Brinkhorst On Evolution of Compositionality.
1.Full Text, 2.Abstract.
MoL-2014-16:
Malvin Gattinger Dynamic Epistemic Logic for Guessing Games and Cryptographic Protocols.
1.Full Text, 2.Abstract.
MoL-2014-15:
Nikhil Maddirala Philosophy of logical practice: a case study in formal semantics.
1.Full Text, 2.Abstract.
MoL-2014-14:
Sarah McWhirter An Automata-Theoretic Perspective on Polyadic Quantification in Natural Language.
1.Full Text, 2.Abstract.
MoL-2014-13:
Michele Herbstritt Why can't we be surprised whether it rains in Amsterdam? A semantics for factive verbs and embedded questions.
1.Full Text, 2.Abstract.
MoL-2014-12:
Simon Docherty A Model Of Type Theory In Cubical Sets With Connections.
1.Full Text, 2.Abstract.
MoL-2014-11:
Guus Willem Eelink Davidson on belief, truth, and the sceptic.
1.Full Text, 2.Abstract.
MoL-2014-10:
Julia Ilin An Outline of Algebraic Set Theory with a View Towards Cohen's Model Falsifying the Continuum Hypothesis.
1.Full Text, 2.Abstract.
MoL-2014-09:
Julian J. Schlöder Uptake, Clarification and Argumentation.
1.Full Text, 2.Abstract.
MoL-2014-08:
Seyed Mohammad Yarandi Proper Names and Propositional Attitudes.
1.Full Text, 2.Abstract.
MoL-2014-07:
Nadine Theiler A Multitude of Answers: Embedded Questions in Typed Inquisitive Semantics.
1.Full Text, 2.Abstract.
MoL-2014-06:
Ciyang Qing Quantiative Social-Cognitive Experimental Pragmatics.
1.Full Text, 2.Abstract.
MoL-2014-05:
Sebastian Speitel Limning the True and Ultimate Structure of Reality.
1.Full Text, 2.Abstract.
MoL-2014-04:
Andreea Achimescu Games and Logics for Informational Cascades.
1.Full Text, 2.Abstract.
MoL-2014-03:
Rachel Boddy Epistemic Issues and Group Knowledge.
1.Full Text, 2.Abstract.
MoL-2014-02:
Alexander C. Block Operations on a Wadge-Type Hierarchy of Ordinal-Valued Functions.
1.Full Text, 2.Abstract.
MoL-2014-01:
Maria Dimarogkona The Problem of Existence in Western Philosophy: Aristotle - Thomas Aquinas.
1.Full Text, 2.Abstract.
MoL-2013-29:
Dieuwke Hupkes An Empirical Account of Compositionality of Translation through Translation Data.
1.Full Text, 2.Abstract.
MoL-2013-28:
YunQi Xue Towards Closed-World Reasoning in Games - Ultimatum Game Revisited.
1.Full Text, 2.Abstract (RTF), 3.Abstract (TXT).
MoL-2013-27:
Vlasta Sikimic Towards a Proof-Theoretic Semantics for Dynamic Logics.
1.Full Text, 2.Abstract.
MoL-2013-26:
Ásgeir Berg Matthíasson A Chalet on Mount Everest: Interpretations of Wittgenstein's Remarks on Gödel.
1.Full Text, 2.Abstract.
MoL-2013-25:
Anthony Renard A Final Coalgebra Theorem in the Context of Algebraic Set Theory.
1.Full Text, 2.Abstract.
MoL-2013-24:
Sylvia Pauw Synthesis, Judgment and the Categories of Quantity.
1.Full Text, 2.Abstract.
MoL-2013-23:
Maximilian Johannes Fillinger Reconstructing the Cryptanalytic Attack behind the Flame Malware.
1.Full Text, 2.Abstract.
MoL-2013-22:
Heleen Booy Philosophy in primary schools - Developing teachers' manuals for different age groups.
1.Full Text, 2.Abstract, 3.Appendix_1-6, 4.Appendix_7, 5.Appendix_8.
MoL-2013-21:
Adam Crager The infinite in Aristotle's logical epistemology.
1.Full Text, 2.Abstract.
MoL-2013-20:
Cecilia Chávez Aguilera. Non-well founded semantics for belief revision.
1.Full Text, 2.Abstract.
MoL-2013-19:
Alessandra Marra What should have been the case. A temporal update semantics for necessity deontic modals.
1.Full Text, 2.Abstract.
MoL-2013-18:
Robert Carrington Learning and Knowledge in Social Networks.
1.Full Text, 2.Abstract.
MoL-2013-17:
Ryan Nefdt Constituentless Compositionality: A Compositional Account of Dependency Grammar.
1.Full Text, 2.Abstract.
MoL-2013-16:
Hugo de Holanda Cunha Nobrega Game characterizations of function classes and Weihrauch degrees.
1.Full Text, 2.Abstract.
MoL-2013-15:
Maurice Pico Completeness proofs via canonical models on increasingly generalized settings.
1.Full Text, 2.Abstract.
MoL-2013-14:
Hans Bugge Grathwohl Programming with Classical Proofs.
1.Full Text, 2.Abstract.
MoL-2013-13:
Aybüke Özgün Topological Models for Belief and Belief Revision.
1.Full Text, 2.Abstract.
MoL-2013-12:
Apostolos Tzimoulis Determinacy and measurable cardinals in HOD.
1.Full Text, 2.Abstract.
MoL-2013-11:
José Pedro Correia The Bivalent Trap: Vagueness, Theories of Meaning and Identity.
1.Full Text, 2.Abstract.
MoL-2013-10:
Zhiguang Zhao Algebraic Canonicity in Non-Classical Logics.
1.Full Text, 2.Abstract.
MoL-2013-09:
Femke Bekius The Iterative Minimum Cost Spanning Tree Problem.
1.Full Text, 2.Abstract.
MoL-2013-08:
Nathaniel Forde A Demand of Reason: Dependence in Logic and Probability.
1.Full Text, 2.Abstract.
MoL-2013-07:
Tanmay C. Inamdar On The Modal Logics of Some Set-Theoretic Constructions.
1.Full Text, 2.Abstract.
MoL-2013-06:
Elbert J. Booij Kinds, Composition and the Identification Problem.
1.Full Text, 2.Abstract.
MoL-2013-05:
Giovanni Cinà On the connection between the categorical and the modal logic approaches to Quantum Mechanics.
1.Full Text, 2.Abstract.
MoL-2013-04:
Georgios Sarailidis On the Power of Evolution.
1.Full Text, 2.Abstract.
MoL-2013-03:
Gianluca Paolini Dependence Logic in Algebra and Model Theory.
1.Full Text, 2.Abstract.
MoL-2013-02:
Radek Ocelák Carving up the rainbow: how to model linguistic categorization of color.
1.Full Text, 2.Abstract.
MoL-2013-01:
Maria Velema Classical Encryption and Authentication under Quantum Attacks.
1.Full Text, 2.Abstract.
MoL-2012-23:
Peter van Ormondt Finite narrative modelling, contextual dynamic semantics and Elusive Knowledge.
1.Full Text, 2.Abstract.
MoL-2012-22:
Ekaterina Garmash Refining translation grammars through paraphrase clustering.
1.Full Text, 2.Abstract.
MoL-2012-21:
Aadil Hanif Kurji An Update Semantics for Promises and Other Obligation-Creating Speech Acts: A Promising Start.
1.Full Text, 2.Abstract.
MoL-2012-20:
Marta Sznajder Dynamic Semantics for Intensional Transitive Verbs - a Case Study.
1.Full Text, 2.Abstract.
MoL-2012-19:
Yves Fomatati Sahlqvist Correspondence for Intuitionistic Modal Mu-Calculus.
1.Full Text, 2.Abstract.
MoL-2012-18:
Stefanie Kooistra Logic in Classical and Evolutionary Games.
1.Full Text, 2.Abstract.
MoL-2012-17:
Nal Emmerich Kalchbrenner Walking the Graph of Language: On a Framework for Meaning and Analogy.
1.Full Text, 2.Abstract.
MoL-2012-16:
Aleks Knoks Abnormality Counts!.
1.Full Text, 2.Abstract.
MoL-2012-15:
Kyndylan Nienhuis Automatic Verication of Programs with Indirection.
1.Full Text, 2.Abstract.
MoL-2012-14:
Vahid M. Hashemi Extracting Trends from Incomplete Ordinal Preferences.
1.Full Text, 2.Abstract.
MoL-2012-13:
Riccardo Pinosio Kant's Transcendental Synthesis of the Imagination and Constructive Euclidean Geometry.
1.Full Text, 2.Abstract.
MoL-2012-12:
Haitao Cai Causation and the Semantics of Counterfactuals.
1.Full Text, 2.Abstract.
MoL-2012-11:
Tong Wang An Ehrenfeucht-Fraisse Game for the Logic L-omega1-omega.
1.Full Text, 2.Abstract.
MoL-2012-10:
Paula Henk Supremum in the Lattice of Interpretability.
1.Full Text, 2.Abstract.
MoL-2012-09:
Antonio Florio Science in Axiomatic Perspective.
1.Full Text, 2.Abstract.
MoL-2012-08:
Fabio Zanasi Expressiveness of Monadic Second Order Logics on Infinite Trees of Arbitrary Branching Degree.
1.Full Text, 2.Abstract.
MoL-2012-07:
Fenner Tanswell Proof and Prejudice: Why Formalising doesn't make you a Formalist.
1.Full Text, 2.Abstract.
MoL-2012-06:
Alwin Blok Interaction, observation and denotation: A study of dialgebras for program semantics.
1.Full Text, 2.Abstract.
MoL-2012-05:
Pawel Lojko Inquisitive Semantics and the Paradoxes of Material Implication.
1.Full Text, 2.Abstract.
MoL-2012-04:
Daan Staudt Completeness for Two Left-Sequential Logics.
1.Full Text, 2.Abstract.
MoL-2012-03:
Thomas Peetz On Context-Free Grammar Induction by Incremental Compression.
1.Abstract.
MoL-2012-02:
Sylvia Boicheva Mechanism Design without Money.
1.Full Text, 2.Abstract.
MoL-2012-01:
Viktoriia Denisova Ontological Commitment of Natural Language Semantics.
1.Full Text, 2.Abstract.
MoL-2011-21:
Bruno Jacinto Consequence in Context: Two-Dimensional Semantics meets Logical Consequence.
1.Full Text, 2.Abstract.
MoL-2011-20:
Floor Rombout "|": Frege, Russell and Wittgenstein on the Judgment Stroke.
1.Full Text, 2.Abstract.
MoL-2011-19:
Annemieke Reijngoud Voter Response to Iterated Poll Information.
1.Full Text, 2.Abstract.
MoL-2011-18:
Andreas van Cranenburgh Discontinuous Data-Oriented Parsing through Mild Context-Sensitivity.
1.Full Text, 2.Abstract.
MoL-2011-17:
Rogier Jacobsz The Cylindric Algebras of 4-Valued Logic.
1.Full Text, 2.Abstract.
MoL-2011-16:
Gabriela Asli Rino Nesin Completing partial algebra models of term rewriting systems.
1.Full Text, 2.Abstract.
MoL-2011-15:
Johannes Marti Relation Liftings in Coalgebraic Modal Logic.
1.Full Text, 2.Abstract.
MoL-2011-14:
Zhenhao Li Degrees of Non-Determinacy and Game Logics on Cardinals under the Axiom of Determinacy.
1.Full Text, 2.Abstract.
MoL-2011-13:
Willem M. Baartse Finding the phase transition for Friedman's long finite sequences.
1.Full Text, 2.Abstract.
MoL-2011-12:
Spencer C. Johnston Buridan's Theory of Logical Consequence.
1.Full Text, 2.Abstract.
MoL-2011-11:
Kasper Højbjerg Christensen Counterfactual Dependencies.
1.Full Text, 2.Abstract.
MoL-2011-10:
Cian Chartier Tarski's Threat to the T-Schema.
1.Full Text, 2.Abstract.
MoL-2011-09:
Irma Cornelisse Context Dependence of Epistemic Operators in Dynamic Evidence Logic.
1.Full Text, 2.Abstract.
MoL-2011-08:
Ilan Frank Information and Representation in Computational Social Choice.
1.Full Text, 2.Abstract.
MoL-2011-07:
Navid Talebanfard Tightening the Compression Hierarchies.
1.Full Text, 2.Abstract.
MoL-2011-06:
Noortje Joost Venhuizen Negation in Questions.
1.Full Text, 2.Abstract.
MoL-2011-05:
Sophie Arnoult Smoothing a PBSMT Model by Factoring Out Adjuncts.
1.Full Text, 2.Abstract.
MoL-2011-04:
Douwe Kiela Variable Binding in Biologically Plausible Neural Networks.
1.Full Text, 2.Abstract.
MoL-2011-03:
Lars Wortel Side Effects in Steering Fragments.
1.Full Text, 2.Abstract.
MoL-2011-02:
Peter Fritz Matrices and Modalities: On the Logic of Two-Dimensional Semantics.
1.Full Text, 2.Abstract.
MoL-2011-01:
Tom Florian Sterkenburg Sequences with Trivial Initial Segment Complexity.
1.Full Text, 2.Abstract.
MoL-2010-20:
Antonio Negro Quine's challenge and Logical Pluralism.
1.Full Text, 2.Abstract.
MoL-2010-19:
Remi Turk A modern back-end for a dependently typed language.
1.Full Text, 2.Abstract.
MoL-2010-18:
Alexandru Marcoci The Surprise Examination Paradox in Dynamic Epistemic Logic.
1.Full Text, 2.Abstract (TXT), 3.Abstract (PDF).
MoL-2010-17:
Bert Christiaan Regenboog Reactive Valuations.
1.Full Text, 2.Abstract.
MoL-2010-16:
Hélène Tourigny Exploiting Systematicity: a Connectionist Model of Bootstrapping in Language Acquisition.
1.Full Text, 2.Abstract.
MoL-2010-15:
Matthew P. Wampler-Doty Evidentialist Logic.
1.Full Text, 2.Abstract.
MoL-2010-14:
Lorenz Demey Agreeing to Disagree in Probabilistic Dynamic Epistemic Logic.
1.Full Text, 2.Abstract.
MoL-2010-13:
Hanne Kristin Berg Philosophy of time: Combining the A-series and the B-series.
1.Full Text, 2.Abstract.
MoL-2010-12:
Jonathan Shaheen Relevance-Based Partition Semantics for Why-Questions.
1.Full Text, 2.Abstract.
MoL-2010-11:
Margaux Smets A U-DOP approach to modeling language acquisition.
1.Full Text, 2.Abstract.
MoL-2010-10:
Ernst Odolphi Temporal Binding by Short-Term Synaptic Plasticity.
1.Full Text, 2.Abstract.
MoL-2010-09:
Kian Mintz-Woo Independence Weakening in Judgment Aggregation.
1.Full Text, 2.Abstract.
MoL-2010-08:
David Fiske Toward an Evolutionary Linguistic Theory.
1.Full Text, 2.Abstract.
MoL-2010-07:
Mark Beumer Apportionment in Theory and Practice.
1.Full Text, 2.Abstract.
MoL-2010-06:
Stephan Schroevers Expressiveness and Extensions of an Instruction Sequence Semigroup.
1.Full Text, 2.Abstract.
MoL-2010-05:
Nicola Di Giorgio Non-Standard Models of Arithmetic: a Philosophical and Historical perspective.
1.Full Text, 2.Abstract.
MoL-2010-04:
Yacin Hamami The Interrogative Model of Inquiry meets Dynamic Epistemic Logics.
1.Full Text, 2.Abstract.
MoL-2010-03:
Charlotte Vlek Definability in the Degrees of Randomness.
1.Full Text, 2.Abstract.
MoL-2010-02:
Christian Geist Automated Search for Impossibility Theorems in Choice Theory: Ranking Sets of Objects.
1.Full Text, 2.Abstract.
MoL-2010-01:
Frank Nebel Shortest Path Games: Computational Complexity of Solution Concepts.
1.Full Text, 2.Abstract.
MoL-2009-18:
Salvador Mascarenhas Inquisitive Semantics and Logic.
1.Full Text, 2.Abstract.
MoL-2009-17:
Maarten Versteegh iDOP: Iterated Data-Oriented Parsing as a Model for Diachronic Syntax.
1.Full Text, 2.Abstract.
MoL-2009-16:
Samuel Jacob van Gool Methods for Canonicity.
1.Full Text, 2.Abstract.
MoL-2009-15:
Floor Sietsma A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic Transition Systems.
1.Full Text, 2.Abstract.
MoL-2009-14:
Lisa Maree Fulford A study of Canonicity for Bi-Implicative Algebras.
1.Full Text, 2.Abstract (PDF), 3.Abstract (TXT).
MoL-2009-13:
Olga Grigoriadou A Momentary Lapse Of Reason.
1.Full Text, 2.Abstract.
MoL-2009-12:
Karel Van Oudheusden The Advent of Recursion \& Logic in Computer Science.
1.Full Text, 2.Abstract.
MoL-2009-11:
Ivano A. Ciardelli Inquisitive Semantics and Intermediate Logics.
1.Full Text, 2.Abstract.
MoL-2009-10:
Maria Spychalska Scalar Implicatures and Existential Import: Experimental Study on Quantifiers in Natural Language.
1.Full Text, 2.Abstract.
MoL-2009-09:
Simon Pauw A BiOT Account of Gricean Reasoning.
1.Full Text, 2.Abstract.
MoL-2009-08:
Wouter Beek Truth-Theoretic Contextualism: Dissolving the Minimalism/Contextualism Debate.
1.Full Text, 2.Abstract.
MoL-2009-07:
Chris Brumwell A Dynamic Analysis of Epistemic Possibility.
1.Full Text, 2.Abstract.
MoL-2009-06:
Pablo Cubides Kovacsics Decomposition Theorem for Abstract Elementary Classes.
1.Full Text, 2.Abstract.
MoL-2009-05:
Petros D. Stamatis Going for a Walk on a Fine Summer's Day While a Sea-battle is Taking Place, or Concerning Future Contingents and Intentional Action.
1.Full Text, 2.Abstract.
MoL-2009-04:
Daan Dirk de Jonge Autistic Number Learning: What Autism Can Tell Us About the Acquisition of Number Concepts.
1.Full Text, 2.Abstract.
MoL-2009-03:
Daniele Chiffi Analysis of Knowledge, Assertion, Verification.
1.Full Text, 2.Abstract.
MoL-2009-02:
Nicole R. Hausen Wittgenstein's Investigations and Damasio's Explanations: A Comparative Study of Emotion.
1.Full Text, 2.Abstract.
MoL-2009-01:
María Inés Crespo Normativity and interaction: from ethics to semantics.
1.Full Text, 2.Abstract.
MoL-2008-12:
Fan Yang Intuitionistic Subframe Formulas, NNIL-Formulas and n-universal Models.
1.Full Text, 2.Abstract.
MoL-2008-11:
Rachel Sterken Concatenation as a basis for Q and the Intuitionistic variant of Nelson's Classic Result.
1.Full Text, 2.Abstract.
MoL-2008-10:
Dewi S. Harten How to solve the conjunction fallacy? A discussion of alternative approaches.
1.Full Text, 2.Abstract, 3.Front.
MoL-2008-09:
Sara Ramezani Khorshid Doost Nash Social Welfare in Multiagent Resource Allocation.
1.Full Text, 2.Abstract.
MoL-2008-08:
Pietro Galliani Game values and equilibria for undetermined sentences of Dependence Logic.
1.Full Text, 2.Abstract.
MoL-2008-07:
Loes Olde Loohuis Multi-Player Logics.
1.Full Text, 2.Abstract.
MoL-2008-06:
Thomas Icard Models of the Polymodal Provability Logic.
1.Full Text, 2.Abstract.
MoL-2008-05:
Luite Menno Pieter van Zelst Modeling Computer Viruses.
1.Full Text, 2.Abstract.
MoL-2008-04:
Martijn Pennings A Konolige bridge between default logic and autoepistemic logic.
1.Full Text, 2.Abstract.
MoL-2008-03:
Szymon Klarman ABox Abduction in Description Logic.
1.Full Text, 2.Abstract.
MoL-2008-02:
Silvia Gaio Gradability without Degrees.
1.Full Text, 2.Abstract.
MoL-2008-01:
Caroline Foster The Problem of the Perfect Agent: Investigations into Determinism.
1.Full Text, 2.Abstract.
MoL-2007-23:
Federico Sangati Towards simpler tree substitution grammars.
1.Full Text, 2.Abstract.
MoL-2007-22:
Petter Remen Automata on flows.
1.Full Text, 2.Abstract.
MoL-2007-21:
Theodora Achourioti Logic, Normativity, and the A Priori.
1.Full Text, 2.Abstract.
MoL-2007-20:
Gustaaf Haan How illiterates interpret syllogistic problems.
1.Full Text, 2.Abstract.
MoL-2007-19:
Raul Andres Leal Rodriguez Expressivity of Coalgebraic Modal Languages.
1.Full Text, 2.Abstract.
MoL-2007-18:
Lena Kurzen Logics for Cooperation, Actions and Preferences.
1.Full Text, 2.Abstract.
MoL-2007-17:
Brammert Ottens Comparing Winner Determination Algorithms for Mixed Multi-Unit Combinatorial Auctions.
1.Full Text, 2.Abstract.
MoL-2007-16:
Jesse Aron Harris Revealing Concealment: A (Neuro-)Logical Investigation of Concealed Questions.
1.Full Text, 2.Abstract.
MoL-2007-15:
Christian Kissig Decidability of S2S.
1.Full Text, 2.Abstract.
MoL-2007-14:
Joost Winter Space Complexity in Infinite Time Turing Machines.
1.Full Text, 2.Abstract.
MoL-2007-13:
Ansten Mørch Klev Extending Kleene's O Using Infinite Time Turing Machines.
1.Full Text, 2.Abstract (RTF), 3.Abstract (TXT).
MoL-2007-12:
Sandeep Murthy Group-theoretic Methods for Bounding the Exponent of Matrix Multiplication.
1.Full Text, 2.Abstract.
MoL-2007-11:
Yurii Khomskii Regularity Properties and Determinacy.
1.Full Text, 2.Abstract.
MoL-2007-10:
David Chabot Individual-level Predicates and When-Conditionals.
1.Full Text, 2.Abstract.
MoL-2007-09:
Harald Bastiaanse Clarity in Non-Monotonic Logic.
1.Full Text, 2.Abstract.
MoL-2007-08:
Ori Garin A computational model of reference.
1.Full Text, 2.Abstract.
MoL-2007-07:
Marcello Di Bello Formalizing Legislation in the Event Calculus: The Case of the Italian Citizenship Law.
1.Full Text, 2.Abstract.
MoL-2007-06:
Gerben de Vries Formalizing Implicatures Using Extended Logic Programming.
1.Full Text, 2.Abstract.
MoL-2007-05:
Can Baskent Topics in Subset Space Logic.
1.Full Text, 2.Abstract.
MoL-2007-04:
Tijmen R. Daniëls Social Choice and Logic via Simple Games.
1.Full Text, 2.Abstract.
MoL-2007-03:
Höskuldur Hlynsson Transfer Learning Using the Minimum Description Length Principle with a Decision Tree Application.
1.Full Text, 2.Abstract.
MoL-2007-02:
Wouter Koolen Discovering the truth by conducting experiments.
1.Full Text, 2.Abstract.
MoL-2007-01:
Jonathan Zvesper A Revised Version: Belief Revision and Epistemic Acts.
1.Full Text, 2.Abstract.
MoL-2006-09:
Jacob Vosmaer Connecting the profinite completion and the canonical extension using duality.
1.Full Text, 2.Abstract.
MoL-2006-08:
Gaëlle Fontaine Axiomatization of ML and Cheq.
1.Full Text, 2.Abstract.
MoL-2006-07:
Martin Müller Accent and Focus in OT: a Cross-Linguistic Perspective.
1.Full Text, 2.Abstract.
MoL-2006-06:
Jill Cirasella Classical and Quantum Algorithms for Finding Cycles.
1.Full Text, 2.Abstract.
MoL-2006-05:
Yanjing Wang Indexed Semantics and Its Application in Modelling Interactive Unawareness.
1.Full Text, 2.Abstract.
MoL-2006-04:
Clive Nettey Link-Based Methods for Web Information Retrieval.
1.Full Text, 2.Abstract.
MoL-2006-03:
Ioanna Dimitriou Strong limits and Inaccessibility with non-wellorderable powersets.
1.Full Text, 2.Abstract.
MoL-2006-02:
Dirk Buschbom Understanding As A Teleonomical Concept: Fundamentals of the Hermeneutical game.
1.Full Text, 2.Abstract.
MoL-2006-01:
Edgar Andrade Meaning and Form in Event Calculus.
1.Full Text, 2.Abstract.
MoL-2005-09:
Scott Grimm The Lattice of Case and Agentivity.
1.Full Text, 2.Abstract.
MoL-2005-08:
Gustavo Lacerda da Melo Automating Normal Science: Reusing Exemplars in Quantitative Explanations.
1.Abstract.
MoL-2005-07:
Samson Tikitu de Jager Analysing the complexity of games on graphs.
1.Full Text, 2.Abstract, 3.Software.
MoL-2005-06:
Teresita Mijangos Penalty Logic and Genomic Encoding.
1.Full Text, 2.Abstract (TXT), 3.Abstract (PDF).
MoL-2005-05:
Floris Roelofsen Exploring Logical Perspectives on Distributed Information and its Dynamics.
1.Full Text, 2.Abstract.
MoL-2005-04:
Michael Franke Pseudo-Imperatives.
1.Full Text, 2.Abstract.
MoL-2005-03:
Evangelos Tzanis Algebraizing Hybrid Logic.
1.Full Text, 2.Abstract.
MoL-2005-02:
Boaz Leskes The Value of Agreement: a new Boosting Algorithm.
1.Full Text, 2.Abstract.
MoL-2005-01:
Reut Tsarfaty `binyanim ba'avir': An investigation of Aspect Semantics in Modern Hebrew.
1.Full Text, 2.Abstract.
MoL-2004-09:
Spencer Gerhardt A Construction Method for Modal Logics of Space.
1.Full Text, 2.Abstract.
MoL-2004-08:
Ji Ruan Exploring the Update Universe.
1.Full Text, 2.Abstract.
MoL-2004-07:
Piotr Labenz Event-calculus semantics of Polish aspect.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
MoL-2004-06:
Thuy Linh Nguyen Rank Consistent Estimation: The DOP Case.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
MoL-2004-05:
Fenrong Liu Dynamic Variations: Update and Revision for Diverse Agents.
1.Full Text, 2.Abstract.
MoL-2004-04:
Be Birchall Duality for Distributive Modal Algebras.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
MoL-2004-03:
Giosuè Baggio Two ERP studies on Dutch temporal semantics.
1.Full Text, 2.Abstract.
MoL-2004-02:
Andreas Zollmann A Consistent and Efficient Estimator for the Data-Oriented Parsing Model.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2004-01:
Katrin Schulz A Case Study on the Paradox of Free Choice Permission.
1.Full Text, 2.Abstract.
MoL-2003-07:
Loredana Afanasiev XML Query Evaluation via CTL Model Checking.
1.Full Text, 2.Abstract.
MoL-2003-06:
Oren Tsur Definitional Question Answering Using Trainable Classifiers.
1.Full Text (PDF), 2.Full Text (DOC), 3.Abstract.
MoL-2003-05:
Tanja Hötte A Model for Epistemic Games.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
MoL-2003-04:
Gilad Mishne Source Code Retrieval using Conceptual Graphs.
1.Full Text, 2.Abstract.
MoL-2003-03:
Guillaume Aucher A Combined System for Update Logic and Belief Revision.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2003-02:
Fadillah Tala A Study of Stemming Effects on Information Retrieval in Bahasa Indonesia.
1.Full Text, 2.Abstract.
MoL-2003-01:
Chunlai Zhou Some Intuitionistic Provability and Preservativity Logics (and their interrelations).
1.Full Text, 2.Abstract.
MoL-2002-10:
Fabrice Nauze Scenarios for the Passé Simple and Imparfait: An Event Calculus Approach to French Semantics.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2002-09:
Rajvinder Singh A Study of Optimality Theory and the Human Sentence Processing Mechanism.
1.Full Text, 2.Abstract.
MoL-2002-08:
Marian Counihan What do four-year-olds have in common with Frege?.
1.Full Text, 2.Abstract.
MoL-2002-07:
Luciano Buratto Back-off as Parameter Estimation for DOP models.
1.Full Text, 2.Abstract.
MoL-2002-06:
Börkur Sigurbjörnsson Structural Properties of Questionnaires.
1.Full Text, 2.Abstract.
MoL-2002-05:
Bernadette Martínez Hernández Automated Reasoning with Boolean ABoxes.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2002-04:
Mathieu Vidal Classifying Conditionals.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2002-03:
Willem Conradie The Beth Property for Three Extensions of Modal Logic.
1.Full Text.
MoL-2002-02:
John Duda Context and Mythology.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
MoL-2002-01:
Seth Cable Stand Over There, Please: The Dynamics of Vagueness, the Origins of Vagueness, and How Pie-Cutting Relates to Ancient Heaps of Sand.
1.Full Text, 2.Abstract.
MoL-2001-15:
Mehmet Giritli From 3-SAT to {2+p},{3}-SAT.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2001-14:
Andreas P. Giannakoulopoulos Frog Leaps and Human Noises: An Optimality Theory Approach to Cultural Change.
1.Full Text, 2.Abstract.
MoL-2001-13:
Troy Lee Is Multiplication Harder than Addition? Arithmetical Definability over Finite Structures.
1.Full Text, 2.Abstract.
MoL-2001-12:
Darrin Hindsill On the Turning Verbs into Nouns.
1.Full Text (DOC), 2.Full Text (PS), 3.Full Text (PDF), 4.Abstract.
MoL-2001-11:
David Gabelaia Modal definability in topology.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2001-10:
Marcello Vavassori Isn't my question a real question? A Pragmatic Approach to Polar Questions.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2001-09:
Nick Arevadze Finite Projective Formulas.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2001-08:
Alexander Bergo Text Categorization and Prototypes.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
MoL-2001-07:
Ben Rodenhäuser Updating Epistemic Uncertainty: an essay in the logic of information change.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-2001-06:
Jon Ragetli Towards Concept-based Structuring of Electronic Information.
1.Full Text, 2.Abstract.
MoL-2001-05:
Rasa Leijting - Paulékaité Intentional Identity and the Edelberg Asymmetry.
1.Full Text, 2.Abstract, 3.Front.
MoL-2001-04:
Jason Mattausch On Optimization in Discourse Generation.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
MoL-2001-03:
Marie Nilsenová Uncertainty in the Common Ground.
1.Full Text, 2.Abstract.
MoL-2001-02:
Iouri Netchitailov An Extension of Game Logic with Parallel Operators.
1.Full Text (PS), 2.Full Text (DOC), 3.Full Text (PDF), 4.Abstract.
MoL-2001-01:
Levan Khavtasi Extending Focus Theories: Particles in Focus.
1.Full Text (PS), 2.Full Text (PDF), 3.Full Text (DOC), 4.Abstract.
MoL-2000-06:
Shai Berger Studies on the Uses and Usefulness of Diagrams.
1.Full Text, 2.Abstract.
MoL-2000-05:
Patrick Yancey Indeterminacy and Translatability.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract, 4.Word.
MoL-2000-04:
Catarina Dutilh Novaes A Study of William of Ockham's Logic - from Suppositio to Truth Conditions.
1.Full Text, 2.Abstract.
MoL-2000-03:
Sjaak Verbeek An Information Theoretic Approach to Finding Word Groups for Text Classification.
1.Full Text, 2.Abstract.
MoL-2000-02:
Mariana Haim Duality for Lattices with Operators: A Modal Logic Approach.
1.Full Text, 2.Abstract.
MoL-2000-01:
Sophia Velissaratou Conditional Questions and Which-Interrogatives.
1.Full Text, 2.Abstract.
MoL-1999-04:
Walter Dean Three Recursion Theoretic Concepts of Genericity.
1.Full Text, 2.Abstract.
MoL-1999-03:
Rafael Accorsi Exploring the Behaviour of Feature Interaction via Stable Models.
1.Full Text.
MoL-1999-02:
Clemens Grabmayer Cut-Elimination in the Implicative Fragment $->G3mi$ of an Intuitionistic $G3$-Gentzen-System and its Computational Meaning.
1.Full Text, 2.Abstract (TXT), 3.Abstract (PS).
MoL-1999-01:
Alessandra Palmigiano Normal Gentzen Deductions in the Classical Case.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
MoL-1998-03:
Eyal Hurvitz Towards a Uniform Strategy of Plural Quantification? Iterative Cumulativity and the Witness Condition.
1.Full Text, 2.Abstract.
MoL-1998-02:
Paulo E. Santos Formalising the Common Sense of a Mobile Robot.
1.Full Text, 2.Abstract.
MoL-1998-01:
Rosella Gennari Temporal Reasoning and Constraint Programming.
1.Full Text, 2.Abstract.
MoL-1997-03:
Marc Pauly Transforming Predicates or Updating States? Total Correctness in Dynamic Logic and Structured Programming.
1.Full Text, 2.Abstract.
MoL-1997-02:
Brian Semmes The Raisonnier-Shelah Construction of a Non-Measurable Set.
1.Full Text, 2.Abstract.
MoL-1997-01:
Dimitris Dimitriadis Identity and Identification.
1.Full Text, 2.Abstract.
ML-1998-14:
Yde Venema, Vera Stebletsova Undecidable theories of Lyndon algebras.
1.Full Text, 2.Abstract.
ML-1998-13:
Yde Venema Canonical Pseudo-Correspondence.
1.Full Text, 2.Abstract.
ML-1998-12:
Johan van Benthem Modal Logic in Two Gestalts.
1.Full Text, 2.Abstract.
ML-1998-11:
Carlos Areces, Dick de Jongh, Eva Hoogland The Interpolation Theorem for IL and ILP.
1.Full Text, 2.Abstract.
ML-1998-10:
Carlos Areces, Verónica Becher, Sebastián Ferro Characterization Results for d-Horn Formulas.
1.Full Text, 2.Abstract.
ML-1998-09:
Rosalie Iemhoff A Modal Analysis of Some Principles of the Provability Logic of Heyting Arithmetic.
1.Full Text, 2.Abstract.
ML-1998-08:
Johan van Benthem Dynamic Odds \& Ends.
1.Full Text, 2.Abstract.
ML-1998-07:
Victor N. Krivtsov A Negationless Interpretation of Intuitionistic Axiomatic Theories: Higher-Order Arithmetic.
1.Full Text, 2.Abstract.
ML-1998-06:
Victor N. Krivtsov A Negationless Interpretation of Intuitionistic Axiomatic Theories: Arithmetic and Analysis.
1.Full Text, 2.Abstract.
ML-1998-05:
Steven Givant, Yde Venema The Preservation of Sahlqvist Equations in Completions of Boolean Algebras with Operators.
1.Full Text, 2.Abstract.
ML-1998-04:
Yde Venema Points, Lines and Diamonds: a Two-Sorted Modal Logic for Projective Planes.
1.Full Text, 2.Abstract.
ML-1998-03:
Hans de Nivelle Decoding the $E^+$-Class by an A Posteriori, Liftable Order.
1.Full Text, 2.Abstract.
ML-1998-02:
A.S. Troelstra Concepts and Axioms.
1.Full Text, 2.Abstract.
ML-1998-01:
A.S. Troelstra Marginalia on Sequent Calculi.
1.Full Text, 2.Abstract.
ML-1997-08:
Anton\'{i}n Ku\u{c}era, Sebastiaan A. Terwijn Lowness for the Class of Random Sets.
1.Full Text, 2.Abstract.
ML-1997-07:
Sebastiaan A. Terwijn, Domenico Zambella Algorithmic Randomness and Lowness.
1.Full Text, 2.Abstract.
ML-1997-06:
Johan van Benthem Modality, Bisimulation and Interpolation in Infinitary Logic.
1.Full Text, 2.Abstract.
ML-1997-05:
Johan van Benthem The Range of Modal Logic: an Essay in Memory of George Gargov.
1.Full Text, 2.Abstract.
ML-1997-04:
Ian Hodkinson, Szabolcs Mikulás Non-finitely axiomatizable, union-free reducts of algebras of relations.
1.Full Text, 2.Abstract.
ML-1997-03:
Giovanna D'Agostino The Lo\'{s}-Tarski and Lyndon Theorem for the $\mu$-logic.
1.Full Text, 2.Abstract.
ML-1997-02:
Maarten Marx Complexity of Modal Logics of Relations.
1.Full Text, 2.Abstract.
ML-1997-01:
Dick de Jongh, Giorgi Japaridze The Logic of Provability.
1.Full Text.
ML-1996-13:
Lex Hendriks Intuitionistic Propositional Logic with only Equivalence has no Interpolation.
1.Full Text, 2.Abstract.
ML-1996-12:
Jon Barwise, Johan van Benthem Interpolation, Preservation, and Pebble Games.
1.Full Text, 2.Abstract.
ML-1996-11:
Domenico Zambella Forcing in Finite Structures (revised version of ML-1996-02).
1.Full Text, 2.Abstract.
ML-1996-10:
Vladimir Kanovei On a Dichotomy related to Colourings of Definable Graphs in Generic Models.
1.Full Text, 2.Abstract.
ML-1996-08:
Johan van Benthem, Angelo Montanari, Giovanna D'Agostino, Alberto Policriti Modal Deduction in Second-Order Logic and Set Theory - II.
1.Full Text, 2.Abstract.
ML-1996-07:
Angelo Montanari, Adriano Peron, Alberto Policriti Decidable Theories of $\omega$-Layered Metric Temporal Structures.
1.Full Text, 2.Abstract.
ML-1996-06:
Angelo Montanari, Alberto Policriti A Decidable Theory of Finitely-Layered Metric Temporal Structures.
1.Full Text, 2.Abstract.
ML-1996-05:
Søren Riis Count($q$) versus the Pigeon-Hole Principle.
1.Full Text.
ML-1996-04:
Kees Doets Proper Classes.
1.Full Text, 2.Abstract.
ML-1996-03:
Hajnal Andréka, Johan van Benthem, István Németi Modal Languages and Bounded Fragments of Predicate Logic.
1.Full Text.
ML-1996-02:
Domenico Zambella On Forcing in Bounded Arithmetic (superseded by ML-1996-11).
1.Full Text.
ML-1996-01:
Domenico Zambella Algebraic Methods and Bounded Formulas.
1.Full Text, 2.Abstract.
ML-1995-10:
Alexei P. Kopylov The Undecidability of Second Order Linear Affine Logic.
1.Full Text.
ML-1995-09:
Hiroakira Ono Decidability and Finite Model Property of Substructural Logics.
1.Full Text, 2.Abstract.
ML-1995-08:
Eric Rosen Modal Logic over Finite Structures.
1.Full Text, 2.Abstract.
ML-1995-07:
Johan van Benthem Modal Foundations of Predicate Logic.
1.Full Text.
ML-1995-06:
Dick de Jongh, Albert Visser Embeddings of Heyting Algebras (revised version of ML-1993-14).
1.Full Text.
ML-1995-05:
Natasha Alechina, Michiel van Lambalgen Generalized Quantification as Substructural Logic.
1.Full Text, 2.Abstract.
ML-1995-04:
Hajnal Andréka, Johan van Benthem, István Németi Back and Forth between Modal Logic and Classical Logic.
1.Full Text.
ML-1995-03:
Vladimir Kanovei, Michiel van Lambalgen On a Spector Ultrapower of the Solovay Model.
1.Full Text, 2.Abstract.
ML-1995-02:
Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti Modal Deduction in Second-Order Logic and Set Theory.
1.Full Text, 2.Abstract.
ML-1995-01:
Michiel van Lambalgen Randomness and Infinity.
1.Full Text.
ML-1994-13:
Marco R. Vervoort An Elementary Construction of an Ultrafilter on $\aleph_1$ Using the Axiom of Determinateness.
1.Full Text, 2.Abstract, 3.Old (PS), 4.Old (PDF).
ML-1994-12:
Victor Selivanov Fine Hierarchy and Definability in the Lindenbaum Algebra.
1.Full Text.
ML-1994-11:
Natasha Alechina On One Decidable Generalized Quantifier Logic Corresponding to a Decidable Fragment of First-Order Logic.
1.Full Text, 2.Abstract.
ML-1994-10:
Elena Nogina Logic of Proofs with the Strong Provability Operator.
1.Full Text, 2.Abstract.
ML-1994-09:
Giovanna D'Agostino, Angelo Montanari, Alberto Policriti A Set-Theoretic Translation Method for Polymodal Logics.
1.Full Text, 2.Abstract.
ML-1994-08:
Andreja Prijatelj Free Algebras Corresponding to Multiplicative Classical Linear Logic and some Extensions.
1.Full Text, 2.Abstract.
ML-1994-07:
Sergei Artëmov, Artëm Chuprina Logic of Proofs with Complexity Operators.
1.Full Text.
ML-1994-06:
Lex Hendriks, Dick de Jongh Finitely Generated Magari Algebras and Arithmetic.
1.Full Text, 2.Abstract.
ML-1994-05:
V. Kanovei IST is more than an Algorithm to prove ZFC Theorems.
1.Full Text.
ML-1994-04:
Michiel van Lambalgen Independence Structures in Set Theory.
1.Full Text, 2.Abstract.
ML-1994-03:
Johan van Benthem, Dick de Jongh, Gerard Renardel de Lavalette, Albert Visser NNIL, A Study in Intuitionistic Propositional Logic.
1.Full Text.
ML-1994-02:
Domenico Zambella End Extensions of Models of Linearly Bounded Arithmetic.
1.Full Text, 2.Abstract.
ML-1994-01:
Domenico Zambella Notes on polynomially bounded arithmetic.
1.Full Text, 2.Abstract.
ML-1993-22:
Andreja Prijatelj Connectification for $n$-contraction.
1.Full Text.
ML-1993-21:
Max I. Kanovich The Relational Knowledge-Base Interpretation and Feasible Theorem Proving for Intuitionistic Propositional Logic.
1.Full Text.
ML-1993-20:
L.A. Chagrova, Dick de Jongh The Decidability of Dependency in Intuitionistic Propositional Logic.
1.Full Text.
ML-1993-19:
Raymond Hoofman Comparing Models of the Non-Extensional Typed l-Calculus.
1.Full Text.
ML-1993-18:
Jaap van Oosten Extensional Realizability.
1.Full Text.
ML-1993-17:
Alexander Chagrov, Michael Zakharyaschev On the Independent Axiomatizability of Modal and Intermediate Logics.
1.Full Text.
ML-1993-16:
Maarten de Rijke Correspondence Theory for Extended Modal Logics.
1.Full Text.
ML-1993-15:
G.K. Dzhaparidze Effective Truth.
1.Full Text.
ML-1993-14:
Dick de Jongh, Albert Visser Embeddings of Heyting Algebras (superseded by ML-1995-06).
1.Full Text.
ML-1993-13:
V.Yu. Shavrukov Undecidability in Diagonizable Algebras.
1.Full Text.
ML-1993-12:
V.Yu. Shavrukov Remarks on Uniformly Finitely Precomplete Positive Equivalences.
1.Full Text.
ML-1993-11:
Lex Hendriks Inventory of Fragments and Exact Models in Intuitionistic Propositional Logic.
1.Full Text.
ML-1993-10:
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs.
1.Full Text.
ML-1993-09:
A.S. Troelstra Natural Deduction for Intuitionistic Linear Logic.
1.Full Text.
ML-1993-08:
Raymond Hoofman, Ieke Moerdijk Remarks on the Theory of Semi-Functors.
1.Full Text.
ML-1993-07:
A.V. Chagrov, L.A. Chagrova Algorithmic Problems Concerning First-Order Definability of Modal Formulas on the Class of All Finite Frames.
1.Full Text.
ML-1993-06:
J. Zashev Categorial Generalization of Algebraic Recursion Theory.
1.Full Text.
ML-1993-05:
Raymond Hoofman, Harold Schellinx Models of the Untyped l-calculus in Semi Cartesian Closed Categories.
1.Full Text.
ML-1993-04:
Andreja Prijatelj Bounded Contraction and Many-Valued Semantics.
1.Full Text.
ML-1993-03:
Mati Pentus The Conjoinablity Relation in Lambek Calculus and Linear Logic.
1.Full Text.
ML-1993-02:
Johan van Benthem, Natasha Alechina Modal Quantification over Structured Domains.
1.Full Text.
ML-1993-01:
Maciej Kandulski Commutative Lambek Categorial Grammars.
1.Full Text.
ML-1992-10:
V.Yu. Shavrukov A Smart Child of Peano's.
1.Full Text.
ML-1992-09:
A.S. Troelstra Realizability.
1.Full Text.
ML-1992-08:
Raymond Hoofman Information Systems as Coalgebras.
1.Full Text.
ML-1992-07:
Harold Schellinx How to Broaden your Horizon.
1.Full Text.
ML-1992-06:
D.M. Gabbay, Valentin B. Shehtman Undecidability of Modal and Intermediate First-Order Logics with Two Individual Variables.
1.Full Text.
ML-1992-05:
Domenico Zambella Shavrukov's Theorem on the Subalgebras of Diagonalizable Algebras for Theories containing ID0 + EXP.
1.Full Text.
ML-1992-04:
Dimiter Vakarelov A Modal Theory of Arrows, Arrow Logics I.
1.Full Text.
ML-1992-03:
Zoran Markovic On the Structure of Kripke Models of Heyting Arithmetic.
1.Full Text.
ML-1992-02:
Dmitrij P. Skvortsov, Valentin B. Shehtman Maximal Kripke-type Semantics for Modal and Superintuitionistic Predicate Logics.
1.Full Text.
ML-1992-01:
A.S. Troelstra Comparing the Theory of Representations and Constructive Mathematics.
1.Full Text.
ML-1991-12:
Johan van Benthem Modal Frame Classes, revisited.
1.Full Text.
ML-1991-11:
Rineke Verbrugge Feasible Interpretability.
1.Full Text.
ML-1991-10:
Maarten de Rijke, Yde Venema Sahlqvist's Theorem for Boolean Algebras with Operators.
1.Full Text.
ML-1991-09:
V.Yu. Shavrukov A Note on the Diagonalizable Algebras of PA and ZF.
1.Full Text.
ML-1991-08:
Inge Bethke Going Stable in Graph Models.
1.Full Text.
ML-1991-07:
Yde Venema Modal Derivation Rules.
1.Full Text.
ML-1991-06:
Inge Bethke Finite Type Structures within Combinatory Algebras.
1.Full Text.
ML-1991-05:
A.S. Troelstra History of Constructivism in the Twentieth Century.
1.Full Text.
ML-1991-04:
Raymond Hoofman, Harold Schellinx Collapsing Graph Models by Preorders.
1.Full Text.
ML-1991-03:
Domenico Zambella On the Proofs of Arithmetical Completeness for Interpretability Logic.
1.Full Text.
ML-1991-02:
Alessandro Berarducci, Rineke Verbrugge On the Metamathematics of Weak Theories.
1.Full Text.
ML-1991-01:
Yde Venema Cylindric Modal Logic.
1.Full Text.
ML-1990-11:
Paul C. Gilmore The Consistency of an Extended NaDSet.
1.Full Text.
ML-1990-10:
Michiel van Lambalgen Randomness in Set Theory.
1.Full Text.
ML-1990-09:
Dick de Jongh, Duccio Pianigiani Solution of a Problem of David Guaspari.
1.Full Text.
ML-1990-08:
Harold Schellinx Some Syntactical Observations on Linear Logic.
1.Full Text.
ML-1990-07:
Maarten de Rijke A Note on the Interpretability Logic of Finitely Axiomatized Theories.
1.Full Text.
ML-1990-06:
Jaap van Oosten Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman.
1.Full Text.
ML-1990-05:
Domenico Zambella Sequences with Simple Initial Segments.
1.Full Text.
ML-1990-04:
Maarten de Rijke Unary Interpretability Logic.
1.Full Text.
ML-1990-03:
Yde Venema Relational Games.
1.Full Text.
ML-1990-02:
Jaap van Oosten A Semantical Proof of De Jongh's Theorem.
1.Full Text.
ML-1990-01:
Harold Schellinx Isomorphisms and Non-Isomorphisms of Graph Models.
1.Full Text.
ML-1989-09:
Allesandro Carbone Provable Fixed Points in $I\D elta_0+Ømega_1$..
1.Full Text.
ML-1989-08:
Dirk Roorda Investigations into Classical Linear Logic.
1.Full Text.
ML-1989-07:
Dirk Roorda Elementary Inductive Definitions in HA: from Strictly Positive towards Monotone.
1.Full Text.
ML-1989-06:
Michiel van Lambalgen The Axiomatization of Randomness.
1.Full Text.
ML-1989-05:
Rineke Verbrugge $\S igma$-Completeness and Bounded Arithmetic.
1.Full Text.
ML-1989-04:
Dick de Jongh, Marc Jumulet, Franco Montagna On the Proof of Solovay's Theorem.
1.Full Text.
ML-1989-03:
Dick de Jongh, Franco Montagna Rosser Orderings and Free Variables.
1.Full Text.
ML-1989-02:
Roel de Vrijer Extending the Lambda Calculus with Surjective Pairing is conservative.
1.Full Text.
ML-1989-01:
Dick de Jongh, Albert Visser Explicit Fixed Points for Interpretability Logic.
1.Full Text.
ML-1988-05:
A.S. Troelstra Remarks on Intuitionism and the Philosophy of Mathematics.
1.Full Text.
ML-1988-04:
A.S. Troelstra On the Early History of Intuitionistic Logic.
1.Full Text.
ML-1988-03:
Dick de Jongh, Frank Veltman Provability Logics for Relative Interpretability.
1.Full Text.
ML-1988-02:
M.D.G. Swaen The Arithmetical Fragment of Martin Löf's Type Theories with weak $\S igma$-Elimination.
1.Full Text.
ML-1988-01:
Jaap van Oosten Lifschitz' Realizability.
1.Full Text.
LP-1998-17:
Kazushige Terui Anaphoric Linking at Run Time: A Type-Logical Account of Discourse Representation.
1.Full Text, 2.Abstract.
LP-1998-16:
Yde Venema Temporal Logic.
1.Full Text, 2.Abstract.
LP-1998-15:
Paul Dekker Speaker's Reference, Descriptions and Information Structure.
1.Full Text, 2.Abstract.
LP-1998-14:
Hans Rott Words in Contexts: Fregean Elucidations.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
LP-1998-13:
Hans Rott "Just Because": Taking Belief Bases Seriously.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
LP-1998-12:
Dick de Jongh, Paul van Ulsen Beth's Nonclassical Valuations.
1.Full Text.
LP-1998-11:
Christof Monz, Maarten de Rijke A Resolution Calculus for Dynamic Semantics.
1.Full Text, 2.Abstract.
LP-1998-10:
Christof Monz, Maarten de Rijke A Tableaux Calculus for Ambiguous Quantification.
1.Full Text, 2.Abstract.
LP-1998-09:
Carlos Areces, Verónica Becher Iterable AGM Functions.
1.Full Text, 2.Abstract.
LP-1998-08:
Jan van Eijck Incremental Dynamics.
1.Full Text, 2.Abstract.
LP-1998-07:
Jan van Eijck Axiomatising Dynamic Logics for Anaphora.
1.Full Text, 2.Abstract.
LP-1998-06:
Renate Bartsch The Formal Relationship between Dynamic Conceptual Semantics and Connectionist Neural Network Modelling.
1.Full Text.
LP-1998-05:
Johan van Benthem Linguistic Grammar as Dynamic Logic.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
LP-1998-04:
Renata Wassermann Resource Bounded Belief Revision.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
LP-1998-03:
Renate Bartsch The Role of Consciousness and Intentionality in Perception, Semantics, Representations and Rules.
1.Full Text, 2.Abstract.
LP-1998-02:
Jaap van der Does, Helen de Hoop Type-shifting and Scrambled Definites.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
LP-1998-01:
Hans Rott, Maurice Pagnucco Severe Withdrawal (and Recovery).
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
LP-1997-10:
Jan van Eijck Dynamic Reasoning Without Variables.
1.Full Text, 2.Abstract.
LP-1997-09:
Frans Voorbraak A Nonmonotonic Observation Logic.
1.Full Text, 2.Abstract.
LP-1997-08:
Johan van Benthem Wider Still and Wider... Resetting the Bounds of Logic.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
LP-1997-07:
Michiel van Lambalgen, Jaap van der Does A Logic of Vision (expansion of LP-1996-14).
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
LP-1997-06:
Jan van Eijck Typed Logic With States.
1.Full Text, 2.Abstract.
LP-1997-05:
Jelle Gerbrandy Bisimulation and Bounded Bisimulation.
1.Full Text, 2.Abstract.
LP-1997-04:
Jelle Gerbrandy Dynamic Epistemic Logic.
1.Full Text.
LP-1997-03:
Paul Dekker On First Order Information Exchange.
1.Full Text, 2.Abstract.
LP-1997-02:
Paul Dekker On Denoting Descriptions.
1.Full Text, 2.Abstract.
LP-1997-01:
Johan van Benthem Dynamic Bits and Pieces.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
LP-1996-14:
Michiel van Lambalgen, Jaap van der Does A Logic of Vision: Preliminaries (preliminary to LP-1997-07: updated version on author's homepage).
1.Full Text, 2.Abstract.
LP-1996-13:
Rens Bod, Remko Scha Data-Oriented Language Processing: An Overview.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
LP-1996-12:
Paul Dekker Reference and Representation.
1.Full Text, 2.Abstract.
LP-1996-11:
Renate Bartsch Propositional Attitudes in Dynamic Conceptual Semantics.
1.Full Text, 2.Abstract.
LP-1996-10:
Jelle Gerbrandy, Willem Groeneveld Reasoning about Information Change.
1.Full Text, 2.Abstract.
LP-1996-09:
Jaap van der Does, Willem Groeneveld, Frank Veltman An Update on \em Might \em .
1.Full Text (PDF), 2.Full Text (PS).
LP-1996-08:
John Case The Power of Vacillation in Language Learning.
1.Full Text, 2.Abstract.
LP-1996-07:
Frans Voorbraak Probabilistic Belief Expansion and Conditioning.
1.Full Text, 2.Abstract.
LP-1996-06:
Fran\c{c}ois Lepage, Serge Lapierre The Functional Completeness of 4-value Monotonic Protothetics.
1.Full Text.
LP-1996-05:
Dick de Jongh, Makoto Kanazawa Angluin's Theorem for Indexed Families of R.E. Sets and Applications.
1.Full Text, 2.Abstract.
LP-1996-04:
Reinhard Muskens, Johan van Benthem, Albert Visser Dynamics.
1.Full Text.
LP-1996-03:
Theo M.V. Janssen Compositionality.
1.Full Text (PS), 2.Full Text (PDF), 3.Abstract.
LP-1996-02:
David Beaver Presupposition.
1.Full Text.
LP-1996-01:
Renate Bartsch Understanding Understanding.
1.Full Text.
LP-1995-10:
Jeroen Groenendijk, Martin Stokhof, Frank Veltman Coreference and Contextually Restricted Quantification.
1.Full Text, 2.Abstract.
LP-1995-09:
Jeroen Groenendijk, Marin Stokhof, Frank Veltman Coreference and Modality.
1.Full Text, 2.Abstract.
LP-1995-08:
Jaap van der Does, Jan van Eijck Basic Quantifier Theory.
1.Full Text.
LP-1995-07:
Paul Dekker The Values of Variables in Dynamic Semantics.
1.Full Text.
LP-1995-06:
David Beaver An Infinite Number of Monkeys.
1.Full Text, 2.Abstract.
LP-1995-05:
Nata\v{s}a Rakic Past, Present, Future and Special Relativity.
1.Full Text.
LP-1995-04:
Jaap van der Does, Henk Verkuyl Quantification and Predication.
1.Full Text (PDF), 2.Full Text (PS).
LP-1995-03:
Kazimierz Swirydowicz There exist exactly two Maximal Strictly Relevant Extensions of the Relevant Logic $R^*$.
1.Full Text.
LP-1995-02:
S.T. Baban, S. Husein Programmable Grammar of the Kurdish Language.
1.Full Text.
LP-1995-01:
Marten Trautwein Assessing Complexity Results in Feature Theories.
1.Full Text.
LP-1994-24:
Michiel Leezenberg Metaphor and Literacy.
1.Full Text.
LP-1994-23:
Jaap van der Does Cut Might Cautiously.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
LP-1994-22:
Maarten Marx, Szabolcs Mikulás, István Németi Taming Arrow Logic.
1.Full Text.
LP-1994-21:
Noor van Leusen The Interpretation of Corrections.
1.Full Text.
LP-1994-20:
Renate Bartsch The Myth of Literal Meaning.
1.Full Text.
LP-1994-19:
Renate Bartsch The Relationship between Connectionist Models and a Dynamic Data-Oriented Theory of Concept Formation.
1.Full Text, 2.Abstract.
LP-1994-18:
Claire Gardent Discourse Multiple Dependencies.
1.Full Text, 2.Abstract.
LP-1994-17:
David Beaver Accommodating Topics.
1.Full Text.
LP-1994-16:
David Beaver When Variables Don't Vary Enough.
1.Full Text.
LP-1994-15:
Henk Zeevat The Mechanics of the Counterpart Relation.
1.Full Text.
LP-1994-14:
Jeroen Groenendijk, Martin Stokhof, Frank Veltman Update Semantics for Modal Predicate Logic.
1.Full Text.
LP-1994-13:
Jeroen Groenendijk, Martin Stokhof, Frank Veltman This Might Be It.
1.Full Text.
LP-1994-12:
Paul Dekker Representation and Information in Dynamic Semantics.
1.Full Text, 2.Abstract.
LP-1994-11:
Paul Dekker Predicate Logic with Anaphora.
1.Full Text, 2.Abstract.
LP-1994-10:
Harry P. Stein The Hazards of Harmony.
1.Full Text.
LP-1994-09:
Harry P. Stein Linguistic Normativity and Kripke's Sceptical Paradox.
1.Full Text.
LP-1994-08:
Daniel Osherson, Scott Weinstein, Dick de Jongh, Eric Martin Formal Learning Theory.
1.Full Text.
LP-1994-07:
Nata\v{s}a Rakic Absolute Time, Special Relativity and ML$^\nu$.
1.Full Text.
LP-1994-06:
Johan van Benthem, Dag Westerståhl Directions in Generalized Quantifier Theory.
1.Full Text (PDF), 2.Full Text (PS).
LP-1994-05:
Natasha Kurtonina The Lambek Calculus: Relational Semantics and the Method of Labelling.
1.Full Text, 2.Abstract.
LP-1994-04:
Kazimierz Swirydowicz A Remark on the Maximal Extensions of the Relevant Logic \em R.
1.Full Text.
LP-1994-03:
Jerry Seligman An algebraic appreciation of diagrams.
1.Full Text.
LP-1994-02:
Andrei Arsov Basic Arrow Logic with Relation Algebraic Operators.
1.Full Text.
LP-1994-01:
Dimitar Gelev Introducing Some Classical Elements of Modal Logic to the Propositional Logics of Qualitative Probabilities.
1.Full Text, 2.Abstract.
LP-1993-15:
David Ian Beaver What comes first in Dynamic Semantics.
1.Full Text.
LP-1993-14:
Mati Pentus Lambek Calculus is L-complete.
1.Full Text.
LP-1993-13:
Natasha Alechina Binary Quantifiers and Relational Semantics.
1.Full Text.
LP-1993-12:
Jaap van der Does On Complex Plural Noun Phrases.
1.Full Text.
LP-1993-11:
Friederike Moltmann Resumptive Quantifiers in Exception Sentences.
1.Full Text.
LP-1993-10:
Makoto Kanazawa Weak vs. Strong Readings of Donkey Sentences and Monotonicity Inference in a Dynamic Setting.
1.Full Text.
LP-1993-09:
Makoto Kanazawa Completeness and Decidability of the Mixed Style of Inference with Composition.
1.Full Text.
LP-1993-08:
Zisheng Huang, Peter van Emde Boas Information Acquisition from Multi-Agent resources; abstract.
1.Full Text.
LP-1993-07:
Wojciech Buszkowski On the Equivalence of Lambek Categorial Grammars and Basic Categorial Grammars.
1.Full Text.
LP-1993-06:
Paul Dekker Updates in Dynamic Semantics.
1.Full Text.
LP-1993-05:
Jaap van der Does Sums and Quantifiers.
1.Full Text.
LP-1993-04:
Jacques van Leeuwen Identity, Quarrelling with an Unproblematic Notion.
1.Full Text.
LP-1993-03:
Nikolai Pankrat'ev Completeness of the Lambek Calculus with respect to Relativized Relational Semantics.
1.Full Text.
LP-1993-02:
Makoto Kanazawa Dynamic Generalized Quantifiers and Monotonicity.
1.Full Text.
LP-1993-01:
Martijn Spaan Parallel Quantification.
1.Full Text.
LP-1992-14:
Jeroen Groenendijk, Martin Stokhof Interrogatives and Adverbs of Quantification.
1.Full Text.
LP-1992-13:
Dag Westerstæhl Iterated Quantifiers.
1.Full Text.
LP-1992-12:
Heinrich Wansing Sequent Caluli for Normal Modal Propositional Logics.
1.Full Text.
LP-1992-11:
Johan van Benthem A Note on Dynamic Arrow Logic.
1.Full Text.
LP-1992-10:
Maarten de Rijke Meeting Some Neighbours (a dynamic modal logic meets theories of change and knowledge representation).
1.Full Text.
LP-1992-09:
Johan van Benthem Quantifiers in the world of Types.
1.Full Text.
LP-1992-08:
Maarten de Rijke A System of Dynamic Modal Logic.
1.Full Text.
LP-1992-07:
Jeroen Groenendijk, Martin Stokhof A Note on Interrogatives and Adverbs of Quantification.
1.Full Text.
LP-1992-06:
Patrick Blackburn, Edith Spaan A Modal Perspective on the Computational Complexity of Attribute Value Grammar.
1.Full Text.
LP-1992-05:
David I. Beaver The Kinematics of Presupposition.
1.Full Text.
LP-1992-04:
Paul Dekker An Update Semantics for Dynamic Predicate Logic.
1.Full Text.
LP-1992-03:
Szabolcs Mikulás The Completeness of the Lambek Calculus with respect to Relational Semantics.
1.Full Text.
LP-1992-02:
Patrick Blackburn Modal Logic and Attribute Value Structures.
1.Full Text.
LP-1992-01:
Víctor Sánchez Valencia Lambek Grammar: an Information-based Categorial Grammar.
1.Full Text.
LP-1991-10:
Johan van Benthem Logic and the Flow of Information.
1.Full Text.
LP-1991-09:
Arthur Nieuwendijk Semantics and Comparative Logic.
1.Full Text.
LP-1991-08:
Víctor Sánchez Valencia Categorial Grammar and Natural Reasoning.
1.Full Text.
LP-1991-07:
Henk Verkuyl, Jaap van der Does The Semantics of Plural Noun Phrases.
1.Full Text.
LP-1991-06:
Zhisheng Huang, Peter van Emde Boas Belief Dependence, Revision and Persistence.
1.Full Text.
LP-1991-05:
Zhisheng Huang, Peter van Emde Boas The Schoenmakers Paradox: Its Solution in a Belief Dependence Framework.
1.Full Text.
LP-1991-04:
Makoto Kanazawa The Lambek Calculus enriched with Additional Connectives.
1.Full Text.
LP-1991-03:
Willem Groeneveld Dynamic Semantics and Circular Propositions (superseded by X-1992-03).
1.Full Text.
LP-1991-02:
Frank Veltman Defaults in Update Semantics.
1.Full Text.
LP-1991-01:
Wiebe van der Hoek, Maarten de Rijke Generalized Quantifiers and Modal Logic.
1.Full Text.
LP-1990-17:
Paul Dekker Existential Disclosure, Implicit Arguments in Dynamic Semantics (superseded by X-1993-01).
1.Full Text.
LP-1990-16:
Zhisheng Huang, Karen Kwast Awareness, Negation and Logical Omniscience.
1.Full Text.
LP-1990-15:
Maarten de Rijke The Modal Logic of Inequality.
1.Full Text.
LP-1990-14:
Jeroen Groenendijk, Martin Stokhof Two Theories of Dynamic Semantics.
1.Full Text.
LP-1990-13:
Zhisheng Huang Logics for Belief Dependence.
1.Full Text.
LP-1990-12:
Serge Lapierre A Functional Partial Semantics for Intensional Logic.
1.Full Text.
LP-1990-11:
Johan van Benthem General Dynamics.
1.Full Text.
LP-1990-10:
Theo M.V. Janssen Models for Discourse Markers.
1.Full Text.
LP-1990-09:
Paul Dekker The Scope of Negation in Discourse, towards a Flexible Dynamic Montague grammar.
1.Full Text.
LP-1990-08:
Herman Hendriks Flexible Montague Grammar.
1.Full Text.
LP-1990-07:
Gennaro Chierchia Anaphora and Dynamic Logic.
1.Full Text.
LP-1990-06:
Gennaro Chierchia The Variablity of Impersonal Subjects.
1.Full Text.
LP-1990-05:
Patrick Blackburn Nominal Tense Logic.
1.Full Text.
LP-1990-04:
Aarne Ranta Intuitionistic Categorial Grammar.
1.Full Text.
LP-1990-03:
Renate Bartsch Concept Formation and Concept Composition.
1.Full Text.
LP-1990-02:
Jeroen Groenendijk, Martin Stokhof Dynamic Montague Grammar.
1.Full Text.
LP-1990-01:
Jaap van der Does A Generalized Quantifier Logic for Naked Infinitives.
LP-1989-09:
Zhisheng Huang Dependency of Belief in Distributed Systems.
1.Full Text.
LP-1989-08:
Victor Sánchez Valencia Peirce's Propositional Logic: From Algebra to Graphs.
1.Full Text.
LP-1989-07:
Heinrich Wansing The Adequacy Problem for Sequential Propositional Logic.
LP-1989-06:
Andreja Prijatelj Intensional Lambek Calculi: Theory and Application.
LP-1989-05:
Johan van Benthem Modal Logic as a Theory of Information.
1.Full Text.
LP-1989-04:
Johan van Benthem Language in Action.
1.Full Text.
LP-1989-03:
Yde Venema Two-dimensional Modal Logics for Relation Algebras and Temporal Logic of Intervals.
1.Full Text.
LP-1989-02:
Jeroen Groenendijk, Martin Stokhof Dynamic Predicate Logic, towards a compositional, non-representational semantics of discourse.
1.Full Text.
LP-1989-01:
Johan van Benthem The Fine-Structure of Categorial Semantics.
1.Full Text.
LP-1988-10:
Anneke Kleppe A Blissymbolics Translation Program.
1.Full Text.
LP-1988-09:
Theo M.V. Janssen A mathematical model for the CAT framework of Eurotra.
1.Full Text.
LP-1988-08:
Jeroen Groenendijk, Martin Stokhof Context and Information in Dynamic Semantics.
1.Full Text.
LP-1988-07:
Renate Bartsch Tenses, Aspecs and their Scopes in Discourse.
1.Full Text.
LP-1988-06:
Johan van Benthem Semantic Parallels in Natural Language and Computation.
1.Full Text.
LP-1988-05:
Johan van Benthem Logical Constants across Varying Types.
1.Full Text.
LP-1988-04:
Reinhard Muskens Going Partial in Montague Grammar.
1.Full Text.
LP-1988-03:
n.v.t. Year Report 1987.
LP-1988-02:
Yde Venema Experssive and Completeness.
LP-1988-01:
Michiel van Lambalgen Algorithmic Information Theory.
IV-12:
Gerrit Mannoury Over De Sociale Betekenis van de Wiskundige Denkvorm.
IV-11:
Gerrit Mannoury Over de beteekenis der wiskundige logica voor de philosophie.
IV-10:
A. Heyting Is de toekomst der wiskunde voorspelbaar?.
IV-09:
Peter van Emde Boas Egghead betegelt badkamer (Valedictory).
IV-08:
Peter van Emde Boas Ne Probentur Oracula (Inaugural).
IV-07:
Anne Troelstra Ware en Gevoelige Verhalen (Valedictory).
IV-06:
Frank Veltman De taal der vooroordelen (Valedictory).
IV-05:
Frank Veltman Het verschil tussen 'vaag' en 'niet precies' (Inaugural).
IV-04:
Johan van Benthem Fanning the flames of reason (Valedictory).
IV-03:
Yde Venema Algebra en Coalgebra: bespiegelingen in de logica (Inaugural).
IV-02:
Johan van Benthem Rekenen met Taal (Inaugural).
IV-01:
Johan van Benthem In Alle Redelijkheid (Inaugural).
ITLI-1987-09:
Herman Hendriks Type Change in Semantics: The Scope of Quantification and Coordination.
1.Full Text.
ITLI-1987-08:
Renate Bartsch The Construction of Properties under Perspectives.
1.Full Text.
ITLI-1987-07:
Johan van Benthem Categorial Grammar and Type Theory.
1.Full Text.
ITLI-1987-06:
Eleonore Oversteegen Temporal Adverbials in the Two Track Theory of Time.
1.Full Text.
ITLI-1987-05:
Víctor Sánchez Valencia Traditional Logicians and de Morgan's Example.
1.Full Text.
ITLI-1987-04:
Johan van Benthem Categorical Grammar and Type Theory.
1.Full Text.
ITLI-1987-03:
Jan Willem Klop, Roel de Vrijer Unique Normal Forms for Lambda Calculus with Surjective Pairing.
1.Full Text.
ITLI-1987-02:
Renate Bartsch Frame Representations and Discourse Representations.
1.Full Text.
ITLI-1987-01:
Jeroen Groenendijk, Martin Stokhof Type shifting Rules and the Semantics of Interrogation.
1.Full Text.
ITLI-1986-06:
Johan van Benthem Logical Syntax.
1.Full Text.
ITLI-1986-05:
Kenneth A. Bowen, Dick de Jongh Some Complete Logics for Branched Time, Part I: Well-founded Time, Forward looking Operators.
1.Full Text.
ITLI-1986-04:
Reinhard Muskens A Relational Formulation of the Theory of Types.
1.Full Text.
ITLI-1986-03:
Johan van Benthem Categorial Grammar and Lambda Calculus.
ITLI-1986-02:
Peter van Emde Boas A Semantical Model for Integration and Modularization of Rules.
ITLI-1986-01:
n.v.t. The Institute of Language, Logic and Information.
1.Full Text.
HDS-24:
Wim Veldman Investigations in Intuitionistic Hierarchy Theory. For ordering, please contact the ILLC Buro.
HDS-23:
Hendrik de Vries Compact Spaces and Compactification: An Algebraic Approach. For ordering, please contact the ILLC Buro.
HDS-22:
Albert Visser Aspects of Diagonalization \& Provability. For ordering, please contact the ILLC Buro.
HDS-21:
Gerard R. Renardel de Lavalette Theories with type-free application and extended bar induction.
HDS-20:
L.E.J. Brouwer Over de grondslagen der wiskunde.
HDS-19:
Kees Doets Completeness and Definability.
HDS-18:
Ieke Moerdijk Topics in Intuitionism and Topos Theory.
HDS-17:
Victor Sanchez Studies on Natural Logic and Categorial Grammar.
HDS-16:
Piet Rodenburg Intuitionistic Correspondence Theory.
HDS-15:
Dirk van Dalen Extension Problems in Intuitionistic Plane Projective Geometry.
HDS-14:
Edith Spaan Complexity of Modal Logics.
HDS-13:
Daniel Leivant Absoluteness of Intuitionistic Logic.
HDS-12:
Arend Heyting Intuitionistische Axiomatiek der Projectieve Meetkunde.
HDS-11:
Peter van Emde Boas Abstract Resource-Bound Classes.
HDS-10:
Theo Janssen Foundations and applications of Montague grammar.
HDS-09:
Paul Vitányi Lindenmayer Systems: Structure, Languages, and Growth Functions.
HDS-08:
Michiel van Lambalgen Random Sequences.
HDS-07:
Remko Scha Logical Foundations for Question Answering.
HDS-06:
Johan van Benthem Modal Correspondence Theory.
HDS-05:
Dick de Jongh Investigations on the Intuitionistic Propositional Calculus.
HDS-04:
Yde Venema Many-Dimensional Modal Logic.
HDS-03:
Anne Troelstra Intuitionistic General Topology.
HDS-02:
Frank Veltman Logics for Conditionals.
HDS-01:
Wim Blok Varieties of Interior Algebras.
CT-1998-07:
Frans Voorbraak Optimising and Satisficing under Partial Ignorance.
1.Full Text, 2.Abstract.
CT-1998-06:
Jan van Eijck Programming with Dynamic Predicate Logic.
1.Full Text, 2.Abstract.
CT-1998-05:
Carlos Areces, Maarten de Rijke Expressiveness Revisited.
1.Full Text, 2.Abstract.
CT-1998-04:
Ghica van Emde Boas-Lubsen, Peter van Emde Boas Compiling Horn-Clause Rules in IBM's Business System 12 - an Early Experiment in Declarativeness.
1.Full Text, 2.Abstract.
CT-1998-03:
Johan van Benthem Temporal Patterns and Modal Structure.
1.Full Text (PDF), 2.Full Text (PS), 3.Abstract.
CT-1998-02:
Renata Wassermann On Structured Belief Bases - Preliminary Report.
1.Full Text, 2.Abstract.
CT-1998-01:
Hans de Nivelle Resolution Decides the Guarded Fragment.
1.Full Text, 2.Abstract.
CT-1997-04:
Andrei Muchnik, Andrei Romashchenko, Alexander Shen, Nikolai Vereshagin Upper Semi-Lattice of Binary Strings with the Relation ``$x$ is simple conditional to $y$''.
1.Full Text, 2.Abstract.
CT-1997-03:
Harry Buhrman, Dieter van Melkebeek Complete Sets under Non-Adaptive Reductions are Scarce.
1.Full Text, 2.Abstract.
CT-1997-02:
Peter van Emde Boas Resistance is Futile; Formal Linguistic Observations on Design Patterns.
1.Full Text, 2.Abstract.
CT-1997-01:
Carl H. Smith, R\={u}si\c{n}\u{s} Freivalds Catagory, Measure, Inductive Inference: A Triality Theorem and its Applications.
1.Full Text, 2.Abstract.
CT-1996-02:
A.S. Troelstra From Constructivism to Computer Science.
1.Full Text, 2.Abstract.
CT-1996-01:
Peter van Emde Boas The Convenience of Tilings.
1.Full Text, 2.Abstract.
CT-1995-07:
Frans Voorbraak Combining Unreliable Pieces of Evidence.
1.Full Text, 2.Abstract.
CT-1995-06:
Krzysztof Apt, Rachel Ben-Eliyahu Meta-variables in Logic Programming, or the Praise of Ambivalent Syntax.
1.Full Text.
CT-1995-05:
Joeri Engelfriet Minimal Temporal Epistemic Logic.
1.Full Text.
CT-1995-04:
Paul Vitányi Randomness.
1.Full Text, 2.Abstract.
CT-1995-03:
Krzysztof Apt, Ingrid Luitjes Verification of Logic Programs with Delay Declarations.
1.Full Text, 2.Abstract.
CT-1995-02:
Leen Torenvliet, Marten Trautwein A Note on the Complexity of Restricted Attribute-Value Grammars.
1.Full Text, 2.Abstract.
CT-1995-01:
Marianne Kalsbeek, Yuejun Jiang A Vademecum of Ambivalent Logic.
1.Full Text.
CT-1994-14:
Henkjan Honing The Vibrato Problem. Comparing two Ways to Describe the Intraction between the Continuous Knowledge and Discrete Components in Music Representation Systems.
1.Full Text, 2.Abstract.
CT-1994-13:
Peter Desain, Henkjan Honing CLOSe to the edge? Advanced Object-Oriented Techniques in the Representation of Musical Knowledge.
1.Full Text, 2.Abstract.
CT-1994-12:
Marianne Kalsbeek Gentzen Systems for Logic Programming Styles.
1.Full Text.
CT-1994-11:
Natasha Alechina Logic with Probabilistic Operators.
1.Full Text.
CT-1994-10:
Klaus Ambos-Spies, Hans-Christian Neis, Sebastiaan A. Terwijn Genericity and Measure for Exponential Time.
1.Full Text, 2.Abstract.
CT-1994-09:
Klaus Ambos-Spies, Sebastiaan A. Terwijn, Zheng Xizhong Resource Bounded Randomness and Weakly Complete Problems.
1.Full Text, 2.Abstract.
CT-1994-08:
Krzysztof R. Apt, Peter van Emde Boas, Angelo Welling The STO-problem is NP-hard.
1.Full Text.
CT-1994-07:
Charles H. Bennett, Péter Gács, Ming Li, Paul M.B. Vitányi, Wojciech H. Zurek Thermodynamics of Computation and Information Distance.
1.Full Text.
CT-1994-06:
Guido te Brake, Joost N. Kok, Paul Vitányi Model Selection for Neural Networks: Comparing MDL and NIC.
1.Full Text.
CT-1994-05:
Tao Jiang, Joel I. Seiferas, Paul M.B. Vitányi Two heads are Better than Two Tapes.
1.Full Text.
CT-1994-04:
Ming Lee, Paul Vitányi Inductive Reasoning.
1.Full Text.
CT-1994-03:
Ming Lee, John Tromp, Paul Vitányi Sharpening Occam's Razor (extended abstract).
1.Full Text.
CT-1994-02:
Alessandro Panconesi, Marina Papatriantafilou, Philippas Tsigas, Paul Vitányi Randomized Wait-Free Distributed Naming.
1.Full Text.
CT-1994-01:
Harry Buhrman, Leen Torenvliet On the Cutting Edge of Relativization: the Resource Bounded Injury Method.
1.Full Text.
CT-1993-07:
Janusz A. Pomykala Approximation, Similarity and Rough Constructions, Part I. Elementary Introduction.
1.Full Text.
CT-1993-06:
Krzysztof R. Apt Declarative programming in Prolog.
1.Full Text.
CT-1993-05:
Erik Aarts Proving Theorems of the Lambek Calculus of Order 2 in Polynomial Time.
1.Full Text.
CT-1993-04:
Karen L. Kwast, Sieger van Denneheuvel The Meaning of Duplicates in the Relational Database Model.
1.Full Text.
CT-1993-03:
Johan van Benthem, Jan Bergstra Logic of Transition Systems.
1.Full Text.
CT-1993-02:
Sophie Fischer A Note on the Complexity of Local Search Problems.
1.Full Text.
CT-1993-01:
Marianne Kalsbeek The Vanilla Meta-Interpreter for Definite Logic Programs and Ambivalent Syntax.
1.Full Text.
CT-1992-03:
Krzysztof R. Apt, Kees Doets A new Definition of SLDNF-resolution.
1.Full Text.
CT-1992-02:
Karen L. Kwast, Sieger van Denneheuvel Weak Equivalence: Theory and Applications.
1.Full Text.
CT-1992-01:
Erik de Haas, Peter van Emde Boas Object Oriented Application Flow Graphs and their Semantics (superseded by X-1992-05).
1.Full Text.
CT-1991-12:
Krzysztof R. Apt, Dino Pedreschi Reasoning about Termination of Prolog Programs.
1.Full Text.
CT-1991-11:
Lane A. Hemachandra, Edith Spaan Quasi-Injective Reductions.
1.Full Text.
CT-1991-10:
John Tromp, Paul Vitányi A Randomized Algorithm for Two-Process Wait-Free Test-and-Set.
1.Full Text.
CT-1991-09:
Ming Li, Paul M.B. Vitányi Combinatorial Properties of Finite Sequences with high Kolmogorov Complexity.
1.Full Text.
CT-1991-08:
Kees Doets Levationis Laus.
1.Full Text.
CT-1991-07:
Karen L. Kwast The Incomplete Database.
1.Full Text.
CT-1991-06:
Edith Spaan Census Techniques on Relativized Space Classes.
1.Full Text.
CT-1991-05:
Sieger van Denneheuvel, Karen Kwast Weak Equivalence for Constraint Sets.
1.Full Text.
CT-1991-04:
Sieger van Denneheuvel, Karen Kwast Weak Equivalence.
1.Full Text.
CT-1991-03:
Ming Li, Paul M.B. Vitányi Average Case Complexity under the Universal Distribution Equals Worst Case Complexity.
1.Full Text.
CT-1991-02:
Ming Li, John Tromp, Paul M.B. Vitányi How to Share Concurrent Wait-Free Variables.
1.Full Text.
CT-1991-01:
Ming Li, Paul M.B. Vitányi Kolmogorov Complexity Arguments in Combinatorics.
1.Full Text.
CT-1990-09:
Roel de Vrijer Unique Normal Forms for Combinatory Logic with Parallel Conditional, a case study in Conditional Rewriting.
1.Full Text.
CT-1990-08:
Fred de Geus, Ernest Rotterdam, Sieger van Denneheuvel, Peter van Emde Boas Physiological Modelling using RL.
1.Full Text.
CT-1990-07:
Kees Doets Greatest Fixed Points of Logic Programs.
1.Full Text.
CT-1990-06:
Michiel Smid, Peter van Emde Boas Dynamic Data Structures on Multiple Storage Media, a Tutorial.
1.Full Text.
CT-1990-05:
Sieger van Denneheuvel, Karen Kwast Efficient Normalization of Database and Constraint Expressions.
1.Full Text.
CT-1990-04:
Harry Buhrman, Edith Spaan, Leen Torenvliet Bounded Reductions.
1.Full Text.
CT-1990-03:
Ricard Gavaldà, Leen Torenvliet, Osamu Watanabe, José L. Balcázar Generalized Kolmogorov Complexity in Relativized Separations.
1.Full Text.
CT-1990-02:
Sieger van Denneheuvel, Gerard R. Renardel de Lavalette A Normal Form for PCSJ Expressions.
1.Full Text.
CT-1990-01:
John Tromp, Peter van Emde Boas Associative Storage Modification Machines.
1.Full Text.
CT-1989-11:
Zhisheng Huang, Sieger van Denneheuvel, Peter van Emde Boas Towards Functional Classification of Recursive Query Processing.
1.Full Text.
CT-1989-10:
Sieger van Denneheuvel The Rule Language RL/1.
1.Full Text.
CT-1989-09:
Harry Buhrman, Edith Spaan, Leen Torenvliet On Adaptive Resource Bounded Computations.
1.Full Text.
CT-1989-08:
Harry Buhrman, Steven Homer, Leen Torenvliet Honest Reductions, Completeness and Nondeterministic Complexity Classes.
1.Full Text.
CT-1989-07:
Ming Li, Paul M.B. Vitanyi A Theory of Learning Simple Concepts under Simple Distributinos and Average Case Complexity for the Universal Distribution (Prel. Version).
1.Full Text.
CT-1989-06:
H.W. Lenstra Jr. Finding Isomorphisms between Finite Fields.
1.Full Text.
CT-1989-05:
Pieter H. Hartel, Michiel H.M. Smid, Leen Torenvliet, Willem G. Vree A Parallel Functional Implementation of Range Queries.
1.Full Text.
CT-1989-04:
Harry Buhrman, Leen Torenvliet A Comparison of Reductions on Nondeterministic Space.
1.Full Text.
CT-1989-03:
Ming Li, Herman Neuféglise, Leen Torenvliet, Peter van Emde Boas On Space Efficient Simulation.
1.Full Text.
CT-1989-02:
Peter van Emde Boas Machine Models and Simulations.
1.Full Text.
CT-1989-01:
Michiel H.M. Smid Dynamic Deferred Data Structures.
1.Full Text.
CT-1988-11:
Siger van Denneheuvel, Peter van Emde Boas Towards implementing RL.
1.Full Text.
CT-1988-10:
Edith Spaan, Leen Torenvliet, Peter van Emde Boas Nondeterminism, Fairness and a Fundamental Analogy.
1.Full Text.
CT-1988-09:
Theo M.V. Janssen Towards a Universal Parsing Algorithm for Functional Grammar.
1.Full Text.
CT-1988-08:
Michiel H.M. Smid, Mark H. Overmars, Leen Torenvliet, Peter van Emde Boas Multiple Representations of Dynamic Data Structures.
1.Full Text.
CT-1988-07:
Johan van Benthem Time, Logic and Computation.
1.Full Text.
CT-1988-06:
Michiel H.M. Smid A Data Structure for the Union-find Problem having good Single-Operation Complexity.
1.Full Text.
CT-1988-05:
Peter van Emde Boas Machine Models and Simulations (revised version).
1.Full Text.
CT-1988-04:
Dick de Jongh, Lex Hendriks, Gerard R. Renardel de Lavalette Computations in Fragments of Intuitionistic Propositional Logic.
1.Full Text.
CT-1988-03:
Michiel H.M. Smid, Mark H. Overmars, Leen Torenvliet, Peter van Emde Boas Maintaining Multiple Representations of Dynamic Data Structures.
1.Full Text.
CT-1988-02:
Michiel H.M. Smid General Lower Bounds for the Partitioning of Range Trees.
1.Full Text.
CT-1988-01:
Ming Li, Paul M.B. Vitanyi Two Decades of Applied Kolmogorov Complexity.
1.Full Text.
CL-1993-03:
Patrick Blackburn, Claire Gardent, Wilfried Meyer-Viol Talking about Trees.
1.Full Text.
CL-1993-02:
Theo M.V. Janssen An Algebraic View On Rosetta.
1.Full Text.
CL-1993-01:
Noor van Leusen, László Kálmán The Interpretation of Free Focus.
1.Full Text.
CL-1991-03:
Hub Prüst, Remko Scha, Martin van den Berg A Formal Discourse Grammar tackling Verb Phrase Anaphora.
1.Full Text.
CL-1991-02:
J.C. Scholtes Neural Nets and their Relevance for Information Retrieval.
1.Full Text.
CL-1991-01:
J.C. Scholtes Kohonen Feature Maps in Natural Language Processing.
1.Full Text.

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X