Up a level |

- Subjects (415)
**Logic**(329)

Group by: Authors | Item Type

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

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

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-06:
Bezhanishvili, Guram and Bezhanishvili, Nick and Santoli, Thomas and Venema, Yde
(2017)
*A simple propositional calculus for compact Hausdorff spaces.*
[Pre-print]

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

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

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

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

PP-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)

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

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

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

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

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

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

PP-2008-27:
Abramsky, Samson and Väänänen, Jouko
(2008)
*From IF to BI, A Tale of Dependence and Separation.*
[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-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]

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-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-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-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-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-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-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-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-2006-08:
Bezhanishvili, Guram and van Benthem, Johan
(2006)
*Modal Logics of Space.*
[Report]

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-2015-16:
Bezhanishvili, Nick and Galatos, Nick and Spada, Luca
(2015)
*Canonical formulas for k-potent commutative, integral residuated lattices.*
[Report]

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

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

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]

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

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-2017-03:
Coopmans, Tim
(2017)
*Robust self-testing of (almost) all pure two-qubit states.*
[Report]

PP-2001-22:
Corsi, Giovanna
(2001)
*A Unifying Completeness Theorem in Quantified Modal logic.*
[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-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-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-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-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-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]

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

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

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]

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]

PP-2006-56:
Joosten, Joost J.
(2006)
*Semantics for sub-intuitionistic logics.*
[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-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]

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

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

PP-2012-27:
Liu, Fenrong and Seligman, Jeremy and van Benthem, Johan
(2012)
*Models of Reasoning in Ancient China.*
[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-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-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]

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

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

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

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-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-2016-03:
Pastan, Stephen
(2016)
*Another Approach to Truthmaker Semantics.*
[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-2014-06:
Qing, Ciyang
(2014)
*Quantiative Social-Cognitive Experimental Pragmatics.*
[Report]

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

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

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

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

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

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]

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
(2005)
*The Suppression Task Revisited.*
[Report]

PP-2006-47:
Tulenheimo, Tero and Sevenster, Merlijn
(2006)
*Approaches to Independence Friendly Modal Logic.*
[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-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-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]

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]

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

MoL-2015-23:
Wagner, Eileen
(2015)
*Superplural 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-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-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]

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]

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

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

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-2007-10:
van Benthem, Johan
(2007)
*Actions that Make us Know.*
[Report]

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-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-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.*
[Report]

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

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

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

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

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

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

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

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

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

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

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

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-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-2015-07:
van Benthem, Johan and Liu, Fenrong
(2015)
*Where is Logic Going?*
[Report]

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

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]

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]

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-2014-21:
van Weegen, Lara Elise
(2014)
*Informational cascades under variable reliability assessments: A formal and empirical investigation.*
[Report]

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