Items where Year is 2016

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type | No Grouping
Jump to: A | B | C | D | E | F | G | H | I | J | L | M | N | O | P | R | S | T | V
Number of items: 95.

A

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]

B

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]

C

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]

D

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]

E

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]

F

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]

G

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

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

H

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]

I

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

J

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

L

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

M

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]

N

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]

O

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

P

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

R

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

S

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]

T

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

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

V

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]

This list was generated on Sat Nov 25 00:30:05 2017 CET.