Items where Year is 2018

DS-2018-08: Arunachalam, Srinivasan (2018) Quantum Algorithms and Learning Theory. Doctoral thesis, University of Amsterdam.

HDS-27: Beth, E.W. (2018) Rede en Aanschouwing in de Wiskunde. Doctoral thesis, University of Amsterdam.

HDS-28: Bethke, Ingemarie (2018) Notes on Partial Combinatory Algebras. Doctoral thesis, University of Amsterdam.

PP-2018-09: Bezhanishvili, Nick and Colacito, Almudena and de Jongh, Dick (2018) A Study of Subminimal Logics of Negation and their Modal Companions. [Pre-print] (Submitted)

PP-2018-13: Bezhanishvili, Nick and Holliday, Wesley H. (2018) Choice-free Stone duality. [Pre-print]

DS-2018-06: Brochhagen, Thomas (2018) Signaling under Uncertainty. Doctoral thesis, University of Amsterdam.

DS-2018-04: Bruineberg, Jelle (2018) Anticipating Affordances: Intentionality in self-organizing brain-body-environment systems. Doctoral thesis, University of Amsterdam.

PP-2018-14: Carl, Merlin and Galeotti, Lorenzo and Löwe, Benedikt (2018) The Bolzano-Weierstrass Theorem in Generalised Analysis. [Pre-print]

PP-2018-17: Chen, Weiwei and Endriss, Ulle (2018) Aggregating Alternative Extensions of Abstract Argumentation Frameworks: Preservation Results for Quota Rules. [Pre-print]

MoL-2018-25: Commandeur, Leon (2018) Logical Functionalism. [Report]

DS-2018-05: Daiber, Joachim (2018) Typologically Robust Statistical Machine Translation: Understanding and Exploiting Differences and Similarities Between Languages in Machine Translation. Doctoral thesis, University of Amsterdam.

MoL-2018-09: Damanik, Raja Oktovin Parhasian (2018) Optimality in Stabilizer Testing. [Report]

MoL-2018-10: Don, Jelle Wijnand (2018) Post-quantum Security of Fiat-Shamir Signatures. [Report]

PP-2018-03: Döcker, Janosch and Dorn, Britta and Endriss, Ulle and de Haan, Ronald and Schneckenburger, Sebastian (2018) Tool Auctions. [Pre-print]

PP-2018-16: Endriss, Ulle (2018) Judgment Aggregation with Rationality and Feasibility Constraints. [Pre-print]

PP-2018-02: Endriss, Ulle and Grandi, Umberto (2018) Graph Aggregation: Extended Abstract. [Pre-print]

MoL-2018-27: Fernández González, Saúl (2018) Generic Models for Topological Evidence Logics. [Report]

DS-2018-11: Gattinger, Malvin (2018) New Directions in Model Checking Dynamic Epistemic Logic. Doctoral thesis, University of Amsterdam.

MoL-2018-23: Gijzen, Marlou M. (2018) A Constructive Approach Towards Formalizing Relativization Using Combinatory Logic. [Report]

MoL-2018-36: Gu, Tao (2018) Majorizability Types, Assemblies, and the Fan Theorem. [Report]

MoL-2018-29: Haenen, Jana (2018) A Gödel-style translation from positive calculus into strict implication logic. [Report]

MoL-2018-08: Heerkens, Noor (2018) Studies in Minimal Mathematics. [Report]

MoL-2018-30: Hoeks, Morwenna (2018) Coordinating Questions. [Report]

MoL-2018-11: Hungerbühler, Silvan (2018) A Computational Method for Philosophical Interpretation. [Pre-print]

DS-2018-02: Huurdeman, Hugo (2018) Supporting the Complex Dynamics of the Information Seeking Process. Doctoral thesis, University of Amsterdam.

DS-2018-12: Ilin, Julia (2018) Filtration Revisited: Lattices of Stable Non-Classical Logics. Doctoral thesis, University of Amsterdam.

MoL-2018-12: Ionescu, Stefania (2018) Advancing the Use of Sparse Knowledge for Qualitative Models and Simulations. [Report]

DS-2018-01: Janssen, Berit (2018) Retained or Lost in Transmission? Analyzing and Predicting Stability in Dutch Folk Songs. Doctoral thesis, University of Amsterdam.

MoL-2018-20: Jónsson, Haukur Páll (2018) Real Logic and Logic Tensor Networks. [Report]

DS-2018-03: Koolen, Corina (2018) Reading beyond the female: The relationship between perception of author gender and literary quality. Doctoral thesis, University of Amsterdam.

PP-2018-05: Lauridsen, Frederik Möllerström (2018) Intermediate logics admitting a structural hypersequent calculus. [Pre-print] (In Press)

MoL-2018-14: Lewis, Ethan S. (2018) Computation with Infinite Programs. [Report]

MoL-2018-07: Lisowski, Grzegorz (2018) Preventing Manipulation in Aggregating Value-Based Argumentation Frameworks. [Report]

MoL-2018-22: Luthra, Mrinalini (2018) How do we Develop Ethically Aware AI? [Report]

PP-2018-15: Löwe, Benedikt and Passmann, Robert and Tarafder, Sourav (2018) Constructing illoyal algebra-valued models of set theory. [Pre-print] (Submitted)

PP-2018-07: Löwe, Benedikt and Van Kerkhove, Bart (2018) Methodological triangulation in empirical philosophy (of mathematics). [Pre-print] (In Press)

MoL-2018-28: McHugh, Dean (2018) Counterfactuals and the Logic of Imaginative Content. [Report]

MoL-2018-06: Metzler, Heidi (2018) Algorithmic Complexity in Textile Patterns. [Report]

MoL-2018-31: Mierzewski, Krzysztof (2018) Probabilistic Stability: dynamics, nonmonotonic logics, and stable revision. [Report]

MoL-2018-32: Milanese, Gian Carlo (2018) An exploration of closure ordinals in the modal μ-calculus. [Pre-print]

MoL-2018-02: Molenaar, Laura S. (2018) Quine and Loglan: the Influence of Philosophical Ideas on the Creation of a Logical Language. [Pre-print]

HDS-25: Mooij, Jan Johann Albinn (2018) La Philosophie des Mathematiques de Henri Poincaré. Doctoral thesis, University of Amsterdam.

MoL-2018-13: Mul, Mathijs S. (2018) Recognizing Logical Entailment: Reasoning with Recursive and Recurrent Neural Networks. [Report]

MoL-2018-19: Möller Kalpak, Hana (2018) Inquisitive Logical Triviality and Grammar. [Report]

MoL-2018-05: Nizzardo, Matteo (2018) Leibniz's Principle and the Problem of Nonindividuality. [Pre-print]

X-2018-01: O'Connell, David (2018) Supertasks and Spacetime. [Report]

MoL-2018-03: Paßmann, Robert (2018) Loyalty and Faithfulness of Model Constructions for Constructive Set Theory. [Report]

MoL-2018-15: Pesetsky, Jonathan (2018) Factual Conditionals and Hypothetical Commitments. [Report]

MoL-2018-33: Proroković, Krsto (2018) Learning to Decide a Formal Language: A Recurrent Neural Network Approach. [Report]

MoL-2018-17: Rapp, Max (2018) Hybrid Logics for Arguments, Beliefs, and their Dynamics. [Report]

MoL-2018-34: Rooduijn, Jan (2018) A right semimodel structure on semisimplicial sets. [Pre-print]

DS-2018-07: Schlöder, Julian (2018) Assertion and Rejection. Doctoral thesis, University of Amsterdam.

MoL-2018-21: Schmitt, Marvin (2018) CRISP: a semantics for focus-sensitive particles in questions. [Report]

DS-2018-10: Shi, Chenwei (2018) Reason to Believe. Doctoral thesis, University of Amsterdam.

PP-2018-18: Solaki, Anthia and Smets, Sonja (2018) The effort of reasoning: modelling the inference steps of boundedly rational agents. [Pre-print]

PP-2018-04: Terzopoulou, Zoi and Endriss, Ulle (2018) Modelling Iterative Judgment Aggregation. [Pre-print]

X-2018-02: Troelstra, A.S. (2018) Corrections to some Publications. [Report]

MoL-2018-16: Turska, Julia Joanna (2018) Conceptual Relativism and Linguistic Anthropology: How to comprehend the incomprehensible? [Report]

MoL-2018-18: Viterbo Ferreira, Jorge (2018) The Problem of Counterpossibles. [Report]

MoL-2018-35: Xing, Yujie (2018) Examining Personality Differences in Chit-Chat Sequence to Sequence Conversational Agents. [Report]

DS-2018-13: Zuiddam, Jeroen (2018) Algebraic complexity, asymptotic spectra and entanglement polytopes. Doctoral thesis, University of Amsterdam.

PP-2018-11: de Haan, Ronald (2018) Hunting for Tractable Languages for Judgment Aggregation. [Pre-print] (In Press)

PP-2018-12: de Haan, Ronald (2018) A Parameterized Complexity View on Description Logic Reasoning. [Pre-print] (In Press)

DS-2018-09: de Holanda Cunha Nobrega, Hugo (2018) Games for functions: Baire classes, Weihrauch degrees, transfinite computations, and ranks. Doctoral thesis, University of Amsterdam.

PP-2018-08: de Jongh, Dick and Maleki, Fatemeh Shirmohammadzadeh (2018) Two Neighborhood Semantics for Subintuitionistic Logics. [Pre-print] (Submitted)

PP-2018-10: de Jongh, Dick and Vargas, Ana Lucia (2018) Finite identification with positive and with complete data. [Pre-print]

PP-2018-06: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian (2018) A new game equivalence, its logic and algebra. [Pre-print]

PP-2018-01: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian (2018) A propositional dynamic logic for instantial neighborhood semantics. [Pre-print]

HDS-26: van Oosten, Jaap (2018) Exercises in Realizability. Doctoral thesis, University of Amsterdam.

MoL-2018-24: van Oostveen, Lucy (2018) What You Know About People’s Preferences Matters: Investigating simpler notions of partial information in the context of strategic manipulation in voting. [Report]

MoL-2018-04: van Wier, Jeroen (2018) Quantum Plaintext Non-Malleability. [Report]

MoL-2018-01: van den Berg, Line (2018) Unreliable Gossip. [Report]

MoL-2018-26: van den Broek, Max (2018) You Don't Believe This Is The Title Moore's Paradox and its relation to the Surprise Exam Paradox, the Knowability Paradox, the Toxin Problem and Newcomb’s Problem. [Report]