Up a level |

- Subjects (577)
**Logic**(487)

Group by: Authors | Item Type

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

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

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-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-2019-14:
Baltag, Alexandru and Özgün, Aybüke and Vargas, Ana Lucia
(2019)
*APAL with Memory is Better.*
[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-2017-11:
Benossi, Lisa
(2017)
*Pretending to work: a closed world reasoning formalisation of pretend play.*
[Report]

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

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

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]

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]

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-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-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-2014-12:
Docherty, Simon
(2014)
*A Model Of Type Theory In Cubical Sets With Connections.*
[Report]

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]

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]

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]

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]

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

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]

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

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-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-2017-07:
Hornischer, Levin
(2017)
*Hyperintensionality and Synonymy.*
[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]

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]

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

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

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

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

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

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-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-2018-06:
Metzler, Heidi
(2018)
*Algorithmic Complexity in Textile Patterns.*
[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-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-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-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-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-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-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]

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

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)

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

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-2015-25:
Vecht, Joost
(2015)
*Categorical Structuralism and the Foundations of Mathematics.*
[Report]

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

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]

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

MoL-2019-17:
Vollmer, Michael
(2019)
*On Logical Nihilism.*
[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]

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-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-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-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]
(Submitted)

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