Items where Year is 2020

Pre-print

PP-2020-22: Adam-Day, Sam and Bezhanishvili, Nick and Gabelaia, David and Marra, Vincenzo (2020) The nerve criterion and polyhedral completeness of intermediate logics. [Pre-print]

PP-2021-08: Baltag, Alexandru and Smets, Sonja (2020) Learning What Others Know. [Pre-print]

PP-2020-06: Baltag, Alexandru and van Benthem, Johan (2020) A Simple Logic of Functional Dependence. [Pre-print] (Submitted)

PP-2020-19: Baltag, Alexandru and van Benthem, Johan and Westerstähl, Dag (2020) Compositionality in Context. [Pre-print] (In Press)

MoL-2020-04: Benjamins, Thijs (2020) Locally finite varieties of Heyting algebras of width 2. [Pre-print]

PP-2020-12: Bezhanishvili, Guram and Bezhanishvili, Nick (2020) Jankov formulas and axiomatization techniques for intermediate logics. [Pre-print]

PP-2020-04: Bezhanishvili, Guram and Bezhanishvili, Nick and Carai, Luca and Gabelaia, David and Ghilardi, Silvio and Jibladze, Mamuka (2020) Diego's theorem for nuclear implicative semilattices. [Pre-print]

PP-2020-02: Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan (2020) Characterizing existence of a measurable cardinal via modal logic. [Pre-print]

PP-2020-05: Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan (2020) The McKinsey-Tarski theorem for locally compact ordered spaces. [Pre-print]

PP-2020-08: Bezhanishvili, Nick and Enqvist, Sebastian and de Groot, Jim (2020) Duality for instantial neighbourhood logic via coalgebra. [Pre-print]

PP-2020-10: Bezhanishvili, Nick and Grilletti, Gianluca and Quadrellaro, Davide Emilio (2020) An Algebraic Approach to Inquisitive and DNA-Logics. [Pre-print] (Submitted)

PP-2020-11: Bezhanishvili, Nick and Henke, Tim (2020) A model-theoretic approach to descriptive general frames: the van Benthem characterisation theorem. [Pre-print]

PP-2020-03: Bezhanishvili, Nick and Moraschini, Tommaso (2020) Hereditarily structurally complete intermediate logics: Citkin's theorem via Esakia duality. [Pre-print]

PP-2020-15: Boixel, Arthur and Endriss, Ulle (2020) Automated Justification of Collective Decisions via Constraint Solving. [Pre-print]

PP-2020-16: Botan, Sirin and Endriss, Ulle (2020) Majority-Strategyproofness in Judgment Aggregation. [Pre-print]

PP-2020-01: Carl, Merlin and Galeotti, Lorenzo (2020) Resetting Infinite Time Blum-Shub-Smale-Machines. [Pre-print] (Submitted)

MoL-2020-05: Călinoiu, Teodor Tiberiu (2020) What Structural Objects Could Be: Mathematical Structuralism and its Prospects. [Pre-print]

PP-2020-13: Galeotti, Lorenzo and Khomskii, Yurii and Väänänen, Jouko (2020) Bounded Symbiosis and Upwards Reflection. [Pre-print] (Submitted)

MoL-2020-06: Havelange, Maëlle (2020) ‘White horse not horse’: An Analysis of Modern Interpretative Approaches to Kung-sun Lung’s White Horse Discourse. [Pre-print]

PP-2019-15: Hawke, Peter and Özgün, Aybüke (2020) Truthmaker Semantics for Epistemic Logic. [Pre-print] (In Press)

PP-2020-17: Kluiving, Boas and de Vries, Adriaan and Vrijbergen, Pepijn and Boixel, Arthur and Endriss, Ulle (2020) Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving. [Pre-print]

MoL-2020-03: Maden, Rachel (2020) The nature of referential intentions. [Pre-print]

PP-2020-07: Proietti, Carlo and Yuste-Ginel, Antonio (2020) Persuasive Argumentation and Epistemic Attitudes. [Pre-print]

PP-2020-18: Rey, Simon and Endriss, Ulle and de Haan, Ronald (2020) Designing Participatory Budgeting Mechanisms Grounded in Judgment Aggregation. [Pre-print]

PP-2020-09: Rooduijn, Jan and Venema, Yde (2020) Completeness for axiomatic extensions of modal logic with the master modality. [Pre-print] (Unpublished)

MoL-2020-01: Schiaffino, Federico (2020) Memory, Time and Language: A Mental Time Travel Model in a Narrative Discourse. [Pre-print]

PP-2020-21: Schoonen, Tom (2020) The Problem of Modally Bad Company. [Pre-print] (In Press)

MoL-2020-02: Sven Hugo, Cornets de Groot (2020) Logical systems with left-sequential versions of NAND and XOR. [Pre-print]

PP-2020-20: Terzopoulou, Zoi (2020) Quota Rules for Incomplete Judgments. [Pre-print] (In Press)

PP-2020-14: van Benthem, Johan and Liu, Fenrong (2020) New Logical Perspectives on Monotonicity. [Pre-print] (In Press)

Report

MoL-2020-15: Campa, Marta (2020) Deflationism about Reference. [Report]

MoL-2020-11: Flaten, Eric (2020) Toward a formal representation of radical interpretation. [Report]

MoL-2020-07: Hill, Angelica M. (2020) The Only Thesis. [Report]

MoL-2020-14: Hoogstra, Brandon Ryan (2020) From Cross-World Predication to Cross-World Travel: Building a Bridge between Worlds. [Report]

MoL-2020-12: Karlsson, Martin (2020) Proofs and Strategies: A Characterization of Classical and Intuitionistic Logic using Games with Explicit Strategies. [Report]

MoL-2020-10: Kluiving, Boas (2020) Computationally Efficient Representation Languages for Fairly Dividing Indivisible Goods. [Report]

MoL-2020-09: Lobski, Leo (2020) Quantum quirks, classical contexts: Towards a Bohrification of effect algebras. [Report]

MoL-2020-13: Melzer, Sebastian David (2020) Canonical Formulas for the Lax Logic. [Report]

MoL-2020-08: Schönlank, Tex Aston Felix (2020) Syntactic logical relations for System F with recursive types and call-by-name semantics. [Report]

MoL-2020-16: Vogelmann, Valentin (2020) Statistical Methodology for Quantitative Linguistics: A Case Study of Learnability and Zipf’s Law. [Report]

Thesis

DS-2020-05: Bannink, Tom (2020) Quantum and stochastic processes. Doctoral thesis, University of Amsterdam.

DS-2020-09: Bastings, Jasmijn (2020) A Tale of Two Sequences: Interpretable and Linguistically-Informed Deep Learning for Natural Language Processing. Doctoral thesis, University of Amsterdam.

DS-2020-17: Blando, Francesca Zaffora (2020) Patterns and Probabilities: A Study in Algorithmic Randomness and Computable Learning. Doctoral thesis, University of Amsterdam.

DS-2020-16: Canavotto, Ilaria (2020) Where Responsibility Takes You: Logics of Agency, Counterfactuals and Norms. Doctoral thesis, University of Amsterdam.

DS-2020-01: Dehghani, Mostafa (2020) Learning with Imperfect Supervision for Language Understanding. Doctoral thesis, University of Amsterdam.

DS-2020-14: Grilletti, Gianluca (2020) Questions & Quantification: A study of first order inquisitive logic. Doctoral thesis, University of Amsterdam.

DS-2020-02: Groenland, Koen (2020) Quantum protocols for few-qubit devices. Doctoral thesis, University of Amsterdam.

DS-2020-06: Hupkes, Dieuwke (2020) Hierarchy and interpretability in neural models of language processing. Doctoral thesis, University of Amsterdam.

DS-2020-10: Kochari, Arnold (2020) Perceiving and communicating magnitudes: Behavioral and electrophysiological studies. Doctoral thesis, University of Amsterdam.

DS-2020-07: Sandoval, Ana Lucia Vargas (2020) On the Path to the Truth: Logical & Computational Aspects of Learning. Doctoral thesis, University of Amsterdam.

DS-2020-15: Schoonen, Tom (2020) Tales of Similarity and Imagination. A modest epistemology of possibility. Doctoral thesis, University of Amsterdam.

DS-2020-08: Schulz, Philip (2020) Latent Variable Models for Machine Translation and How to Learn Them. Doctoral thesis, University of Amsterdam.

DS-2020-11: Tredici, Marco Del (2020) Linguistic Variation in Online Communities: A Computational Perspective. Doctoral thesis, University of Amsterdam.

DS-2020-03: Witteveen, Jouke (2020) Parameterized Analysis of Complexity. Doctoral thesis, University of Amsterdam.

DS-2020-12: der Weij, Bastiaan van (2020) Experienced listeners: Modeling the influence of long-term musical exposure on rhythm perception. Doctoral thesis, University of Amsterdam.

DS-2020-04: van Apeldoorn, Joran (2020) A Quantum View on Convex Optimization. Doctoral thesis, University of Amsterdam.

DS-2020-13: van Gessel, Thom (2020) Questions in Context. Doctoral thesis, University of Amsterdam.