- Subjects (114)
**Logic**(752)

Group by: Authors | Item Type

Number of items at this level: **751**.

DS-1995-19:
Aarts, Erik
(1995)
*Investigations in Logic, Language and Computation.*
Doctoral thesis, University of Amsterdam.

PP-2008-27:
Abramsky, Samson and Väänänen, Jouko
(2008)
*From IF to BI, A Tale of Dependence and Separation.*
[Report]

MoL-2019-08:
Adam-Day, Sam
(2019)
*Polyhedral Completeness in Intermediate and Modal Logics.*
[Report]

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]

MoL-2021-10:
Ade, Leyla
(2021)
*Iterative Goal-Based Voting.*
[Report]

PP-2009-29:
Ahmet, Hamal and Mehmet, Terziler
(2009)
*Peritopological Spaces and Bisimulations.*
[Report]

DS-2002-02:
Aiello, Marco
(2002)
*Spatial Reasoning: Theory and Practice.*
Doctoral thesis, University of Amsterdam.

PP-2001-18:
Aiello, M. and van Benthem, J. and Bezhanishvili, G.
(2001)
*Reasoning About Space: The Modal Way.*
[Report]

PP-2001-23:
Aiello, Marco and van Benthem, Johan
(2001)
*A Modal Walk Through Space.*
[Report]

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

PP-2017-12:
Airiau, Stéphane and Bonzon, Elise and Endriss, Ulle and Maudet, Nicolas and Rossit, Julien
(2017)
*Rationalisation of Profiles of Abstract Argumentation Frameworks: Characterisation and Complexity.*
[Pre-print]

DS-2017-08:
Alhama, Raquel Garrido
(2017)
*Computational Modelling of Artificial Language Learning: Retention, Recognition & Recurrence.*
Doctoral thesis, University of Amsterdam.

DS-1997-04:
Aliseda-LLera, Atocha
(1997)
*Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence.*
Doctoral thesis, University of Amsterdam.

MoL-2022-19:
Almeida, Rodrigo Nicolau
(2022)
*Polyatomic Logics and Generalised Blok-Esakia Theory with Applications to Orthologic and KTB.*
[Report]

DS-2001-01:
Aloni, Maria
(2001)
*Quantification under Conceptual Covers.*
Doctoral thesis, University of Amsterdam.

PP-2022-05:
Aloni, Maria and van Ormondt, Peter
(2022)
*Modified numerals and split disjunction: the first-order case.*
[Pre-print]
(Submitted)

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-2016-26:
Andréka, Hajnal and van Benthem, Johan and Németi, István
(2016)
*On a New Semantics for First-Order Predicate Logic.*
[Report]

MoL-2021-03:
Anttila, Aleksi
(2021)
*The Logic of Free Choice Axiomatizations of State-based Modal Logics.*
[Report]

DS-2000-05:
Areces, Carlos
(2000)
*Logic Engineering. The Case of Description and Hybrid Logics.*
Doctoral thesis, University of Amsterdam.

PP-2001-19:
Areces, C. and Blackburn, P. and Marx, M.
(2001)
*Repairing the Interpolation Theorem in Quantified Modal Logic.*
[Report]

PP-2002-15:
Areces, Carlos and Heguiabehere, Juan
(2002)
*HyLoRes: A Hybrid Logic Prover Based on Direct Resolution.*
[Report]

PP-2002-16:
Areces, Carlos and de Nivelle, Hans and de Rijke, Maarten
(2002)
*Resolution in Modal, Description and Hybrid Logic.*
[Report]

PP-2002-14:
Areces, Carlos and de Rijke, Maarten and Infante-Lopez, Gabriel
(2002)
*Decomposing Modal Logic.*
[Report]

MoL-2022-11:
Arteche Echeverría, Noel
(2022)
*Parameterized Compilability.*
[Report]

PP-2016-28:
Aucher, Guillaume and and Davide Grossi, Johan van Benthem
(2016)
*Modal Logics of Sabotage Revisited.*
[Report]

DS-2017-07:
Aybüke Özgün
(2017)
*Evidence in Epistemic Logic: A Topological Perspective.*
Doctoral thesis, University of Amsterdam.

MoL-2017-30:
Bacchin, Marco
(2017)
*The perception of number: towards a topological approach.*
[Report]

PP-2007-11:
Bader, Sebastian and Hitzler, Pascal and Hölldobler, Steffen and Witzel, Andreas
(2007)
*A Fully Connectionist Model Generator for Covered.*
[Report]

MoL-2016-07:
Badura, Christopher
(2016)
*Truth in Fiction via Non-Standard Belief Revision.*
[Report]

DS-2009-07:
Balogh, Kata
(2009)
*Theme with Variations. A Context-based Analysis of Focus.*
Doctoral thesis, University of Amsterdam.

PP-2022-06:
Baltag, Alexandru and Bezhanishvili, Nick and Fernandez Duque, David
(2022)
*The Topology of Surprise.*
[Pre-print]

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

PP-2019-14:
Baltag, Alexandru and Özgün, Aybüke and Vargas, Ana Lucia
(2019)
*Arbitrary Public Announcement Logic with Memory.*
[Pre-print]

PP-2021-07:
Baltag, Alexandru and Bezhanishvili, Nick and Fernandez Duque, David
(2021)
*The topological mu-calculus: completeness and decidability.*
[Pre-print]

PP-2019-08:
Baltag, Alexandru and Bezhanishvili, Nick and Fernández González, Saúl
(2019)
*The McKinsey-Tarski Theorem for Topological Evidence Logics.*
[Pre-print]

PP-2016-21:
Baltag, Alexandru and Bezhanishvili, Nick and Smets, Sonja
(2016)
*Justified Belief and the Topology of Evidence.*
[Report]

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

PP-2017-15:
Baltag, Alexandru and Boddy, Rachel and Smets, Sonja
(2017)
*Group Knowledge in Interrogative Epistemology.*
[Pre-print]

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]

X-2016-02:
Baltag, Alexandru and Ciná, Giovanni
(2016)
*Bisimulation for conditional modalities.*
[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-2020-06:
Baltag, Alexandru and van Benthem, Johan
(2020)
*A Simple Logic of Functional Dependence.*
[Pre-print]
(Submitted)

PP-2019-02:
Baltag, Alexandru and van Benthem, Johan
(2019)
*Some Thoughts on the Logic of Imprecise Observation.*
[Pre-print]

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

DS-2014-03:
Bastiaanse, Harald A.
(2014)
*Very, Many, Small, Penguins.*
Doctoral thesis, University of Amsterdam.

PP-2013-13:
Bastiaanse, Harald and Veltman, Frank
(2013)
*Making the Right Exceptions.*
[Report]

PP-2005-16:
Beklemishev, Lev D. and Joosten, Joost J. and Vervoort, Marco
(2005)
*A finitary treatment of the closed fragment of Japaridze's provability logic.*
[Report]

MoL-2019-20:
Belardinelli, Gaia
(2019)
*Gatekeepers in Social Networks: Logics for Communicative Actions.*
[Report]

MoL-2016-16:
Bellomo, Anna
(2016)
*Theories of size for infinite collections.*
[Report]

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

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

DS-2010-12:
Bentzen, Martin Mose
(2010)
*Stit, Iit, and Deontic Logic for Action Types.*
Doctoral thesis, University of Amsterdam.

DS-2019-02:
Bergfeld, Jort
(2019)
*Quantum logics for expressing and proving the correctness of quantum programs.*
Doctoral thesis, University of Amsterdam.

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

DS-2006-02:
Bezhanishvili, Nick
(2006)
*Lattices of intermediate and cylindric modal logics.*
Doctoral thesis, University of Amsterdam.

PP-2022-07:
Bezhanishvili, Nick and Cleani, Antonio M.
(2022)
*Translational embeddings via stable canonical rules.*
[Pre-print]

PP-2022-04:
Bezhanishvili, Nick and Martins, Miguel and Moraschini, Tommaso
(2022)
*Bi-intermediate logics of trees and co-trees.*
[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-2014-08:
Bezhanishvili, Guram and Bezhanishvili, Nick and Iemhoff, Rosalie
(2014)
*Stable canonical rules.*
[Report]

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

PP-2016-11:
Bezhanishvili, Guram and Bezhanishvili, Nick and Ilin, Julia
(2016)
*Stable modal logics.*
[Report]

PP-2016-36:
Bezhanishvili, Guram and Bezhanishvili, Nick and Ilin, Julia
(2016)
*Subframization and stabilization for superintuitionistic logics.*
[Pre-print]
(Submitted)

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-2017-14:
Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan
(2017)
*On modal logics arising from scattered locally compact Hausdorff spaces.*
[Pre-print]

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-2016-19:
Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan
(2016)
*Topological and logical explorations of Krull dimension.*
[Report]

PP-2016-37:
Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan
(2016)
*Tychonoff HED-spaces and Zemanian extensions of S4.3.*
[Pre-print]

PP-2017-13:
Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan
(2017)
*A new proof of the McKinsey-Tarski Theorem.*
[Pre-print]

PP-2021-05:
Bezhanishvili, Guram and Bezhanishvili, Nick and Moraschini, Tommaso and Stronkowski, Michal
(2021)
*Profiniteness and representability of spectra of Heyting algebras.*
[Pre-print]

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-2021-06:
Bezhanishvili, Guram and Bezhanishvili, Nick and de Groot, Jim
(2021)
*A coalgebraic approach to dualities for neighbourhood frames.*
[Pre-print]

PP-2008-11:
Bezhanishvili, Guram and Bezhanishvili, Nick and de Jongh, Dick
(2008)
*The Kuznetsov-Gerciu and Rieger-Nishimura Logics: The Boundaries of the Finite Model Property.*
[Report]

PP-2002-06:
Bezhanishvili, Guram and Gehrke, Mai
(2002)
*A New Proof of Completeness of S4 with respect to the Real Line.*
[Report]

PP-2017-19:
Bezhanishvili, Guram and Harding, John and Ilin, Julia and Lauridsen, Frederik Möllerström
(2017)
*MacNeille transferability and stable classes of Heyting algebras.*
[Pre-print]
(Submitted)

PP-2006-08:
Bezhanishvili, Guram and van Benthem, Johan
(2006)
*Modal Logics of Space.*
[Report]

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-2014-02:
Bezhanishvili, Nick and Coumans, Dion and van Gool, Sam and de Jongh, Dick
(2014)
*Duality and universal models for the meet-implication fragment of IPC.*
[Report]

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

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-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-2018-13:
Bezhanishvili, Nick and Holliday, Wesley H.
(2018)
*Choice-free Stone duality.*
[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-2020-03:
Bezhanishvili, Nick and Moraschini, Tommaso
(2020)
*Hereditarily structurally complete intermediate logics: Citkin's theorem via Esakia duality.*
[Pre-print]

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

PP-2019-09:
Bezhanishvili, Nick and de Groot, Jim and Venema, Yde
(2019)
*Coalgebraic geometric logic.*
[Pre-print]

PP-2011-34:
Bezhanishvili, Nick and de Jongh, Dick
(2011)
*Extendible formulas in two variables in intuitionistic logic.*
[Report]

PP-2014-19:
Bezhanishvili, Nick and de Jongh, Dick
(2014)
*Stable formulas in intuitionistic logic.*
[Report]

PP-2016-20:
Bezhanishvili, Nick and de Jongh, Dick and Tzimoulis, Apostolos and Zhao, Zhiguang
(2016)
*Universal models for the positive fragment of intuitionistic logic.*
[Report]

PP-2004-06:
Bezhanishvili, Nick and ten Cate, Balder
(2004)
*Transfer results for hybrid logic -- Part I: the case without satisfaction operators.*
[Report]

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

PP-2001-17:
Blackburn, P. and Kamps, J. and Marx, M.
(2001)
*Situation Calculus as Hybrid Logic: First Steps.*
[Report]

PP-2002-12:
Blackburn, Patrick and Marx, Maarten
(2002)
*Constructive Interpolation in Hybrid Logic.*
[Report]

PP-2003-10:
Blackburn, Patrick and Marx, Maarten
(2003)
*Tableaux for Quantified Hybrid Logic.*
[Report]

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

PP-2006-20:
Bod, Rens
(2006)
*Towards a General Model of Applying Science.*
[Report]

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

DS-2021-02:
Booij, Elbert J.
(2021)
*The Things Before Us: On What it Is to Be an Object.*
Doctoral thesis, University of Amsterdam.

MoL-2016-08:
Botan, Sirin
(2016)
*Propositional Opinion Diffusion with Constraints.*
[Report]

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

DS-2016-03:
Bouwer, Fleur Leonie
(2016)
*What do we need to hear a beat? The influence of attention, musical abilities, and accents on the perception of metrical rhythm.*
Doctoral thesis, University of Amsterdam.

MoL-2014-17:
Brinkhorst, Sanne
(2014)
*On Evolution of Compositionality.*
[Report]

DS-2022-04:
Brokkelkamp, Ruben
(2022)
*How Close Does It Get?
From Near-Optimal Network Algorithms to Suboptimal Equilibrium Outcomes.*
Doctoral thesis, ILLC.

DS-1996-04:
Bruggeman, Jeroen
(1996)
*Formalizing Organizational Ecology.*
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.

DS-2022-05:
Bussière-Carae, Lwenn
(2022)
*No means No! Speech Acts in Conflict.*
Doctoral thesis, University of Amsterdam.

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

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

PP-2007-20:
Caicedo, Xavier and Dechesne, Francien and Janssen, Theo M.V.
(2007)
*Equivalence and quantier rules for logic with imperfect information.*
[Report]

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

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

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

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

PP-2021-01:
Carl, Merlin and Galeotti, Lorenzo and Passmann, Robert
(2021)
*Randomising Realisability.*
[Pre-print]
(Submitted)

MoL-2022-02:
Carr, James
(2022)
*Hereditary Structural Completeness over K4: Rybakov’s Theorem Revisited.*
[Report]

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

MoL-2016-17:
Cattermole, Thomas
(2016)
*Paraconsistent Logics and Identity - a Pragmatic Approach.*
[Report]

DS-1995-10:
Cepparello, Giovanna
(1995)
*Studies in Dynamic Logic.*
Doctoral thesis, University of Amsterdam.

DS-2021-05:
Chartier, Cian Guilfoyle
(2021)
*A Pragmatic Defense of Logical Pluralism.*
Doctoral thesis, University of Amsterdam.

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

PP-2017-11:
Chen, Weiwei and Endriss, Ulle
(2017)
*Preservation of Semantic Properties during the Aggregation of Abstract Argumentation Frameworks.*
[Pre-print]

PP-2019-16:
Chen, Weiwei and Endriss, Ulle
(2019)
*Preservation of Semantic Properties in Collective Argumentation: The Case of Aggregating Abstract Argumentation Frameworks.*
[Pre-print]

MoL-2022-17:
Chernev, Anton
(2022)
*Degrees of FMP in extensions of bi-intuitionistic logic.*
[Report]

DS-2016-02:
Christoff, Zoé
(2016)
*Dynamic Logics of Networks: Information Flow and the Spread of Opinion.*
Doctoral thesis, University of Amsterdam.

DS-2016-01:
Ciardelli, Ivano A.
(2016)
*Questions in Logic.*
Doctoral thesis, University of Amsterdam.

DS-2017-04:
Cinà, Giovanni
(2017)
*Categories for the working modal logician.*
Doctoral thesis, University of Amsterdam.

PP-2016-17:
Ciná, Giovanni and Endriss, Ulle
(2016)
*Proving Classical Theorems of Social Choice Theory in Modal Logic.*
[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]

X-2016-01:
Ciná, Giovanni and Enqvist, Sebastian
(2016)
*Bisimulation and path logic for sheaves: contextuality and beyond.*
[Report]

MoL-2021-22:
Cleani, Antonio Maria
(2021)
*Translational Embeddings via Stable Canonical Rules.*
[Report]

DS-2021-12:
Cohen, Michael
(2021)
*Dynamic Introspection.*
Doctoral thesis, University of Amsterdam.

MoL-2016-14:
Colacito, Almudena
(2016)
*Minimal and Subminimal Logic of Negation.*
[Report]

PP-2016-23:
Colacito, Almudena and de Jongh, Dick and Vargas, Ana Lucia
(2016)
*Subminimal Negation.*
[Report]

MoL-2019-24:
Colley, Rachael H.
(2019)
*Guaranteeing Feasible Outcomes in Judgment Aggregation.*
[Report]

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

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

MoL-2017-19:
Cornelissen, Bas
(2017)
*Bayesian Language Games: Unifying and evaluating agent-based models of horizontal and vertical language evolution.*
[Report]

PP-2001-22:
Corsi, Giovanna
(2001)
*A Unifying Completeness Theorem in Quantified Modal logic.*
[Report]

DS-2008-10:
Counihan, Marian
(2008)
*Looking for logic in all the wrong places: an investigation of language, literacy and logic in reasoning.*
Doctoral thesis, University of Amsterdam.

MoL-2022-10:
Cruchten, Mike
(2022)
*Topics in Ω-Automata: A Journey through Lassos, Algebra, Coalgebra and Expressions.*
[Report]

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

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-2019-11:
Degano, Marco
(2019)
*Meaning through Time: A Diachronic and Semantic Study of Italian Free Choice.*
[Report]

DS-1993-01:
Dekker, Paul
(1993)
*Transsentential Meditations; Ups and downs in dynamic semantics.*
Doctoral thesis, University of Amsterdam.

MoL-2010-14:
Demey, Lorenz
(2010)
*Agreeing to Disagree in Probabilistic Dynamic Epistemic Logic.*
[Report]

MoL-2021-18:
Dmitrieva, Anna
(2021)
*Positive modal logic beyond distributivity: duality, preservation and completeness.*
[Report]

MoL-2014-12:
Docherty, Simon
(2014)
*A Model Of Type Theory In Cubical Sets With Connections.*
[Report]

HDS-19:
Doets, Kees
(2016)
*Completeness and Definability.*
Doctoral thesis, University of Amsterdam.

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

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

DS-1994-03:
Drost, Nicoline Johanna
(1994)
*Process Theory and Equation Solving.*
Doctoral thesis, University of Amsterdam.

MoL-2016-18:
Drumm, Eli
(2016)
*Readtable-Macro Transducer-Chain Parsing.*
[Report]

DS-2010-03:
Dégremont, Cédric
(2010)
*The Temporal Mind. Observations on the logic of belief change in interactive systems.*
Doctoral thesis, University of Amsterdam.

PP-2009-14:
Dégremont, Cédric and Gierasimczuk, Nina
(2009)
*Can doxastic agents learn? On the temporal structure of learning.*
[Report]

DS-1998-04:
d'Agostino, Giovanna
(1998)
*Modal Logic and Non-Well-Founded Set Theory: Translation, Bisimulation, Interpolation.*
Doctoral thesis, University of Amsterdam.

DS-2004-03:
de Bruin, Boudewijn
(2004)
*Explaining Games. On the Logic of Game Theoretic Explanations.*
Doctoral thesis, University of Amsterdam.

MoL-2021-07:
de Graaf, David Joël
(2021)
*"A partition calculus in set theory" by Erdös and Rado for readers from the twenty-first century.*
[Report]

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-2019-21:
de Haan, Ronald and Slavkovik, Marija
(2019)
*Answer Set Programming for Judgment Aggregation.*
[Pre-print]
(In Press)

DS-2001-03:
de Haas, Erik
(2001)
*Logics For OO Information Systems: a Semantic Study of Object Orientation from a Categorial Substructural Perspective.*
Doctoral thesis, University of Amsterdam.

MoL-2017-24:
de Hoop, Zeno
(2017)
*Context-Free Processes and Push-Down Processes.*
[Report]

DS-2009-10:
de Jager, Tikitu
(2009)
*"Now that you mention it, I wonder...": Awareness, Attention, Assumption.*
Doctoral thesis, University of Amsterdam.

HDS-05:
de Jongh, Dick
(2013)
*Investigations on the Intuitionistic Propositional Calculus.*
Doctoral thesis, University of Amsterdam.

PP-2016-13:
de Jongh, Dick and Maleki, Fatemeh Shirmohammadzadeh
(2016)
*Subintuitionistic Logics with Kripke Models.*
[Report]

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

PP-2016-12:
de Jongh, Dick and Maleki, Fatemeh Shirmohammadzadeh
(2016)
*Weak Subintuitionistic Logics.*
[Report]

PP-2010-07:
de Jongh, Dick and Verbrugge, Rineke and Visser, Albert
(2010)
*Intermediate Logics and the de Jongh Property.*
[Report]

PP-2014-06:
de Jongh, Dick and Zhao, Zhiguang
(2014)
*Positive Formulas in Intuitionistic and Minimal Logic.*
[Report]

PP-2010-20:
de Lavalette, Gerard R. Renardel and Hendriks, Lex and de Jongh, Dick
(2010)
*Intuitionistic implication without disjunction.*
[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]

DS-1993-04:
de Rijke, Maarten
(1993)
*Extending Modal Logic.*
Doctoral thesis, University of Amsterdam.

DS-2008-07:
de Rooij, Steven
(2008)
*Minimum Description Length Model Selection: Problems and Extensions.*
Doctoral thesis, University of Amsterdam.

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

HDS-23:
de Vries, Hendrik
(2017)
*Compact Spaces and Compactification: An Algebraic Approach.*
Doctoral thesis, University of Amsterdam.

MoL-2017-27:
de Vries, Mees
(2017)
*An Extensional Modified Realizability Topos.*
[Report]

DS-2001-02:
den Bosch, Alexander van
(2001)
*Rationality in Discovery - a study of Logic, Cognition, Computation and Neuropharmacology.*
Doctoral thesis, University of Amsterdam.

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

DS-2019-06:
der Gulik, Peter T.S. van
(2019)
*Considerations in Evolutionary Biochemistry.*
Doctoral thesis, University of Amsterdam.

X-2016-04:
der Molen, Tim van
(2016)
*The Johansson/Heyting letters and the birth of minimal logic.*
[Report]

MoL-2014-11:
Eelink, Guus Willem
(2014)
*Davidson on belief, truth, and the sceptic.*
[Report]

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

PP-2019-30:
Endriss, Ulle
(2019)
*Analysis of One-to-One Matching Mechanisms via SAT Solving: Impossibilities for Universal Axioms.*
[Pre-print]
(In Press)

PP-2019-29:
Endriss, Ulle
(2019)
*Collective Information.*
[Pre-print]
(In Press)

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

PP-2017-20:
Endriss, Ulle
(2017)
*Trends in Computational Social Choice.*
[Pre-print]

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

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

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

PP-2016-33:
Enqvist, Sebastian and Seifan, Fatemeh and Venema, Yde
(2016)
*Completeness for the modal mu-calculus: separating the combinatorics from the dynamics.*
[Report]

PP-2016-33:
Enqvist, Sebastian and Seifan, Fatemeh and Venema, Yde
(2016)
*Completeness for the modal mu-calculus: separating the combinatorics from the dynamics.*
[Report]

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

PP-2011-35:
Esakia, Leo and Löwe, Benedikt
(2011)
*Fatal Heyting Algebras and Forcing Persistent Sentences.*
[Report]

DS-1995-07:
Etalle, Sandro
(1995)
*Transformation and Analysis of (Constraint) Logic Programs.*
Doctoral thesis, University of Amsterdam.

MoL-2022-05:
Felderhoff, Lukas
(2022)
*Single-Peaked Electorates in Liquid Democracy.*
[Report]

MoL-2014-23:
Feng, Yuning
(2014)
*Constructing Variants of the Category of Partial Equivalence Relations.*
[Report]

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

MoL-2019-18:
Ferrari, Matteo
(2019)
*Questioning Philosophy.*
[Report]

MoL-2022-15:
Filipetto, Valentino
(2022)
*Constructing queries from data examples.*
[Report]

DS-2009-02:
Fitz, Hartmut
(2009)
*Neural Syntax.*
Doctoral thesis, University of Amsterdam.

DS-2013-02:
Fiutek, Virginie
(2013)
*Playing with Knowledge and Belief.*
Doctoral thesis, University of Amsterdam.

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

DS-2010-09:
Fontaine, Gaëlle
(2010)
*Modal Fixpoint Logic: Some Model Theoretic Questions.*
Doctoral thesis, University of Amsterdam.

PP-2016-39:
Fontaine, Gaëlle and Venema, Yde
(2016)
*Some model theory for the modal mu-calculus:
syntactic characterisations of semantic properties.*
[Pre-print]
(Submitted)

MoL-2019-23:
Ford, Chase
(2019)
*Investigations into the Expressiveness of First-order Logic and Weak Path Automata on Infinite Trees.*
[Report]

MoL-2021-05:
Fornasiere, Damiano
(2021)
*Representable Forests and Diamond Systems.*
[Report]

DS-2000-07:
Fortuin, Egbert L.J.
(2000)
*Polysemy or monosemy: Interpretation of the imperative and the dative-infinitive construction in Russian.*
Doctoral thesis, University of Amsterdam.

MoL-2019-06:
Franchini, Anna
(2019)
*Space and the Continuum from Kant to Poincaré.*
[Report]

DS-2009-11:
Franke, Michael
(2009)
*Signal to Act: Game Theory in Pragmatics.*
Doctoral thesis, University of Amsterdam.

MoL-2016-13:
Frumin, Daniil
(2016)
*Weak Factorisation Systems in the Effective Topos.*
[Report]

DS-2012-06:
Gakis, Dimitris
(2012)
*Contextual Metaphilosophy - The Case of Wittgenstein.*
Doctoral thesis, University of Amsterdam.

DS-2017-01:
Galeazzi, Paolo
(2017)
*Play Without Regret.*
Doctoral thesis, University of Amsterdam.

DS-2019-04:
Galeotti, Lorenzo
(2019)
*The theory of the generalised real numbers and other topics in logic.*
Doctoral thesis, University of Amsterdam.

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

PP-2019-10:
Galeotti, Lorenzo
(2019)
*Surreal Blum-Shub-Smale Machines.*
[Pre-print]
(In Press)

PP-2020-13:
Galeotti, Lorenzo and Khomskii, Yurii and Väänänen, Jouko
(2020)
*Bounded Symbiosis and Upwards Reflection.*
[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)

DS-2012-07:
Galliani, Pietro
(2012)
*The Dynamics of Imperfect Information.*
Doctoral thesis, University of Amsterdam.

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

MoL-2014-16:
Gattinger, Malvin
(2014)
*Dynamic Epistemic Logic for Guessing Games and Cryptographic Protocols.*
[Report]

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

PP-2002-09:
Gehrke, Mai and Nagahashi, Hideo and Venema, Yde
(2002)
*A Sahlqvist Theorem for Distributive Modal Logic.*
[Report]

PP-2010-18:
Gehrke, Mai and Vosmaer, Jacob
(2010)
*A View of Canonical Extension.*
[Report]

LP-1994-01:
Gelev, Dimitar
(1994)
*Introducing Some Classical Elements of Modal Logic to the Propositional Logics of Qualitative Probabilities.*
[Report]

PP-2007-38:
Gencer, Çigdem and de Jongh, Dick
(2007)
*Unifiability in extensions of K4.*
[Report]

DS-2002-05:
Gennari, Rosella
(2002)
*Mapping Inferences: Constraint Propagation and Diamond Satisfaction.*
Doctoral thesis, University of Amsterdam.

DS-1999-01:
Gerbrandy, Jelle
(1999)
*Bisimulations on Planet Kripke.*
Doctoral thesis, University of Amsterdam.

DS-2010-08:
Gheerbrant, Amélie
(2010)
*Fixed-Point Logics on Trees.*
Doctoral thesis, University of Amsterdam.

PP-2010-12:
Gheerbrant, Amélie
(2010)
*Complete Axiomatization of the Stutter-Invariant Fragment of the Linear-time mu-calculus.*
[Report]

DS-2010-11:
Gierasimczuk, Nina
(2010)
*Knowing One's Limits. Logical Analysis of Inductive Inference.*
Doctoral thesis, University of Amsterdam.

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

MoL-2010-05:
Giorgio, Nicola Di
(2010)
*Non-Standard Models of Arithmetic: a Philosophical and Historical perspective.*
[Report]

MoL-2016-24:
Gioulatou, Iliana
(2016)
*Hyperintensionality.*
[Report]

DS-2008-04:
Girard, Patrick
(2008)
*Modal Logic for Belief and Preference Change.*
Doctoral thesis, University of Amsterdam.

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

MoL-2016-26:
Gogoladze, Kristina
(2016)
*Evidence-Based Belief Revision for Non-Omniscient Agents.*
[Report]

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

PP-2003-17:
Goris, Evan
(2003)
*Extending ILM with an operator for $\Sigma_1$-ness.*
[Report]

PP-2005-15:
Goris, Evan and Joosten, Joost J.
(2005)
*The many faces of interpretability.*
[Report]

MoL-2021-20:
Gougeon, Quentin
(2021)
*The Expressive Power of Derivational Modal Logic.*
[Report]

DS-2012-08:
Grandi, Umberto
(2012)
*Binary Aggregation with Integrity Constraints.*
Doctoral thesis, University of Amsterdam.

PP-2012-12:
Grandi, Umberto and Endriss, Ulle
(2012)
*First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation.*
[Report]

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

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

PP-2009-05:
Groenendijk, Jeroen
(2009)
*Inquisitive Semantics: Two Possibilities for Disjunction.*
[Report]

DS-1995-18:
Groeneveld, Willem
(1995)
*Logical Investigations into Dynamic Semantics.*
Doctoral thesis, University of Amsterdam.

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

PP-2009-27:
Grossi, David and Gabbay, Dov and der Torre, Leendert van
(2009)
*The Norm Implementation Problem in Normative Multi-Agent Systems.*
[Report]

PP-2009-24:
Grossi, Davide
(2009)
*Doing Argumentation Theory in Modal Logic.*
[Report]

MoL-2022-22:
Grotenhuis, Lide
(2022)
*Natural Axiomatic Theories and Consistency Strength: A Lakatosian Approach to the Linearity Conjecture.*
[Report]

PP-2011-07:
Grädel, Erich and Väänänen, Jouko
(2011)
*Dependence and Independence.*
[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]

PP-2012-19:
Hamkins, Joel David and Leibman, George and Löwe, Benedikt
(2012)
*Structural connections between a forcing class and its modal logic.*
[Report]

PP-2013-04:
Hamkins, Joel David and Löwe, Benedikt
(2013)
*Moving up and down in the generic multiverse.*
[Report]

PP-2003-24:
Hansen, Helle Hvid
(2003)
*Monotonic Modal Logics.*
[Report]

PP-2007-30:
Hansen, Helle Hvid and Kupke, Clemens and Pacuit, Eric
(2007)
*Bisimulation for Neighbourhood Structuress.*
[Report]

PP-2002-03:
Hansen, Helle Hvid and Pauly, Marc
(2002)
*Axiomatising Nash-Consistent Coalition Logic.*
[Report]

MoL-2019-22:
Harding, Jacqueline
(2019)
*Incorporating Preference Information into Formal Models of Transitive Proxy Voting.*
[Report]

DS-2021-03:
Hashemi, Seyyed Hadi
(2021)
*Modeling Users Interacting with Smart Devices.*
Doctoral thesis, University of Amsterdam.

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]

DS-2017-06:
Hawke, Peter
(2017)
*The Problem of Epistemic Relevance.*
Doctoral thesis, University of Amsterdam.

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

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

DS-2003-03:
Heguiabehere, Juan
(2003)
*Building Logic Toolboxes.*
Doctoral thesis, University of Amsterdam.

DS-1993-05:
Hendriks, Herman
(1993)
*Studied Flexibility.*
Doctoral thesis, University of Amsterdam.

DS-1996-01:
Hendriks, Lex
(1996)
*Computations in Propositional Logic.*
Doctoral thesis, University of Amsterdam.

MoL-2016-22:
Hendriks, Tom
(2016)
*Beyond the Regular: A Formalization of Non-Isochronous Metrical Structure.*
[Report]

DS-2016-10:
Henk, Paula
(2016)
*Nonstandard Provability for Peano Arithmetic. A Modal Perspective.*
Doctoral thesis, University of Amsterdam.

PP-2014-01:
Henk, Paula
(2014)
*Kripke Models Built from Models of Arithmetic.*
[Report]

X-2011-06:
Henk, Paula
(2011)
*A new perspective on the arithmetical completeness of GL.*
[Report]

PP-2016-31:
Henk, Paula and Shavrukov, V. Yu.
(2016)
*A Solovay function for the least 1-inconsistent subtheory of PA.*
[Report]

PP-2016-32:
Henk, Paula and Visser, Albert
(2016)
*Interpretability suprema in Peano Arithmetic.*
[Report]

MoL-2019-12:
Henke, Tim
(2019)
*The van Benthem Characterisation Theorem for Descriptive Models.*
[Report]

MoL-2014-13:
Herbstritt, Michele
(2014)
*Why can't we be surprised whether it rains in Amsterdam? A semantics for factive verbs and embedded questions.*
[Report]

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

MoL-2016-01:
Hiller, Sarah
(2016)
*Corrective Feedback in First Language Acquisition.*
[Report]

PP-2003-13:
Hodkinson, Ian and Venema, Yde
(2003)
*Canonical varieties with no canonical axiomatisation.*
[Report]

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

DS-2012-09:
Holliday, Wesley Halcrow
(2012)
*Knowing What Follows: Epistemic Closure and Epistemic Logic.*
Doctoral thesis, University of Amsterdam.

DS-2006-05:
Honingh, Aline
(2006)
*The Origin and Well-Formedness of Tonal Pitch Structures.*
Doctoral thesis, University of Amsterdam.

DS-2001-05:
Hoogland, Eva
(2001)
*Definability and Interpolation: Model-theoretic investigations.*
Doctoral thesis, University of Amsterdam.

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

DS-2021-10:
Hornischer, Levin
(2021)
*Dynamical Systems via Domains: Toward a Unified Foundation of Symbolic and Non-symbolic Computation.*
Doctoral thesis, University of Amsterdam.

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

DS-2009-08:
Hoshi, Tomohiro
(2009)
*Epistemic Dynamics and Protocol Information.*
Doctoral thesis, University of Amsterdam.

DS-1994-10:
Huang, Zhisheng
(1994)
*Logics for Agents with Bounded Rationality.*
Doctoral thesis, University of Amsterdam.

MoL-2021-21:
Hui, Terence
(2021)
*A Compositional Analysis of Dependence Statements.*
[Report]

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

MoL-2013-29:
Hupkes, Dieuwke
(2013)
*An Empirical Account of Compositionality of Translation through Translation Data.*
[Report]

DS-2014-02:
Icard, Thomas
(2014)
*The Algorithmic Mind: A Study of Inference in Action.*
Doctoral thesis, University of Amsterdam.

DS-2001-04:
Iemhoff, Rosalie
(2001)
*Provability Logic and Admissible Rules.*
Doctoral thesis, University of Amsterdam.

DS-2010-04:
Ikegami, Daisuke
(2010)
*Games in Set Theory and Logic.*
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-2014-10:
Ilin, Julia
(2014)
*An Outline of Algebraic Set Theory with a View Towards Cohen's Model Falsifying the Continuum Hypothesis.*
[Report]

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

HDS-10:
Janssen, Theo
(2014)
*Foundations and applications of Montague grammar.*
Doctoral thesis, University of Amsterdam.

PP-2007-14:
Janssen, Theo
(2007)
*Compiler correctness and the translation of logics.*
[Report]

PP-2007-13:
Janssen, Theo
(2007)
*Independence and Hintikka games.*
[Report]

PP-2002-01:
Janssen, Theo
(2002)
*Independent Choices and the Interpretation of IF Logic.*
[Report]

PP-2005-17:
Janssen, Theo M.V. and Dechesne, Francien
(2005)
*Signalling in IF games: a tricky business.*
[Report]

MoL-2022-04:
Janssens, Nicolien S.
(2022)
*Communicate and Vote: Collective Truth-tracking in Networks.*
[Report]

MoL-2017-31:
Janzen, Albert
(2017)
*The paradoxes of self-negation.*
[Report]

MoL-2021-12:
Jaramillo, Mateo C.
(2021)
*Epistemic Logics for Cryptographic Protocols and Zero-Knowledge Proofs.*
[Report]

DS-1994-04:
Jaspars, Jan
(1994)
*Calculi for Constructive Communication, a Study of the Dynamics of Partial States.*
Doctoral thesis, University of Amsterdam.

PP-2006-56:
Joosten, Joost J.
(2006)
*Semantics for sub-intuitionistic logics.*
[Report]

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

DS-1995-13:
Kalsbeek, Marianne
(1995)
*Meta-Logics for Logic Programming.*
Doctoral thesis, University of Amsterdam.

DS-2000-02:
Kamps, Jaap
(2000)
*A Logical Approach to Computational Theory Building (with applications to sociology).*
Doctoral thesis, University of Amsterdam.

MoL-2019-14:
Karačić, Tomislav
(2019)
*The Informational View of Technologies in the Scientific Practice.*
[Report]

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

MoL-2017-20:
Kasbergen, Ottilia
(2017)
*Abstractions and Idealisations in Epistemic Logic.*
[Report]

DS-2014-01:
Keestra, Machiel
(2014)
*Sculpting the Space of Actions. Explaining Human Action by Integrating Intentions and Mechanisms.*
Doctoral thesis, University of Amsterdam.

DS-2001-09:
Kerdiles, Gwen
(2001)
*Saying It with Pictures: a Logical Landscape of Conceptual Graphs.*
Doctoral thesis, University of Amsterdam.

DS-2011-05:
Keskinen, Lauri
(2011)
*Characterizing All Models in Infinite Cardinalities.*
Doctoral thesis, University of Amsterdam.

DS-2012-04:
Khomskii, Yurii
(2012)
*Regularity Properties and Definability in the Real Number Continuum: idealized forcing, polarized partitions, Hausdorff gaps and mad families in the projective hierarchy.*
Doctoral thesis, University of Amsterdam.

PP-2022-08:
Khomskii, Yurii and Oddsson, Hrafn Valtýr
(2022)
*Paraconsistent and Paracomplete Zermelo-Fraenkel Set Theory.*
[Pre-print]
(Submitted)

PP-2011-08:
Khomskii, Yurii
(2011)
*William of Sherwood, singular propositions and the hexagon of opposition.*
[Report]

PP-2010-06:
Klarman, Szymon and Endriss, U. and Schlobach, Stefan
(2010)
*ABox Abduction in the Description Logic ALC.*
[Report]

MoL-2017-26:
Klein, Rana
(2017)
*The Logical Dynamics of Gossip: an analysis in Dynamic Epistemic Logic.*
[Report]

MoL-2022-14:
Klochowicz, Tomasz
(2022)
*Investigating semantic and selectional properties of clause-embedding predicates in Polish.*
[Report]

HDS-33:
Klop, Jan Willem
(2022)
*Combinatory Reduction Systems.*
Doctoral thesis, Rijksuniversiteit Utrecht.

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

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-2022-24:
Knudstorp, Søren Brinck
(2022)
*Modal Information Logics.*
[Report]

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

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

DS-2010-05:
Kontinen, Jarmo
(2010)
*Coherence and Complexity in Fragments of Dependence Logic.*
Doctoral thesis, University of Amsterdam.

MoL-2021-25:
Kortenbach, Bas
(2021)
*The Classicality of Epistemic Multilateral Logic.*
[Report]

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

MoL-2022-07:
Koudijs, Raoul
(2022)
*Learning Modal Formulas via Dualities.*
[Report]

MoL-2019-26:
Koutsoulis, Dimitrios
(2019)
*Lifschitz Realizability for Homotopy Type Theory.*
[Report]

HDS-31:
Krabbe, Erik C.W.
(2019)
*Studies in Dialogical Logic.*
Doctoral thesis, University of Amsterdam.

MoL-2021-28:
Kroes, Pepijn
(2021)
*Finiteness, Invariance, and Analogy: A Minimal Model for Adaptive Processes.*
[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-2014-18:
Kruger, Justin
(2014)
*Actions in Social Choice.*
[Report]

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

DS-2006-03:
Kupke, Clemens
(2006)
*Finitary coalgebraic logics.*
Doctoral thesis, University of Amsterdam.

PP-2003-15:
Kupke, Clemens and Kurz, Alexander and Venema, Yde
(2003)
*Stone Coalgebras.*
[Report]

DS-2011-10:
Kurzen, Lena
(2011)
*Complexity in Interaction.*
Doctoral thesis, University of Amsterdam.

MoL-2021-23:
Køhlert, Sebastian N.
(2021)
*Measuring What Exactly? A Critique of Causal Modelling in Atheoretical Econometrics.*
[Report]

MoL-2022-06:
klein Goldewijk, Thomas
(2022)
*Fairness in Perpetual Participatory Budgeting.*
[Report]

MoL-2017-29:
Landerreche, Esteban
(2017)
*Leaning on Impossible-to-Parallelise Work for Immutability Guarantees in the Blockchain.*
[Report]

DS-2019-07:
Lauridsen, Frederik Möllerström
(2019)
*Cuts and Completions: Algebraic aspects of structural proof theory.*
Doctoral thesis, University of Amsterdam.

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

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

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

DS-2011-09:
Leal, Raul Andres
(2011)
*Modalities Through the Looking Glass: A study on coalgebraic modal logic and their applications.*
Doctoral thesis, University of Amsterdam.

MoL-2022-16:
Leijnse, Koen
(2022)
*On the Quantum Hardness of Matching Colored Triangles.*
[Report]

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

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

DS-2021-13:
Li, Dazhu
(2021)
*Formal Threads in the Social Fabric: Studies in the Logical Dynamics of Multi-Agent Interaction.*
Doctoral thesis, University of Amsterdam.

X-2019-01:
Li, Dazhu
(2019)
*Losing Connection: the Modal Logic of Definable Link Deletion.*
[Report]

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

DS-2008-02:
Liu, Fenrong
(2008)
*Changing for the Better: Preference Dynamics and Agent Diversity.*
Doctoral thesis, University of Amsterdam.

PP-2012-27:
Liu, Fenrong and Seligman, Jeremy and van Benthem, Johan
(2012)
*Models of Reasoning in Ancient China.*
[Report]

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

MoL-2022-01:
Loustalot Knapp, Daniela
(2022)
*Justification of Matching Outcomes.*
[Report]

MoL-2021-04:
Louwrink, Daniël
(2021)
*A Separation Logic for Stacked Borrows.*
[Report]

MoL-2019-21:
Lui, Ho-Yin
(2019)
*Expressive Limitations and the Liar’s Revenge: A Strict-Tolerant Solution and A Pragmatic Solution For Dialetheism.*
[Report]

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

PP-2008-31:
Löwe, Benedikt and Pacuit, Eric and Saraf, Sanchit
(2008)
*Analyzing stories as games with mistaken and changing beliefs.*
[Report]

PP-2009-33:
Löwe, Benedikt and Pacuit, Eric and Saraf, Sanchit
(2009)
*Identifying the structure of a narrative via an agent-based logic of preferences and beliefs: Formalizations of episodes from CSI: Crime Scene Investigation.*
[Report]

PP-2010-14:
Löwe, Benedikt and Pacuit, Eric and Witzel, Andreas
(2010)
*Planning based on dynamic epistemic logic.*
[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-2004-04:
Löwe, Benedikt and Sarenac, Darko
(2004)
*Cardinal spaces and topological representations of bimodal logics.*
[Report]

DS-1999-03:
Maat, Jaap
(1999)
*Philosophical Languages in the Seventeenth Century: Dalgarno, Wilkins, Leibniz.*
Doctoral thesis, University of Amsterdam.

MoL-2014-15:
Maddirala, Nikhil
(2014)
*Philosophy of logical practice: a case study in formal semantics.*
[Report]

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

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.

MoL-2019-04:
Maia, Nuno
(2019)
*Tennenbaum’s Theorem and Non-Classical Arithmetic.*
[Report]

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

PP-2009-38:
Mancarella, Paolo and Terreni, Giacomo and Sadri, Fariba and Toni, Francesca and Endriss, Ulle
(2009)
*The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments.*
[Report]

IV-11:
Mannoury, Gerrit
(2017)
*Over de beteekenis der wiskundige logica voor de philosophie.*
[Report]

PP-2016-10:
Marti, Johannes and Pinosio, Riccardo
(2016)
*A Game Semantics for System P.*
[Report]

MoL-2019-16:
Martinot, Robin
(2019)
*Sets and Categories: What Foundational Approaches Tell Us About Mathematical Thought.*
[Report]

DS-1995-03:
Marx, Maarten
(1995)
*Algebraic Relativization and Arrow Logic.*
Doctoral thesis, University of Amsterdam.

PP-2002-02:
Marx, Maarten and Masuch, Michael
(2002)
*Regular Equivalence and Dynamic Logic.*
[Report]

PP-2001-10:
Marx, Maarten and Mikulas, Szabolcs
(2001)
*An Elementary Construction for a Non-elementary Procedure.*
[Report]

MoL-2016-11:
Marzion, Evan
(2016)
*Closed Sets of Higher-Order Functions.*
[Report]

X-2016-06:
Marzion, Evan
(2016)
*Constructive Notions of Cofiniteness.*
[Report]

MoL-2016-23:
Massas, Guillaume
(2016)
*Possibility Spaces, Q-Completions and Rasiowa-Sikorski Lemmas for Non-Classical Logics.*
[Report]

DS-2002-01:
Massios, Nikos
(2002)
*Decision-Theoretic Robotic Surveillance.*
Doctoral thesis, University of Amsterdam.

MoL-2022-20:
McCloskey, Erin
(2022)
*Relative Weak Factorization Systems.*
[Report]

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

MoL-2019-27:
McKnight, John Hunter
(2019)
*Quantum Shell Games: How to Classically Delegate the Preparation of Authenticated Quantum States.*
[Report]

MoL-2014-14:
McWhirter, Sarah
(2014)
*An Automata-Theoretic Perspective on Polyadic Quantification in Natural Language.*
[Report]

PP-2016-38:
McWhirter, Sarah and Szymanik, Jakub
(2016)
*Constructing Semantic Automata for Quantifier Iterations.*
[Report]

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

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

DS-2012-10:
Meyers, Jeremy
(2012)
*Locations, Bodies, and Sets: A model theoretic investigation into nominalistic mereologies.*
Doctoral thesis, University of Amsterdam.

MoL-2021-14:
Michelini, Matteo
(2021)
*When Being the Fifth Wheel Pays Off: Wisdom of the Crowds with Costly Information.*
[Report]

MoL-2016-10:
Michgelsen, Philip W.B.
(2016)
*Genetic-Algorithmic Optimisation for School-Allocation Mechanisms: A Study of Amsterdam's Student to High-School Allocation Problem.*
[Report]

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

DS-1995-12:
Mikulás, Szabolcs
(1995)
*Taming Logics.*
Doctoral thesis, University of Amsterdam.

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

DS-2011-08:
Minica, Stefan
(2011)
*Dynamic Logic of Questions.*
Doctoral thesis, University of Amsterdam.

MoL-2014-20:
Mojica, Laura
(2014)
*Anxiety: A Grammatical Investigation.*
[Report]

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

DS-1996-02:
Montanari, Angelo
(1996)
*Metric and Layered Temporal Logic for Time Granularity.*
Doctoral thesis, University of Amsterdam.

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

MoL-2021-17:
Motamed, Nima
(2021)
*Multivalued Coalgebraic Modal Logic for Multiagent Systems and Multiplayer Games.*
[Report]

MoL-2015-03:
Močnik, Maša
(2015)
*Slovenian Perfective and Imperfective Explicit Performative Utterances.*
[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]

DS-2008-08:
Nauze, Fabrice
(2008)
*Modality in Typological Perspective.*
Doctoral thesis, University of Amsterdam.

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]

DS-1997-03:
Nieuwendijk, Arthur
(1997)
*On Logic. Inquiries into the Justification of Deduction.*
Doctoral thesis, University of Amsterdam.

DS-2006-07:
Nilsenova, Marie
(2006)
*Rises and Falls. Studies in the Semantics and Pragmatics of Intonation.*
Doctoral thesis, University of Amsterdam.

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

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

MoL-2016-19:
Novaro, Arianna
(2016)
*Judgment Aggregation in Dynamic Logic of Propositional Assignments.*
[Report]

MoL-2016-25:
Occhipinti Liberman, Andrés
(2016)
*Dynamic Evidence Logics with Relational Evidence.*
[Report]

MoL-2021-27:
Oddsson, Hrafn Valtýr
(2021)
*Paradefinite Zermelo-Fraenkel Set Theory: A Theory of Inconsistent and Incomplete Sets.*
[Report]

MoL-2014-19:
Olsen, Jessica
(2014)
*Would You Believe That? The Prerogative of Assent and Utility of Disagreement.*
[Report]

MoL-2019-05:
Oortwijn, Yvette
(2019)
*Dynamic Set Theory.*
[Report]

MoL-2021-24:
Osinski, Jonathan
(2021)
*Symbiosis and Compactness Properties.*
[Pre-print]

MoL-2022-21:
Osso, Gian Marco
(2022)
*Some results on the Generalized Weihrauch Hierarchy.*
[Report]

MoL-2022-18:
Oudshoorn, Anouk Michelle
(2022)
*Cost Fixed Point Logic.*
[Report]

MoL-2019-15:
O’Connell, David
(2019)
*Lorentzian Structures on Branching Spacetimes.*
[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-2017-21:
Pasquariello, Alison
(2017)
*Mohawk Temporality: Embodiment, Ritual, and Cognition.*
[Report]

PP-2019-05:
Passmann, Robert
(2019)
*The de Jongh property for bounded constructive Zermelo-Fraenkel set theory.*
[Pre-print]
(Submitted)

MoL-2016-03:
Pastan, Stephen
(2016)
*Another Approach to Truthmaker Semantics.*
[Report]

DS-2001-10:
Pauly, Marc
(2001)
*Logic for Social Software.*
Doctoral thesis, University of Amsterdam.

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

MoL-2022-03:
Peng, Zichen
(2022)
*Simultaneous Substitution Algebras.*
[Pre-print]

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

DS-2017-02:
Pinosio, Riccardo
(2017)
*The Logic of Kant's Temporal Continuum.*
Doctoral thesis, University of Amsterdam.

MoL-2021-11:
Pinton, Lorenzo
(2021)
*You may like or dislike this thesis, and I do care which.
An inquiry into sluicing and free choice.*
[Report]

MoL-2017-17:
Piribauer, Jakob
(2017)
*The Modal Logic of Generic Multiverses.*
[Report]

PP-2010-05:
Porello, Daniele and Endriss, Ulle
(2010)
*Modelling Combinatorial Auctions in Linear Logic.*
[Report]

PP-2010-15:
Porello, Daniele and Endriss, Ulle
(2010)
*Modelling Multilateral Negotiation in Linear Logic.*
[Report]

MoL-2019-19:
Posdijk, Wouter
(2019)
*The influence of the simplicity/informativeness trade-off on the sematic typology of quantifiers.*
[Report]

DS-1995-02:
Prijatelj, Andreja
(1995)
*Investigating Bounded Contraction.*
Doctoral thesis, University of Amsterdam.

LP-1989-06:
Prijatelj, Andreja
(1989)
*Intensional Lambek Calculi: Theory and Application.*
[Report]

PP-2019-31:
Proietti, Carlo and Grossi, Davide and Smets, Sonja and Velázquez-Quesada, Fernando R.
(2019)
*Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes
Authors.*
[Pre-print]

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

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

MoL-2014-06:
Qing, Ciyang
(2014)
*Quantiative Social-Cognitive Experimental Pragmatics.*
[Report]

MoL-2019-25:
Quadrellaro, Davide Emilio
(2019)
*Lattices of DNA-Logics and Algebraic Semantics of Inquisitive Logic.*
[Report]

DS-2022-03:
Ramotowska, Sonia
(2022)
*Quantifying quantifier representations: Experimental studies, computational modeling, and individual differences.*
Doctoral thesis, University of Amsterdam.

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

MoL-2017-28:
Repplinger, Michael
(2017)
*Understanding Generalization: Learning Quantifiers and Negation with Neural Tensor Networks.*
[Report]

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

DS-2014-04:
Rodenhäuser, Ben
(2014)
*A Matter of Trust: Dynamic Attitudes in Epistemic Logic.*
Doctoral thesis, University of Amsterdam.

PP-2011-37:
Roelofsen, Floris
(2011)
*An inquisitive dynamic epistemic logic.*
[Report]

MoL-2022-12:
Romanovskiy, Vasily
(2022)
*"A-ha, I hadn’t thought of that": the Bayesian Problem of Awareness Growth.*
[Report]

MoL-2018-34:
Rooduijn, Jan
(2018)
*A right semimodel structure on semisimplicial sets.*
[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-2019-28:
Rosella, Giuliano
(2019)
*A Truthmaker Semantics Approach to Modal Logic.*
[Report]

DS-2008-03:
Roy, Olivier
(2008)
*Thinking before Acting: Intentions, Logic, Rational Choice.*
Doctoral thesis, University of Amsterdam.

HDS-17:
Sanchez, Victor
(2016)
*Studies on Natural Logic and Categorial Grammar.*
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.

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

MoL-2019-09:
Santamaría Legarda, David
(2019)
*Defending Classes.*
[Report]

MoL-2016-06:
Santoli, Thomas
(2016)
*Logics for Compact Hausdorff Spaces via de Vries Duality.*
[Report]

DS-2006-08:
Sarenac, Darko
(2006)
*Products of Topological Modal Logics.*
Doctoral thesis, University of Amsterdam.

DS-2001-07:
Sasaki, Katsumi
(2001)
*Logics and Provability.*
Doctoral thesis, University of Amsterdam.

HDS-07:
Scha, Remko
(2014)
*Logical Foundations for Question Answering.*
Doctoral thesis, University of Amsterdam.

DS-1994-01:
Schellinx, Harold
(1994)
*The Noble Art of Linear Decorating.*
Doctoral thesis, University of Amsterdam.

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

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

MoL-2014-09:
Schlöder, Julian J.
(2014)
*Uptake, Clarification and Argumentation.*
[Report]

MoL-2022-08:
Schmidtlein, Marie Christin
(2022)
*Voting by Axioms.*
[Report]

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

MoL-2021-15:
Schoen, Ezra
(2021)
*Relation Lifting and Coalgebraic Logic.*
[Report]

MoL-2016-20:
Schoonen, Tom
(2016)
*Thinking the Impossible
Arguments for Impossible Worlds in Semantics.*
[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]

DS-2006-06:
Sevenster, Merlijn
(2006)
*Branches of imperfect information: logic, games, and computation.*
Doctoral thesis, University of Amsterdam.

PP-2007-29:
Sevenster, Merlijn
(2007)
*A strategic perspective on IF games.*
[Report]

DS-1994-07:
Shavrukov, V. Yu.
(1994)
*Adventures in Diagonalizable Algebras.*
Doctoral thesis, University of Amsterdam.

PP-2019-06:
Shavrukov, V. Yu.
(2019)
*R.e. prime powers and total rigidity.*
[Pre-print]

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

PP-2017-18:
Shi, Chenwei and Smets, Sonja and Velázquez-Quesada, Fernando R.
(2017)
*Argument-based Belief in Topological Structures.*
[Pre-print]

MoL-2021-16:
Siemers, Maximilian
(2021)
*Hyperintensional Logics for Evidence, Knowledge and Belief.*
[Report]

DS-2012-11:
Sietsma, Floor
(2012)
*Logics of Communication and Knowledge.*
Doctoral thesis, University of Amsterdam.

DS-1999-02:
Sima'an, Khalil
(1999)
*Learning efficient disambiguation.*
Doctoral thesis, University of Amsterdam.

MoL-2017-25:
Sippel, Jonathan Frederik
(2017)
*The Good, the Bad, and the Difficult
Complexity in a Monotonicity-Grounded Natural Logic for Reasoning with Generalized Quantifiers.*
[Report]

MoL-2019-01:
Smaal, Kyah Elisabeth Mercedes
(2019)
*Strategic manipulation in voting under higher-order reasoning.*
[Report]

PP-2017-17:
Smets, Sonja and Velázquez-Quesada, Fernando R.
(2017)
*The Creation and Change of Social Networks: a logical study based on group size.*
[Pre-print]
(In Press)

PP-2017-16:
Smets, Sonja and Velázquez-Quesada, Fernando R.
(2017)
*How to Make Friends: A Logical Approach to Social Group Creation.*
[Pre-print]

MoL-2021-13:
Smiles, John Fergus William
(2021)
*Learning Deterministic Finite Automata with Signed Examples: An Investigation into the Role of Entropy in Optimal Model Selection.*
[Report]

MoL-2022-13:
Soeteman, Arie W.
(2022)
*Artificial Understanding.*
[Report]

DS-2021-07:
Solaki, Anthia
(2021)
*Logical Models for Bounded Reasoners.*
Doctoral thesis, University of Amsterdam.

PP-2019-24:
Solaki, Anthia
(2019)
*Rule-based Reasoners in Epistemic Logic.*
[Pre-print]

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

PP-2019-25:
Solaki, Anthia
(2019)
*A dynamic epistemic logic for resource-bounded agents.*
[Pre-print]

PP-2019-12:
Solaki, Anthia and Berto, Francesco and Smets, Sonja
(2019)
*The Logic of Fast and Slow Thinking.*
[Pre-print]
(In Press)

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

PP-2019-26:
Solaki, Anthia and Velázquez-Quesada, Fernando R.
(2019)
*Towards a logical formalisation of Theory of Mind: a study on False Belief Tasks.*
[Pre-print]
(In Press)

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

HDS-14:
Spaan, Edith
(2016)
*Complexity of Modal Logics.*
Doctoral thesis, University of Amsterdam.

MoL-2016-15:
Sparkes, Benjamin
(2016)
*Inquisitive Conditional-Doxastic Logic.*
[Report]

DS-2007-02:
Spiro, Neta
(2007)
*What contributes to the perception of musical phrases in western classical music?*
Doctoral thesis, University of Amsterdam.

DS-2017-05:
Steinert-Threlkeld, Shane Noah
(2017)
*Communication and Computation: New Questions About Compositionality.*
Doctoral thesis, University of Amsterdam.

MoL-2016-27:
Streekstra, Leanne M.
(2016)
*On the stability of flexible permission structures.*
[Report]

PP-2005-14:
Sustretov, Dmitry
(2005)
*Hybrid Definability in Topological Spaces.*
[Report]

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

DS-2009-01:
Szymanik, Jakub
(2009)
*Quantifiers in TIME and SPACE. Computational Complexity of Generalized Quantifiers in Natural Language.*
Doctoral thesis, University of Amsterdam.

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

DS-2001-08:
Tamminga, Allard
(2001)
*Belief Dynamics. (Epistemo)logical Investigations.*
Doctoral thesis, University of Amsterdam.

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

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

PP-2019-19:
Terzopoulou, Zoi and Endriss, Ulle
(2019)
*Aggregating Incomplete Pairwise Preferences by Weight.*
[Pre-print]

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

PP-2019-28:
Terzopoulou, Zoi and Endriss, Ulle
(2019)
*Neutrality and Relative Acceptability in Judgment Aggregation.*
[Pre-print]
(In Press)

PP-2019-20:
Terzopoulou, Zoi and Endriss, Ulle
(2019)
*Optimal Truth-Tracking Rules for the Aggregation of Incomplete Judgments.*
[Pre-print]

PP-2019-17:
Terzopoulou, Zoi and Endriss, Ulle
(2019)
*Rethinking the Neutrality Axiom in Judgment Aggregation (Extended Abstract).*
[Pre-print]

PP-2019-18:
Terzopoulou, Zoi and Endriss, Ulle
(2019)
*Strategyproof Judgment Aggregation under Partial Information.*
[Pre-print]
(In Press)

MoL-2014-07:
Theiler, Nadine
(2014)
*A Multitude of Answers: Embedded Questions in Typed Inquisitive Semantics.*
[Report]

X-2017-01:
Trehan, Vidhi and Laloi, Aude and van Hoolwerff, Richard and Borensztajn, Gideon and Moas, Gal
(2017)
*The Suppression Task Revisited.*
[Report]

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

DS-2010-01:
Tsarfaty, Reut
(2010)
*Relational-Realizational Parsing.*
Doctoral thesis, University of Amsterdam.

MoL-2021-09:
Tsiaxiras, Jason
(2021)
*Strategic Voting under Incomplete Information in Approval-Based Committee Elections.*
[Report]

PP-2006-47:
Tulenheimo, Tero and Sevenster, Merlijn
(2006)
*Approaches to Independence Friendly Modal Logic.*
[Report]

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

MoL-2016-21:
Tuyt, Olim F.
(2016)
*Canonical Rules on Neighbourhood Frames.*
[Report]

MoL-2005-03:
Tzanis, Evangelos
(2005)
*Algebraizing Hybrid Logic.*
[Report]

X-2013-01:
Tzimoulis, Apostolos and Zhao, Zhiguang
(2013)
*The Universal Model for the Negation-free Fragment of IPC.*
[Report]

X-2022-01:
ten Cate, Balder
(2022)
*Lyndon Interpolation for Modal Logic via Type Elimination Sequences.*
[Report]

DS-2005-01:
ten Cate, Balder David
(2005)
*Model theory for extended modal languages.*
Doctoral thesis, University of Amsterdam.

PP-2004-27:
ten Cate, Balder
(2004)
*The first order formulas preserved under ultrafilter extensions are not recursively enumerable.*
[Report]

PP-2004-32:
ten Cate, Balder and Franceschet, Massimo
(2004)
*Guarded fragments with constants.*
[Report]

PP-2007-39:
ten Cate, Balder and Litak, Tadeusz
(2007)
*The importance of being discrete.*
[Report]

DS-2009-04:
Uckelman, Sara L.
(2009)
*Modalities in Medieval Logic.*
Doctoral thesis, University of Amsterdam.

PP-2008-51:
Uckelman, Sara L.
(2008)
*Logic and the condemnations of 1277.*
[Report]

PP-2009-28:
Uckelman, Sara L.
(2009)
*The reception of Saint Anselm's logic in the 20th and 21st centuries.*
[Report]

PP-2007-16:
Uckelman, Sara L. and Uckelman, Joel
(2007)
*Modal and Temporal Logics for Abstract Space-Time Structures.*
[Report]

X-2009-04:
Uckelman, Sara L. and van Ormondt, Peter and Gorisse, Marie-Hélène and Keiff, Laurent and Clerbout, Nicolas
(2009)
*A Day of Indian Logic.*
[Report]

DS-2019-01:
Vaquero, Carlos
(2019)
*What Makes A Performer Unique? Idiosyncrasies and commonalities in expressive music performance.*
Doctoral thesis, University of Amsterdam.

MoL-2021-06:
Varricchione, Giovanni
(2021)
*Complexity of Locally Fair Allocations on Graphs.*
[Report]

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

DS-2011-02:
Velazquez-Quesada, Fernando Raymundo
(2011)
*Small steps in dynamics of information.*
Doctoral thesis, University of Amsterdam.

HDS-24:
Veldman, Wim
(2017)
*Investigations in Intuitionistic Hierarchy Theory.*
Doctoral thesis, University of Amsterdam.

HDS-02:
Veltman, Frank
(2012)
*Logics for Conditionals.*
Doctoral thesis, University of Amsterdam.

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

IV-03:
Venema, Yde
(2014)
*Algebra en Coalgebra: bespiegelingen in de logica (Inaugural).*
[Report]

HDS-04:
Venema, Yde
(2013)
*Many-Dimensional Modal Logic.*
Doctoral thesis, University of Amsterdam.

PP-2002-11:
Venema, Yde
(2002)
*Atomless Varieties.*
[Report]

PP-2004-21:
Venema, Yde
(2004)
*Automata and Fixed Point Logic: a Coalgebraic Perspective.*
[Report]

PP-2002-10:
Venema, Yde
(2002)
*Duals of subdirectly irreducible modal algebras.*
[Report]

DS-1993-03:
Verbrugge, Rineke
(1993)
*Efficient Metamathematics.*
Doctoral thesis, University of Amsterdam.

DS-2002-06:
Vermeulen, Ivar
(2002)
*A Logical Approach to Competition in Industries.*
Doctoral thesis, University of Amsterdam.

DS-1995-11:
Viol, W.P.M. Meyer
(1995)
*Instantial Logic. An Investigation into Reasoning with Instances.*
Doctoral thesis, University of Amsterdam.

HDS-22:
Visser, Albert
(2017)
*Aspects of Diagonalization & Provability.*
Doctoral thesis, University of Amsterdam.

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

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

MoL-2019-17:
Vollmer, Michael
(2019)
*On Logical Nihilism.*
[Report]

MoL-2021-08:
Vonlanthen, Simon Dominik
(2021)
*Natural Language and Logical Consequence: An Inferentialist Account.*
[Report]

DS-2010-10:
Vosmaer, Jacob
(2010)
*Logic, Algebra and Topology. Investigations into canonical extensions, duality theory and point-free topology.*
Doctoral thesis, University of Amsterdam.

PP-2007-02:
Vosmaer, Jacob
(2007)
*Essentially Sigma-1 formulae in Sigma L.*
[Report]

MoL-2022-25:
Vrijbergen, Pepijn
(2022)
*Validity, Logic, and Models.*
[Report]

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

PP-2012-07:
Väänänen, Jouko and Wang, Tong
(2012)
*Internal Categoricity in Arithmetic and Set Theory.*
[Report]

X-2019-02:
van Benthem, Johan
(2019)
*Inventory Scientific Archive 1961-2017, 2017–2022.*
[Report]

HDS-06:
van Benthem, Johan
(2014)
*Modal Correspondence Theory.*
Doctoral thesis, University of Amsterdam.

PP-2022-03:
van Benthem, Johan and Bezhanishvili, Nick
(2022)
*Modal structures in groups and vector spaces.*
[Pre-print]

PP-2021-10:
van Benthem, Johan and Icard, Thomas
(2021)
*Interfacing Logic and Counting.*
[Pre-print]
(Submitted)

PP-2022-02:
van Benthem, Johan and Li, Lei and Shi, Chenwei and Yin, Haoxuan
(2022)
*Hybrid sabotage Modal Logic.*
[Pre-print]
(In Press)

PP-2021-03:
van Benthem, Johan
(2021)
*An Abstract Look at the Fixed-Point Theorem for Provability Logic.*
[Pre-print]
(In Press)

PP-2007-10:
van Benthem, Johan
(2007)
*Actions that Make us Know.*
[Report]

PP-2017-22:
van Benthem, Johan
(2017)
*Against All Odds: When Logic Meets Probability.*
[Pre-print]
(In Press)

X-2009-01:
van Benthem, Johan
(2009)
*Argumentation through the Lense of Artificial Intelligence.*
[Report]

PP-2008-05:
van Benthem, Johan
(2008)
*A Brief History of Natural Logic.*
[Report]

PP-2009-08:
van Benthem, Johan
(2009)
*CRS and Guarded Logics, a fruitful contact.*
[Report]

PP-2003-20:
van Benthem, Johan
(2003)
*The Categorial Fine-Structure of Natural Language.*
[Report]

PP-2003-08:
van Benthem, Johan
(2003)
*Categorial Grammar at a Cross-Roads.*
[Report]

PP-2009-44:
van Benthem, Johan
(2009)
*Categorial versus Modal Information Theory.*
[Report]

PP-2003-09:
van Benthem, Johan
(2003)
*Conditional Probability and Update Logic.*
[Report]

PP-2017-21:
van Benthem, Johan
(2017)
*Constructive Agents.*
[Pre-print]
(In Press)

PP-2009-07:
van Benthem, Johan
(2009)
*Decisions, Actions, and Games: a logical perspective.*
[Report]

PP-2006-11:
van Benthem, Johan
(2006)
*Dynamic Logic of Belief Revision.*
[Report]

X-2008-01:
van Benthem, Johan
(2008)
*Een Postzegel vol Logica.*
[Report]

PP-2005-20:
van Benthem, Johan
(2005)
*Epistemic Logic and Epistemology, the state of their affairs.*
[Report]

PP-2003-04:
van Benthem, Johan
(2003)
*The Epistemic Logic of IF Games.*
[Report]

X-2011-05:
van Benthem, Johan
(2011)
*Epistemic Logic: Five Questions Interview.*
[Report]

PP-2011-20:
van Benthem, Johan
(2011)
*Exploring a Theory of Play.*
[Report]

PP-2016-01:
van Benthem, Johan
(2016)
*Fanning the Flames of Reason.*
[Report]

X-2005-03:
van Benthem, Johan
(2005)
*A Farewell to Loneliness: dynamic trends in logic to-day.*
[Report]

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

PP-2008-16:
van Benthem, Johan
(2008)
*For Better of for Worse: Dynamic Logics of Preference.*
[Report]

PP-2009-06:
van Benthem, Johan
(2009)
*The Great Art of Modeling.*
[Report]

PP-2005-07:
van Benthem, Johan
(2005)
*Guards, Bounds, and Generalized Semantics.*
[Report]

PP-2009-47:
van Benthem, Johan
(2009)
*Horror Contradictionis.*
[Report]

PP-2013-02:
van Benthem, Johan
(2013)
*Implicit and Explicit Stances in Logic.*
[Pre-print]
(Submitted)

PP-2008-03:
van Benthem, Johan
(2008)
*In Praise of Strategies.*
[Report]

PP-2007-06:
van Benthem, Johan
(2007)
*Inference in Action.*
[Report]

PP-2008-09:
van Benthem, Johan
(2008)
*Information Update as Social Choice.*
[Report]

PP-2006-07:
van Benthem, Johan
(2006)
*Information as Correlation versus Information as Range.*
[Report]

PP-2008-37:
van Benthem, Johan
(2008)
*The Information in Intuitionistic Logic.*
[Report]

X-2007-01:
van Benthem, Johan
(2007)
*Intelligent Interaction: Dynamic Trends in Todays Logic.*
[Report]

X-2007-02:
van Benthem, Johan
(2007)
*An Interview on Logic and Games.*
[Report]

PP-2008-01:
van Benthem, Johan
(2008)
*An Interview on the Philosophy of Information.*
[Report]

PP-2003-03:
van Benthem, Johan
(2003)
*Is There Still Logic in Bolzano's Key?*
[Report]

PP-2007-07:
van Benthem, Johan
(2007)
*LOGIC GAMES: from tools to models of interaction.*
[Report]

PP-2021-04:
van Benthem, Johan
(2021)
*Lof der Onmogelijkheid.*
[Pre-print]
(In Press)

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

PP-2007-03:
van Benthem, Johan
(2007)
*Logic and Reasoning: Do the Facts Matter?*
[Report]

PP-2003-21:
van Benthem, Johan
(2003)
*Logic and the Dynamics of Information.*
[Report]

PP-2011-25:
van Benthem, Johan
(2011)
*Logic between Expressivity and Complexity.*
[Report]

PP-2016-27:
van Benthem, Johan
(2016)
*Logic in Play.*
[Report]

PP-2011-22:
van Benthem, Johan
(2011)
*Logic in a Social Setting.*
[Report]

PP-2009-48:
van Benthem, Johan
(2009)
*The Logic of Empirical Theories Revisited.*
[Report]

PP-2011-26:
van Benthem, Johan
(2011)
*Logic, Mathematics, and General Agency.*
[Report]

PP-2008-06:
van Benthem, Johan
(2008)
*Logic, Rational Agency, and Intelligent Interaction.*
[Report]

PP-2013-05:
van Benthem, Johan
(2013)
*Logica en recht: naar een rijkere relatie.*
[Report]

PP-2008-33:
van Benthem, Johan
(2008)
*Logical Pluralism Meets Logical Dynamics?*
[Report]

PP-2007-05:
van Benthem, Johan
(2007)
*Man Muss Immer Umkehren.*
[Report]

PP-2008-07:
van Benthem, Johan
(2008)
*The Many Faces of Interpolation.*
[Report]

PP-2008-36:
van Benthem, Johan
(2008)
*Merging Observation and Access in Dynamic Logic.*
[Report]

PP-2004-02:
van Benthem, Johan
(2004)
*A Mini-Guide to Logic In Action.*
[Report]

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

PP-2012-21:
van Benthem, Johan
(2012)
*Modeling Reasoning in a Social Setting.*
[Report]

PP-2012-26:
van Benthem, Johan
(2012)
*The Nets of Reason.*
[Report]

PP-2003-01:
van Benthem, Johan
(2003)
*A Note on Modeling Theories.*
[Report]

PP-2003-07:
van Benthem, Johan
(2003)
*'One is a Lonely Number': on the Logic of Communication.*
[Report]

PP-2016-03:
van Benthem, Johan
(2016)
*The Open Course Logic in Action.*
[Report]

PP-2005-06:
van Benthem, Johan
(2005)
*Open Problems in Logical Dynamics.*
[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-2003-06:
van Benthem, Johan
(2003)
*Rational Dynamics and Epistemic Logic in Games.*
[Report]

PP-2006-59:
van Benthem, Johan
(2006)
*Rationalizations and Promises in Games.*
[Report]

PP-2013-01:
van Benthem, Johan
(2013)
*Reasoning about Strategies.*
[Report]

PP-2021-02:
van Benthem, Johan
(2021)
*Relational Patterns, Partiality, and Set Lifting in Modal Semantics.*
[Pre-print]
(Submitted)

PP-2009-34:
van Benthem, Johan
(2009)
*Rolling down the River: Saul Kripke and the course of modal logic.*
[Report]

PP-2017-26:
van Benthem, Johan
(2017)
*Semantic Perspectives in Logic.*
[Pre-print]
(Submitted)

PP-2007-04:
van Benthem, Johan
(2007)
*Situation Calculus Meets Modal Logic.*
[Report]

PP-2012-22:
van Benthem, Johan
(2012)
*Some Thoughts on the Logic of Strategies.*
[Report]

PP-2003-02:
van Benthem, Johan
(2003)
*Structural Properties of Dynamic Reasoning.*
[Report]

PP-2016-30:
van Benthem, Johan
(2016)
*Tales from an Old Manuscript.*
[Report]

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

PP-2008-08:
van Benthem, Johan
(2008)
*'Tell It Like It Is': information flow in logic.*
[Report]

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

PP-2016-02:
van Benthem, Johan
(2016)
*Tracking Information.*
[Report]

PP-2016-41:
van Benthem, Johan
(2016)
*"Transmissie, Emergentie en Fading Foundations", a commentary.*
[Pre-print]

X-2017-02:
van Benthem, Johan
(2017)
*Truth Maker Semantics and Modal Information Logic.*
[Report]

PP-2012-23:
van Benthem, Johan
(2012)
*Two Logical Faces of Belief Revision.*
[Report]

PP-2013-06:
van Benthem, Johan
(2013)
*Untimely Review, Bernard Bolzano's "Wissenschaftslehre" of 1837.*
[Report]

PP-2019-01:
van Benthem, Johan
(2019)
*Vistas from a Drop of Water.*
[Pre-print]

PP-2003-05:
van Benthem, Johan
(2003)
*What Logic Games are Trying to Tell Us.*
[Report]

PP-2003-22:
van Benthem, Johan
(2003)
*What One May Come to Know.*
[Report]

PP-2017-24:
van Benthem, Johan
(2017)
*Working with Jan in Four Movements.*
[Pre-print]

PP-2004-15:
van Benthem, Johan and Bezhanishvili, Guram and ten Cate, Balder and Sarenac, Darko
(2004)
*Modal Logics for Products of Topologies.*
[Report]

PP-2019-13:
van Benthem, Johan and Bezhanishvili, Nick
(2019)
*Modern faces of filtration.*
[Pre-print]

PP-2017-23:
van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian
(2017)
*IPDL: a new modal logic of computation.*
[Pre-print]
(Submitted)

PP-2017-25:
van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian
(2017)
*A New Game Equivalence and Its Modal Logic.*
[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]

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

PP-2011-21:
van Benthem, Johan and Bezhanishvili, Nick and Hodkinson, Ian
(2011)
*Sahlqvist Correspondence for Modal Mu-Calculus.*
[Report]

PP-2016-04:
van Benthem, Johan and Bezhanishvili, Nick and Holliday, Wesley H.
(2016)
*A bimodal perspective on possibility semantics.*
[Report]

PP-2006-30:
van Benthem, Johan and Blackburn, Patrick
(2006)
*Modal Logic: A Semantic Perspective.*
[Report]

PP-2008-30:
van Benthem, Johan and Bonnay, Denis
(2008)
*Modal Logic and Invariance.*
[Report]

PP-2012-25:
van Benthem, Johan and Duque, David Fernández and Pacuit, Eric
(2012)
*Evidence Logic: A New Look at Neighborhood Structures.*
[Report]

PP-2008-17:
van Benthem, Johan and Dègremont, Cedric
(2008)
*Building bridges between dynamic and temporal doxastic logics.*
[Report]

PP-2008-34:
van Benthem, Johan and Dégrémont, Cédric
(2008)
*Multi-agent Belief Dynamics: Bridges between Dynamic Doxastic and Doxastic Temporal Logics.*
[Report]

PP-2011-31:
van Benthem, Johan and Dégrémont, Cédric
(2011)
*Multi-agent belief dynamics: bridges between dynamic doxastic and doxastic temporal logics.*
[Report]

PP-2008-35:
van Benthem, Johan and Gerbrandy, Jelle and Hoshi, Tomohiro and Pacuit, Eric
(2008)
*Merging Frameworks for Interaction.*
[Report]

PP-2006-21:
van Benthem, Johan and Gerbrandy, Jelle and Kooi, Barteld
(2006)
*Dynamic Update with Probabilities.*
[Report]

PP-2007-26:
van Benthem, Johan and Ghosh, Sujata and Liu, Fenrong
(2007)
*Modelling Simultaneous Games with Dynamic Logic.*
[Report]

PP-2011-02:
van Benthem, Johan and Grossi, Davide
(2011)
*Normal Forms for Priority Graphs.*
[Report]

PP-2011-29:
van Benthem, Johan and Grossi, Davide and Liu, Fenrong
(2011)
*On the Two Faces of Deontics: Semantic Betterness and Syntactic Priority.*
[Report]

PP-2008-19:
van Benthem, Johan and Ikegami, Daisuke
(2008)
*Modal Fixed-Point Logic and Changing Models.*
[Report]

PP-2019-04:
van Benthem, Johan and Klein, Dominik
(2019)
*Logics for Analyzing Games.*
[Pre-print]
(In Press)

PP-2011-24:
van Benthem, Johan and Liu, Fenrong
(2011)
*Deontic Logic and Changing Preferences.*
[Report]

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

PP-2004-13:
van Benthem, Johan and Liu, Fenrong
(2004)
*Diversity of Logical Agents in Games.*
[Report]

PP-2006-45:
van Benthem, Johan and Liu, Fenrong
(2006)
*Dynamic logic of preference upgrade.*
[Report]

PP-2019-03:
van Benthem, Johan and Liu, Fenrong
(2019)
*Graph Games and Logic Design.*
[Pre-print]
(Submitted)

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

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

PP-2019-11:
van Benthem, Johan and Liu, Fenrong and Smets, Sonja
(2019)
*Logico-Computational Aspects of Rationality.*
[Pre-print]
(In Press)

PP-2008-04:
van Benthem, Johan and Martinez, Maricarmen
(2008)
*The Stories of Logic and Information.*
[Report]

PP-2019-27:
van Benthem, Johan and Mierzewski, Krzysztof and Zaffora Blando, Francesca
(2019)
*The Modal Logic of Stepwise Removal.*
[Pre-print]
(In Press)

PP-2009-32:
van Benthem, Johan and Minica, Stefan
(2009)
*Toward a Dynamic Logic of Questions.*
[Report]

PP-2012-28:
van Benthem, Johan and Pacuit, Eric
(2012)
*Connecting Logics of Choice and Change.*
[Report]

PP-2011-19:
van Benthem, Johan and Pacuit, Eric
(2011)
*Dynamic Logics of Evidence-Based Beliefs.*
[Report]

PP-2004-20:
van Benthem, Johan and Sarenac, Darko
(2004)
*The Geometry of Knowledge.*
[Report]

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

PP-2011-30:
van Benthem, Johan and Velázquez-Quesada, Fernando
(2011)
*The Dynamics of Awareness.*
[Report]

PP-2009-43:
van Benthem, Johan and Velázquez-Quesada, Fernando R.
(2009)
*Inference, Promotion, and the Dynamics of Awareness.*
[Report]

PP-2019-07:
van Benthem, Johan and Westerstähl, Dag
(2019)
*Generalized Quantifiers Meet Modal Neighborhood Semantics.*
[Pre-print]
(In Press)

X-2016-05:
van Benthem, Johan and Yafeng, Wang
(2016)
*Notes on Mathematical Modal Logic.*
[Report]

PP-2016-29:
van Benthem, Johan and and Wesley H. Holliday, Nick Bezhanishvili
(2016)
*A Bimodal Perspective on Possibility Semantics.*
[Report]

PP-2011-23:
van Benthem, Johan and van Ditmarsch, Hans and Minica, Stefan
(2011)
*Question-Answer Games.*
[Report]

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

DS-2000-06:
van Ditmarsch, Hans
(2000)
*Knowledge Games.*
Doctoral thesis, University of Amsterdam.

X-2000-01:
van Ditmarsch, H.P.
(2000)
*Dynamic Knowledge Logic.*
[Report]

PP-2019-22:
van Emde Boas, Peter and van Emde Boas-Lubsen, Ghica
(2019)
*The Rules of Victorious Warriors - revised version.*
[Pre-print]
(In Press)

PP-2019-23:
van Emde Boas-Lubsen, Ghica and Zhao, Bonan and van Emde Boas, Peter
(2019)
*Sun Tzu and the Rules of Victorious Warriors;
Analysing the rules of Sun Tzu using Mind maps.*
[Pre-print]

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

MoL-2016-12:
van Gessel, Thom
(2016)
*Action Models in Inquisitive Logic.*
[Report]

MoL-2022-09:
van Harskamp, Jasmijn
(2022)
*The National Contests Behind International Success: A Musical Comparison of the Eurovision Song Contest, the Festival di Sanremo and the Melodifestivalen.*
[Report]

MoL-2015-20:
van Lee, Hanna Sofie
(2015)
*The Reliability of Scientific Communities: a Logical Analysis.*
[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]

DS-2005-05:
van Otterloo, Sieuwert
(2005)
*A Strategic Analysis of Multi-agent Protocols.*
Doctoral thesis, University of Amsterdam.

MoL-2019-02:
van Stigt, Daan
(2019)
*Neural language models with latent syntax.*
[Report]

X-2022-05:
van Ulsen, Paul
(2022)
*Bibliografie E.W. Beth.*
[Report]

DS-2000-04:
van Ulsen, Paul
(2000)
*E.W. Beth als logicus.*
Doctoral thesis, University of Amsterdam.

X-2022-02:
van Ulsen, Paul
(2022)
*Onderwijs en onderzoek in logica en wetenschapsfilosofie.*
[Report]

X-2022-04:
van Ulsen, Paul
(2022)
*Organisaties en genootschappen.*
[Report]

X-2022-03:
van Ulsen, Paul
(2022)
*Wetenschapsfilosofie.*
[Report]

MoL-2014-21:
van Weegen, Lara Elise
(2014)
*Informational cascades under variable reliability assessments: A formal and empirical investigation.*
[Report]

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

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

MoL-2021-02:
van Woerkom, Wijnand Koen
(2021)
*Algebraic models of type theory.*
[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]

MoL-2019-03:
van den Heuvel, Bas
(2019)
*The Logic of Fault-Tolerance in Message-Passing Concurrency.*
[Report]

MoL-2021-26:
van der Kamp, Luca
(2021)
*The Epistemic Logic of Full Communication and Social Networks: An Analysis of Mediation and Network Formation.*
[Report]

MoL-2017-23:
van der Knaap, Guido
(2017)
*The Philosophical Motivation for Proof-Theoretic Harmony.*
[Report]

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

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

DS-1995-04:
Wang, Dejuan
(1995)
*Study on the Formal Semantics of Pictures.*
Doctoral thesis, University of Amsterdam.

DS-2010-06:
Wang, Yanjing
(2010)
*Epistemic Modelling and Protocol Dynamics.*
Doctoral thesis, University of Amsterdam.

MoL-2017-22:
Wang, Shuai
(2017)
*Turing Learning with Nash Memory.*
[Report]

LP-1989-07:
Wansing, Heinrich
(1989)
*The Adequacy Problem for Sequential Propositional Logic.*
[Report]

DS-2000-01:
Wassermann, Renata
(2000)
*Resource Bounded Belief Revision.*
Doctoral thesis, University of Amsterdam.

MoL-2021-19:
Wehr, Dominik
(2021)
*An Abstract Framework for the Analysis of Cyclic Derivations.*
[Report]

X-2021-01:
Wehr, Dominik
(2021)
*Aczel's Type-Theoretic Interpretation of Constructive Zermelo-Fraenkel Set Theory.*
[Report]

MoL-2014-22:
Wijnholds, Gijs
(2014)
*Categorical Foundations for Extended Compositional Distributional Models of Meaning.*
[Report]

DS-2009-05:
Witzel, Andreas
(2009)
*Knowledge and Games: Theory and Implementation.*
Doctoral thesis, University of Amsterdam.

PP-2009-31:
Wybraniec-Skardowska, Urszula
(2009)
*Polish Logic, a few lines from a personal perspective.*
[Report]

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

MoL-2013-28:
Xue, YunQi
(2013)
*Towards Closed-World Reasoning in Games - Ultimatum Game Revisited.*
[Report]

PP-2006-02:
Yamada, Tomoyuki
(2006)
*Acts of Commanding and Changing Obligations.*
[Report]

MoL-2014-08:
Yarandi, Seyed Mohammad
(2014)
*Proper Names and Propositional Attitudes.*
[Report]

MoL-2019-10:
Young Pedersen, Mina
(2019)
*Polarization and Echo Chambers: A Logical Analysis of Balance and Triadic Closure in Social Networks.*
[Report]

DS-1994-06:
Zambella, Domenico
(1994)
*Chapters on Bounded Arithmetic and on Provability Logic.*
Doctoral thesis, University of Amsterdam.

MoL-2019-07:
Zamperlin, Nicolò
(2019)
*Intensional Kleene logics for vagueness.*
[Report]

MoL-2021-01:
Zenger, Lukas
(2021)
*Proof theory for fragments of the modal mu-calculus.*
[Report]

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

MoL-2022-23:
Zhang, Tianwei
(2022)
*Bisimulations over Parity Formulas.*
[Report]

PP-2007-25:
Zhang, Jialong and Liu, Fenrong
(2007)
*Some Thoughts on Mohist Logic.*
[Report]

MoL-2017-18:
Zhao, Bonan
(2017)
*Dynamic Epistemic Logic Models for Predicting the Cognitive Difficulty of the Deductive Mastermind Game.*
[Report]

MoL-2019-13:
Zhao, Zhuoye
(2019)
*Varieties of Distributivity: From Mandarin Dou to Plurality, Free Choice and Scalarity.*
[Report]

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

X-2014-02:
Zhong, Shengyang
(2014)
*Definability in Quantum Kripke Frames.*
[Report]

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

DS-2010-02:
Zvesper, Jonathan
(2010)
*Playing with Information.*
Doctoral thesis, University of Amsterdam.

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

PP-2022-01:
Özgün, Aybüke and Schoonen, Tom
(2022)
*The Logical Development of Pretense Imagination.*
[Pre-print]

MoL-2013-13:
Özgün, Aybüke
(2013)
*Topological Models for Belief and Belief Revision.*
[Report]