Items where Year is 2017

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type | No Grouping
Jump to: Pre-print | Report
Number of items: 26.


PP-2017-06: Bezhanishvili, Guram and Bezhanishvili, Nick and Santoli, Thomas and Venema, Yde (2017) A simple propositional calculus for compact Hausdorff spaces. [Pre-print]

PP-2017-03: Bezhanishvili, Nick and Marra, Vincenzo and McNeill, Daniel and Pedrini, Andrea (2017) Tarski's theorem on intuitionistic logic, for polyhedra. [Pre-print]

PP-2017-01: Endriss, Ulle and Grandi, Umberto (2017) Graph Aggregation. [Pre-print] (In Press)

PP-2017-04: Enqvist, Sebastian and Seifan, Fatemeh and Venema, Yde (2017) Completeness for mu-calculi: a coalgebraic approach. [Pre-print] (Unpublished)

PP-2017-05: Enqvist, Sebastian and Venema, Yde (2017) Disjunctive bases: normal forms for modal logics. [Pre-print] (Submitted)

PP-2017-10: Galeotti, Lorenzo and Löwe, Benedikt (2017) Order types of models of reducts of Peano Arithmetic and their fragments. [Pre-print] (Unpublished)

PP-2017-08: Galeotti, Lorenzo and Nobrega, Hugo (2017) Towards computable analysis on the generalised real line. [Pre-print] (In Press)

PP-2017-02: Niekus, Joop (2017) What is a choice sequence? How a solution of Troelstra's paradox shows the way to an answer to this question. [Pre-print]

PP-2017-09: Schneckenburger, Sebastian and Dorn, Britta and Endriss, Ulle (2017) The Atkinson Inequality Index in Multiagent Resource Allocation. [Pre-print]

PP-2017-07: Velázquez-Quesada, Fernando R. (2017) Reliability-Based Preference Dynamics: Lexicographic Upgrade. [Pre-print] (In Press)


MoL-2017-16: Aina, Laura (2017) Not logical: A distributional semantic account of negated adjectives. [Report]

MoL-2017-11: Benossi, Lisa (2017) Pretending to work: a closed world reasoning formalisation of pretend play. [Report]

MoL-2017-14: Biziou-Van Pol, Laura (2017) Quantum Dialogues. [Report]

MoL-2017-10: Bułeczka, Andrzej (2017) Medieval vs Contemporary Metaphysics of Intentionality and Logic. [Report]

MoL-2017-03: Coopmans, Tim (2017) Robust self-testing of (almost) all pure two-qubit states. [Report]

MoL-2017-01: Dongen, Nina (2017) Analysis and Prediction of Dutch-English Code-switching in Dutch Social Media Messages. [Report]

MoL-2017-04: Griffioen, Simone (2017) Covertly Controlling Choices: Manipulating Decision Making Under Partial Knowledge. [Report]

MoL-2017-07: Hornischer, Levin (2017) Hyperintensionality and Synonymy. [Report]

MoL-2017-06: Koek, Merlijn (2017) Extensions Of The Garden-hose Model. [Report]

MoL-2017-13: Moon, Stella (2017) Isaacson's thesis and Wilkie's theorem. [Report]

MoL-2017-02: Sierra Márquez, Pablo (2017) A formalization of Spinoza's Ethics, Part 1: Consequences for interpretation. [Report]

MoL-2017-12: Solaki, Anthia (2017) Steps out of Logical Omniscience. [Report]

MoL-2017-09: Talmina, Natalia (2017) Quantifiers and verification strategies: connecting the dots (literally). [Report]

MoL-2017-05: Terzopoulou, Zoi (2017) Manipulating the Manipulators: Richer Models of Strategic Behavior in Judgment Aggregation. [Report]

MoL-2017-15: Wagemaker, Jana (2017) Gossip in NetKAT. [Report]

MoL-2017-08: de Vos, Aafke (2017) The Logic of Divinatory Reasoning. [Report]

This list was generated on Tue Sep 26 00:30:24 2017 CEST.