Items where Subject is "Logic"

Group by: Authors | Item Type
Jump to: A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | Ö
Number of items at this level: 569.


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]

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]

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]

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]

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


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]

PP-2021-08: Baltag, Alexandru and Smets, Sonja (2020) Learning What Others Know. [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)

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

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]

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

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]

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]

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

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]

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-2016-17: Cattermole, Thomas (2016) Paraconsistent Logics and Identity - a Pragmatic Approach. [Report]

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]

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]

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]

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


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]

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]

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

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

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)

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

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]

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]

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

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]


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-2020-11: Flaten, Eric (2020) Toward a formal representation of radical interpretation. [Report]

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]

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

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


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)

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]

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

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]

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]

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]

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

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]

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]

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

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

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

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

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]

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

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

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]


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

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]


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]

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-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-2017-06: Koek, Merlijn (2017) Extensions Of The Garden-hose Model. [Report]

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

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

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


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

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]

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]

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]

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


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]

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]

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]

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]

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]

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

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]

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]


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]

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

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

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

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

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]


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]

PP-2011-37: Roelofsen, Floris (2011) An inquisitive dynamic epistemic logic. [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]


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

HDS-07: Scha, Remko (2014) Logical Foundations for Question Answering. 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]

MoL-2014-09: Schlöder, Julian J. (2014) Uptake, Clarification and Argumentation. [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]

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

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

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]

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]

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)

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]

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]


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

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

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)

DMP-2021-01: Test, Tester (2021) Test RMP/DMP document. [Report]

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]

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]

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]


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]


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]

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]

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]

PP-2007-02: Vosmaer, Jacob (2007) Essentially Sigma-1 formulae in Sigma L. [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]

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

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

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]

X-2019-02: van Benthem, Johan (2019) Inventory Scientific Archive 1961-2017. [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]

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]

MoL-2016-12: van Gessel, Thom (2016) Action Models in Inquisitive Logic. [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]

MoL-2019-02: van Stigt, Daan (2019) Neural language models with latent syntax. [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]

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]

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]

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]


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]

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]

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]

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


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

This list was generated on Mon Jan 17 00:30:08 2022 CET.