Items where Year is 2018

Group by: Authors | Item Type | No Grouping
Jump to: Pre-print | Report | Thesis
Number of items: 60.

Pre-print

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]

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]

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-11: Hungerbühler, Silvan (2018) A Computational Method for Philosophical Interpretation. [Pre-print]

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

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-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]

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

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

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]

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)

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]

Report

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

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]

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

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-12: Ionescu, Stefania (2018) Advancing the Use of Sparse Knowledge for Qualitative Models and Simulations. [Report]

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

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]

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-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]

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-21: Schmitt, Marvin (2018) CRISP: a semantics for focus-sensitive particles in questions. [Report]

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]

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]

Thesis

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.

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

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

This list was generated on Tue May 17 00:30:06 2022 CEST.