Up a level |

Number of items: **95**.

PP-2016-14:
Airiau, Stéphane and Bonzon, Elise and Endriss, Ulle and Maudet, Nicolas and Rossit, Julien
(2016)
*Rationalisation of Profiles of Abstract Argumentation Frameworks.*
[Report]

PP-2016-08:
Alhama, Raquel G. and Scha, Remko and Zuidema, Willem
(2016)
*Memorization of sequence-segments by humans and non-human animals: the Retention-Recognition Model.*
[Report]

PP-2016-09:
Alhama, Raquel G. and Zuidema, Willem
(2016)
*Generalization in Artificial Language Learning: Modelling the Propensity to Generalize.*
[Report]

PP-2016-26:
Andréka, Hajnal and van Benthem, Johan and Németi, István
(2016)
*On a New Semantics for First-Order Predicate Logic.*
[Report]

PP-2016-28:
Aucher, Guillaume and and Davide Grossi, Johan van Benthem
(2016)
*Modal Logics of Sabotage Revisited.*
[Report]

MoL-2016-07:
Badura, Christopher
(2016)
*Truth in Fiction via Non-Standard Belief Revision.*
[Report]

PP-2016-21:
Baltag, Alexandru and Bezhanishvili, Nick and Smets, Sonja
(2016)
*Justified Belief and the Topology of Evidence.*
[Report]

X-2016-02:
Baltag, Alexandru and Ciná, Giovanni
(2016)
*Bisimulation for conditional modalities.*
[Report]

MoL-2016-04:
Bellaar, Rick
(2016)
*Understanding Schizophrenia: A Wittgensteinian Response to Double-Bookkeeping.*
[Report]

MoL-2016-16:
Bellomo, Anna
(2016)
*Theories of size for infinite collections.*
[Report]

PP-2016-11:
Bezhanishvili, Guram and Bezhanishvili, Nick and Ilin, Julia
(2016)
*Stable modal logics.*
[Report]

PP-2016-36:
Bezhanishvili, Guram and Bezhanishvili, Nick and Ilin, Julia
(2016)
*Subframization and stabilization for superintuitionistic logics.*
[Pre-print]
(Submitted)

PP-2016-19:
Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan
(2016)
*Topological and logical explorations of Krull dimension.*
[Report]

PP-2016-37:
Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan
(2016)
*Tychonoff HED-spaces and Zemanian extensions of S4.3.*
[Pre-print]

PP-2016-20:
Bezhanishvili, Nick and de Jongh, Dick and Tzimoulis, Apostolos and Zhao, Zhiguang
(2016)
*Universal models for the positive fragment of intuitionistic logic.*
[Report]

HDS-01:
Blok, Wim
(2016)
*Varieties of Interior Algebras.*
[Report]

MoL-2016-08:
Botan, Sirin
(2016)
*Propositional Opinion Diffusion with Constraints.*
[Report]

PP-2016-15:
Botan, Sirin and Novaro, Arianna and Endriss, Ulle
(2016)
*Group Manipulation in Judgment Aggregation.*
[Report]

PP-2016-05:
Brandt, Felix and Conitzer, Vincent and Endriss, Ulle and Lang, Jérôme and Procaccia, Ariel D.
(2016)
*Introduction to Computational Social Choice.*
[Report]

PP-2016-25:
Brill, Markus and Elkind, Edith and Endriss, Ulle and Grandi, Umberto
(2016)
*Pairwise Diffusion of Preference Rankings in Social Networks.*
[Report]

HDS-20:
Brouwer, L.E.J.
(2016)
*Over de grondslagen der wiskunde.*
[Report]

PP-2016-16:
Cailloux, Olivier and Endriss, Ulle
(2016)
*Arguing about Voting Rules.*
[Report]

MoL-2016-17:
Cattermole, Thomas
(2016)
*Paraconsistent Logics and Identity - a Pragmatic Approach.*
[Report]

PP-2016-35:
Chevaleyre, Yann and Endriss, Ulle and Maudet, Nicolas
(2016)
*Distributed Fair Allocation of Indivisible Goods.*
[Report]

PP-2016-17:
Ciná, Giovanni and Endriss, Ulle
(2016)
*Proving Classical Theorems of Social Choice Theory in Modal Logic.*
[Report]

X-2016-01:
Ciná, Giovanni and Enqvist, Sebastian
(2016)
*Bisimulation and path logic for sheaves: contextuality and beyond.*
[Report]

MoL-2016-14:
Colacito, Almudena
(2016)
*Minimal and Subminimal Logic of Negation.*
[Report]

PP-2016-23:
Colacito, Almudena and de Jongh, Dick and Vargas, Ana Lucia
(2016)
*Subminimal Negation.*
[Report]

PP-2016-07:
Costantini, Marco and Groenland, Carla and Endriss, Ulle
(2016)
*Judgment Aggregation under Issue Dependencies.*
[Report]

HDS-19:
Doets, Kees
(2016)
*Completeness and Definability.*
[Report]

MoL-2016-18:
Drumm, Eli
(2016)
*Readtable-Macro Transducer-Chain Parsing.*
[Report]

MoL-2016-05:
Dulek, Yfke
(2016)
*Quantum Homomorphic Encryption for Polynomial-Sized Circuits.*
[Report]

PP-2016-34:
Döcker, Janosch and Dorn, Britta and Endriss, Ulle and Krüger, Dominikus
(2016)
*Complexity and Tractability Islands for Combinatorial Auctions on Discrete Intervals with Gaps.*
[Report]

HDS-05:
de Jongh, Dick
(2016)
*Investigations on the Intuitionistic Propositional Calculus.*
[Report]

PP-2016-13:
de Jongh, Dick and Maleki, Fatemeh Shirmohammadzadeh
(2016)
*Subintuitionistic Logics with Kripke Models.*
[Report]

PP-2016-12:
de Jongh, Dick and Maleki, Fatemeh Shirmohammadzadeh
(2016)
*Weak Subintuitionistic Logics.*
[Report]

X-2016-04:
der Molen, Tim van
(2016)
*The Johansson/Heyting letters and the birth of minimal logic.*
[Report]

PP-2016-06:
Endriss, Ulle
(2016)
*Judgment Aggregation.*
[Report]

PP-2016-18:
Endriss, Ulle and Grandi, Umberto and de Haan, Ronald and Lang, Jérôme
(2016)
*Succinctness of Languages for Judgment Aggregation.*
[Report]

PP-2016-24:
Endriss, Ulle and Obraztsova, Svetlana and Polukarov, Maria and Rosenschein, Jeffrey S.
(2016)
*Strategic Voting with Incomplete Information.*
[Report]

PP-2016-33:
Enqvist, Sebastian and Seifan, Fatemeh and Venema, Yde
(2016)
*Completeness for the modal mu-calculus: separating the combinatorics from the dynamics.*
[Report]

PP-2016-33:
Enqvist, Sebastian and Seifan, Fatemeh and Venema, Yde
(2016)
*Completeness for the modal mu-calculus: separating the combinatorics from the dynamics.*
[Report]

PP-2016-39:
Fontaine, Gaëlle and Venema, Yde
(2016)
*Some model theory for the modal mu-calculus:
syntactic characterisations of semantic properties.*
[Pre-print]
(Submitted)

MoL-2016-13:
Frumin, Daniil
(2016)
*Weak Factorisation Systems in the Effective Topos.*
[Report]

MoL-2016-24:
Gioulatou, Iliana
(2016)
*Hyperintensionality.*
[Report]

MoL-2016-26:
Gogoladze, Kristina
(2016)
*Evidence-Based Belief Revision for Non-Omniscient Agents.*
[Report]

MoL-2016-22:
Hendriks, Tom
(2016)
*Beyond the Regular: A Formalization of Non-Isochronous Metrical Structure.*
[Report]

PP-2016-31:
Henk, Paula and Shavrukov, V. Yu.
(2016)
*A Solovay function for the least 1-inconsistent subtheory of PA.*
[Report]

PP-2016-32:
Henk, Paula and Visser, Albert
(2016)
*Interpretability suprema in Peano Arithmetic.*
[Report]

HDS-12:
Heyting, Arend
(2016)
*Intuitionistische Axiomatiek der Projectieve Meetkunde.*
[Report]

MoL-2016-01:
Hiller, Sarah
(2016)
*Corrective Feedback in First Language Acquisition.*
[Report]

MoL-2016-09:
in 't Veld, Sander
(2016)
*Temporal Logics, Automata and the Modal $\mu$-Calculus.*
[Report]

HDS-10:
Janssen, Theo
(2016)
*Foundations and applications of Montague grammar.*
[Report]

HDS-13:
Leivant, Daniel
(2016)
*Absoluteness of Intuitionistic Logic.*
[Report]

PP-2016-10:
Marti, Johannes and Pinosio, Riccardo
(2016)
*A Game Semantics for System P.*
[Report]

MoL-2016-11:
Marzion, Evan
(2016)
*Closed Sets of Higher-Order Functions.*
[Report]

X-2016-06:
Marzion, Evan
(2016)
*Constructive Notions of Cofiniteness.*
[Report]

MoL-2016-23:
Massas, Guillaume
(2016)
*Possibility Spaces, Q-Completions and Rasiowa-Sikorski Lemmas for Non-Classical Logics.*
[Report]

PP-2016-38:
McWhirter, Sarah and Szymanik, Jakub
(2016)
*Constructing Semantic Automata for Quantifier Iterations.*
[Report]

MoL-2016-10:
Michgelsen, Philip W.B.
(2016)
*Genetic-Algorithmic Optimisation for School-Allocation Mechanisms: A Study of Amsterdam's Student to High-School Allocation Problem.*
[Report]

HDS-18:
Moerdijk, Ieke
(2016)
*Topics in Intuitionism and Topos Theory.*
[Report]

MoL-2016-02:
Nisidis, Nikolas
(2016)
*A decompositional analysis of discourse relations.*
[Report]

MoL-2016-19:
Novaro, Arianna
(2016)
*Judgment Aggregation in Dynamic Logic of Propositional Assignments.*
[Report]

MoL-2016-25:
Occhipinti Liberman, Andrés
(2016)
*Dynamic Evidence Logics with Relational Evidence.*
[Report]

MoL-2016-03:
Pastan, Stephen
(2016)
*Another Approach to Truthmaker Semantics.*
[Report]

HDS-16:
Rodenburg, Piet
(2016)
*Intuitionistic Correspondence Theory.*
[Report]

HDS-17:
Sanchez, Victor
(2016)
*Studies on Natural Logic and Categorial Grammar.*
[Report]

MoL-2016-06:
Santoli, Thomas
(2016)
*Logics for Compact Hausdorff Spaces via de Vries Duality.*
[Report]

HDS-07:
Scha, Remko
(2016)
*Logical Foundations for Question Answering.*
[Report]

MoL-2016-20:
Schoonen, Tom
(2016)
*Thinking the Impossible
Arguments for Impossible Worlds in Semantics.*
[Report]

MoL-2016-28:
Sequeira, Nigel
(2016)
*Knowing How To Do Semantics.*
[Report]

X-2016-03:
Shi, Chenwei and Smets, Sonja
(2016)
*Beliefs Supported by Arguments.*
[Report]

HDS-14:
Spaan, Edith
(2016)
*Complexity of Modal Logics.*
[Report]

MoL-2016-15:
Sparkes, Benjamin
(2016)
*Inquisitive Conditional-Doxastic Logic.*
[Report]

MoL-2016-27:
Streekstra, Leanne M.
(2016)
*On the stability of flexible permission structures.*
[Report]

HDS-03:
Troelstra, Anne
(2016)
*Intuitionistic General Topology.*
[Report]

MoL-2016-21:
Tuyt, Olim F.
(2016)
*Canonical Rules on Neighbourhood Frames.*
[Report]

HDS-02:
Veltman, Frank
(2016)
*Logics for Conditionals.*
[Report]

HDS-04:
Venema, Yde
(2016)
*Many-Dimensional Modal Logic.*
[Report]

HDS-09:
Vitányi, Paul
(2016)
*Lindenmayer Systems: Structure, Languages, and Growth Functions.*
[Report]

PP-2016-01:
van Benthem, Johan
(2016)
*Fanning the Flames of Reason.*
[Report]

PP-2016-27:
van Benthem, Johan
(2016)
*Logic in Play.*
[Report]

HDS-06:
van Benthem, Johan
(2016)
*Modal Correspondence Theory.*
[Report]

PP-2016-03:
van Benthem, Johan
(2016)
*The Open Course Logic in Action.*
[Report]

PP-2016-30:
van Benthem, Johan
(2016)
*Tales from an Old Manuscript.*
[Report]

PP-2016-02:
van Benthem, Johan
(2016)
*Tracking Information.*
[Report]

PP-2016-41:
van Benthem, Johan
(2016)
*"Transmissie, Emergentie en Fading Foundations", a commentary.*
[Pre-print]

PP-2016-04:
van Benthem, Johan and Bezhanishvili, Nick and Holliday, Wesley H.
(2016)
*A bimodal perspective on possibility semantics.*
[Report]

X-2016-05:
van Benthem, Johan and Yafeng, Wang
(2016)
*Notes on Mathematical Modal Logic.*
[Report]

PP-2016-29:
van Benthem, Johan and and Wesley H. Holliday, Nick Bezhanishvili
(2016)
*A Bimodal Perspective on Possibility Semantics.*
[Report]

HDS-15:
van Dalen, Dirk
(2016)
*Extension Problems in Intuitionistic Plane Projective Geometry.*
[Report]

HDS-11:
van Emde Boas, Peter
(2016)
*Abstract Resource-Bound Classes.*
[Report]

PP-2016-22:
van Emde Boas, Peter and van Emde Boas-Lubsen, Ghica
(2016)
*The Rules of Victorious Warriors.*
[Report]

MoL-2016-12:
van Gessel, Thom
(2016)
*Action Models in Inquisitive Logic.*
[Report]

HDS-08:
van Lambalgen, Michiel
(2016)
*Random Sequences.*
[Report]