Items where Year is 2015

Pre-print

PP-2016-40: van Benthem, Johan (2015) Feeling the Rythms of a Field. [Pre-print]

Report

PP-2015-04: Andréka, Hajnal and van Benthem, Johan and Bezhanishvili, Nick and Németi, István (2015) Changing a Semantics: Opportunism or Courage? [Report]

PP-2015-18: Baltag, Alexandru and Bezhanishvili, Nick and Smets, Sonja (2015) The topological theory of belief. [Report]

PP-2015-22: Baltag, Alexandru and Christoff, Zoé and Rendsvig, Rasmus K. and Smets, Sonja (2015) Dynamic Epistemic Logic of Diffusion and Prediction in Social Networks. [Report]

PP-2015-13: Baltag, Alexandru and Gierasimczuk, Nina and Smets, Sonja (2015) On the Solvability of Inductive Problems: A Study in Epistemic Topology. [Report]

PP-2015-08: Bezhanishvili, Guram and Bezhanishvili, Nick and Ilin, Julia (2015) Cofinal stable logics. [Report]

PP-2015-15: Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan (2015) S4.3 and hereditarily extremally disconnected spaces. [Report]

PP-2015-14: Bezhanishvili, Nick and Gabelaia, David and Ghilardi, Silvio and Jibladze, Mamuka (2015) Admissible bases via stable canonical rules. [Report]

PP-2015-16: Bezhanishvili, Nick and Galatos, Nick and Spada, Luca (2015) Canonical formulas for k-potent commutative, integral residuated lattices. [Report]

PP-2015-21: Bezhanishvili, Nick and Ghilardi, Silvio and Lauridsen, Frederik Möllerström (2015) One-step Heyting algebras and hypersequent calculi with the bounded proof property. [Report]

PP-2015-09: Bezhanishvili, Nick and Sourabh, Sumit (2015) Sahlqvist preservation for topological fixed-point logic. [Report]

MoL-2015-31: Blando, Francesca Zaffora (2015) From von Mises' Impossibility of a Gambling System to Probabilistic Martingales. [Report]

PP-2015-12: Block, Alexander C. and Löwe, Benedikt (2015) Modal Logics and Multiverses. [Report]

MoL-2015-11: Bäumel, Moritz (2015) 'On Certainty' and Formal Epistemology. [Report]

PP-2015-24: Ciná, Giovanni and Endriss, Ulle (2015) A Syntactic Proof of Arrow's Theorem in a Modal Logic of Social Choice Functions. [Report]

MoL-2015-06: Emerich, Johannes (2015) Applying Types as Abstract Interpretation to a Language with Dynamic Dispatch. [Report]

PP-2015-23: Endriss, Ulle and de Haan, Ronald (2015) Complexity of the Winner Determination Problem in Judgment Aggregation: Kemeny, Slater, Tideman, Young. [Report]

MoL-2015-12: Feys, Frank (2015) Fourier Analysis for Social Choice. [Report]

MoL-2015-13: Galeotti, Lorenzo (2015) Computable Analysis Over the Generalized Baire Space. [Report]

MoL-2015-28: Gavazzo, Francesco (2015) Investigations into Linear Logic with Fixed-Point Operators. [Report]

PP-2015-25: Gieske, Sharon and der Pol, Elise van and Endriss, Ulle (2015) Empirical Evaluation of Collective Rationality for Quota Rules in Judgment Aggregation. [Report]

MoL-2015-21: Gkikas, Konstantinos (2015) Stable Beliefs and Conditional Probability Spaces. [Report]

MoL-2015-05: Goldbach, Roosmarijn (2015) Modelling Democratic Deliberation. [Report]

IV-10: Heyting, A. (2015) Is de toekomst der wiskunde voorspelbaar? [Report]

MoL-2015-24: Islam, Md. Shahidul (2015) Limits of Argumentation: A Wittgensteinian Approach. [Report]

MoL-2015-04: Kosterman, Sanne (2015) Learning in Games through Social Networks. [Report]

MoL-2015-19: Kroese, Wouter P.J. (2015) When an Algorithm Cannot Help You Find a Wife: Modeling Two-Sided Matching Markets Using Stochastic Matching. [Report]

MoL-2015-30: Kuan, Ko-Hung (2015) Coherence Preservation: A Threat to Probabilistic Measures of Coherence. [Report]

X-2015-01: Lauridsen, Frederik Möllerström (2015) Bitopological Vietoris spaces and positive modal logic. [Report]

MoL-2015-18: Lauridsen, Frederik Möllerström (2015) One-Step Algebras and Frames for Modal and Intuitionistic Logics. [Report]

MoL-2015-08: Mallinson, Jonathan (2015) Modelling Syntactic and Semantic Tasks with Linguistically Enriched Recursive Neural Networks. [Report]

MoL-2015-03: Močnik, Maša (2015) Slovenian Perfective and Imperfective Explicit Performative Utterances. [Report]

MoL-2015-10: Noble, Bill (2015) All together now... This time with meaning: A hierarchical lexicon for semantic coordination. [Report]

MoL-2015-07: Paping, Babette (2015) A game theoretic approach to cost allocation in the Dutch electricity grid. [Report]

MoL-2015-16: Pasotti, Pietro (2015) Chisholm's Paradox in Action Deontic Logics. [Report]

MoL-2015-32: Ramírez Abarca, Aldo Iván (2015) Topological Models for Group Knowledge and Belief. [Report]

MoL-2015-27: Sandoval, Ana Lucia Vargas (2015) Learning Deductive Reasoning. [Report]

MoL-2015-25: Vecht, Joost (2015) Categorical Structuralism and the Foundations of Mathematics. [Report]

MoL-2015-02: Vyšniauskas, Ignas (2015) $\pi_{dist}$: Towards a Typed $\pi$-calculus for Distributed Programming Languages. [Report]

MoL-2015-23: Wagner, Eileen (2015) Superplural Logic. [Report]

MoL-2015-01: Witteveen, Jouke E. (2015) Structural Parameterized Complexity. [Report]

MoL-2015-15: Zhai, Fangzhou (2015) Toward Probabilistic Natural Logic for Syllogistic Reasoning. [Report]

MoL-2015-09: Zou, Tingxiang (2015) Filtered Order-partial Combinatory Algebras and Classical Realizability. [Report]

MoL-2015-29: Zwart, Maaike Annebeth (2015) Sheaf Models for Intuitionistic Non-Standard Arithmetic. [Report]

MoL-2015-14: de Pol, Iris van (2015) How Difficult is it to Think that you Think that I Think that...? A DEL-based Computational-level Model of Theory of Mind and its Complexity. [Report]

MoL-2015-22: den Haan, Michiel (2015) The Logic of Framing: The Framing Effect as a Non-Monotonic Decision Process of Path Dependence. [Report]

PP-2015-11: van Benthem, Johan (2015) Logic and Philosophy, a Sea of Stories. [Report]

PP-2015-19: van Benthem, Johan (2015) Minimal Deontic Logics. [Report]

PP-2015-03: van Benthem, Johan (2015) Natural Language and Logic of Agency. [Report]

PP-2015-10: van Benthem, Johan (2015) Oscillations, Logic, and Dynamical Systems. [Report]

PP-2015-20: van Benthem, Johan (2015) Possible Worlds Semantics for Classical Logic. [Report]

PP-2015-01: van Benthem, Johan (2015) Talking about Knowledge. [Report]

PP-2015-06: van Benthem, Johan (2015) Those Who Must Do It: the Agency of Language. [Report]

PP-2015-17: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian and Yu, Junhua (2015) Instantial neighbourhood logic. [Report]

PP-2015-02: van Benthem, Johan and Liu, Fenrong (2015) Deontic Logic and Preference Change. [Report]

PP-2015-07: van Benthem, Johan and Liu, Fenrong (2015) Where is Logic Going? [Report]

PP-2015-05: van Benthem, Johan and Smets, Sonja (2015) Dynamic Logics of Belief Change. [Report]

MoL-2015-17: van Berkel, Kees (2015) Kant's Logic in the Critique of Practical Reason. [Report]

IV-09: van Emde Boas, Peter (2015) Egghead betegelt badkamer (Valedictory). [Report]

IV-08: van Emde Boas, Peter (2015) Ne Probentur Oracula (Inaugural). [Report]

MoL-2015-20: van Lee, Hanna Sofie (2015) The Reliability of Scientific Communities: a Logical Analysis. [Report]

MoL-2015-26: van Wijk, Suzanne (2015) Coalitions in Epistemic Planning. [Report]

Thesis

DS-2015-05: Carreiro, Facundo (2015) Fragments of Fixpoint Logics: Automata and Expressiveness. Doctoral thesis, University of Amsterdam.

DS-2015-01: Crespo, María Inés (2015) Affecting Meaning. Subjectivity and evaluativity in gradable adjectives. Doctoral thesis, University of Amsterdam.

HDS-12: Heyting, Arend (2015) Intuitionistische Axiomatiek der Projectieve Meetkunde. Doctoral thesis, University of Amsterdam.

HDS-13: Leivant, Daniel (2015) Absoluteness of Intuitionistic Logic. Doctoral thesis, University of Amsterdam.

DS-2015-02: Madsen, Mathias Winther (2015) The Kid, the Clerk, and the Gambler - Critical Studies in Statistics and Cognitive Science. Doctoral thesis, University of Amsterdam.

DS-2015-04: Sourabh, Sumit (2015) Correspondence and Canonicity in Non-Classical Logic. Doctoral thesis, University of Amsterdam.

DS-2015-03: Zhong, Shengyang (2015) Orthogonality and Quantum Geometry: Towards a Relational Reconstruction of Quantum Theory. Doctoral thesis, University of Amsterdam.

HDS-11: van Emde Boas, Peter (2015) Abstract Resource-Bound Classes. Doctoral thesis, University of Amsterdam.