Items where Subject is "Logic"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type
Jump to: A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
Number of items at this level: 369.


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-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-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-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-2016-36: Bezhanishvili, Guram and Bezhanishvili, Nick and Ilin, Julia (2016) Subframization and stabilization for superintuitionistic logics. [Pre-print] (Submitted)

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-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-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-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-2017-11: Chen, Weiwei and Endriss, Ulle (2017) Preservation of Semantic Properties during the Aggregation of 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-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-2010-14: Demey, Lorenz (2010) Agreeing to Disagree in Probabilistic Dynamic Epistemic Logic. [Report]

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

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

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

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

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-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-03: Močnik, Maša (2015) Slovenian Perfective and Imperfective Explicit Performative Utterances. [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-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-2017-21: Pasquariello, Alison (2017) Mohawk Temporality: Embodiment, Ritual, and Cognition. [Report]

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

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]

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

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

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

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

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]

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

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]

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

MoL-2018-01: van den Berg, Line (2018) Unreliable Gossip. [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]

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]

MoL-2017-18: Zhao, Bonan (2017) Dynamic Epistemic Logic Models for Predicting the Cognitive Difficulty of the Deductive Mastermind Game. [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]

This list was generated on Sun Jun 24 00:30:35 2018 CEST.