Items where Author is "van Benthem, Johan"

Pre-print

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

PP-2020-06: Baltag, Alexandru and van Benthem, Johan (2020) A Simple Logic of Functional Dependence. [Pre-print] (Submitted)

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

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

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

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

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

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

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

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

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

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-2021-03: van Benthem, Johan (2021) An Abstract Look at the Fixed-Point Theorem for Provability Logic. [Pre-print] (In Press)

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

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

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

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

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

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

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

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

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

PP-2017-25: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian (2017) A New Game Equivalence and Its Modal Logic. [Pre-print]

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

PP-2019-01: van Benthem, Johan (2019) Vistas from a Drop of Water. [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]

Report

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

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

X-2016-05: van Benthem, Johan and Yafeng, Wang (2016) Notes on Mathematical Modal Logic. [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-2016-30: van Benthem, Johan (2016) Tales from an Old Manuscript. [Report]

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

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

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

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

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

PP-2015-20: van Benthem, Johan (2015) Possible Worlds Semantics for Classical Logic. [Report]

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

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

PP-2015-10: van Benthem, Johan (2015) Oscillations, Logic, and Dynamical Systems. [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-2015-02: van Benthem, Johan and Liu, Fenrong (2015) Deontic Logic and Preference Change. [Report]

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

PP-2015-03: van Benthem, Johan (2015) Natural Language and Logic of Agency. [Report]

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

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

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

IV-04: van Benthem, Johan (2014) Fanning the flames of reason (Valedictory). [Report]

PP-2014-10: Andreka, Hajnal and van Benthem, Johan and Bezhanishvili, Nick and Németi, István (2014) Changing a semantics: opportunism or courage? [Report]

IV-02: van Benthem, Johan (2014) Rekenen met Taal (Inaugural). [Report]

IV-01: van Benthem, Johan (2014) In Alle Redelijkheid (Inaugural). [Report]

PP-2013-03: van Benthem, Johan (2013) Computation as Social Agency: What and How. [Report]

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

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

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

PP-2012-28: van Benthem, Johan and Pacuit, Eric (2012) Connecting Logics of Choice and Change. [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-2012-21: van Benthem, Johan (2012) Modeling Reasoning in a Social Setting. [Report]

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

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

PP-2012-24: van Benthem, Johan (2012) Non-Standard Reasoning, Revisited. [Report]

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

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

PP-2011-32: van Benthem, Johan (2011) Dynamic Logic in Natural Language. [Report]

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

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

PP-2011-30: van Benthem, Johan and Velázquez-Quesada, Fernando (2011) The Dynamics of Awareness. [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-2011-28: van Benthem, Johan and Gheerbrant, Amélie (2011) Game Solution, Epistemic Dynamics and Fixed-Point Logics. [Report]

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

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

PP-2011-26: van Benthem, Johan (2011) Logic, Mathematics, and General Agency. [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-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-2011-23: van Benthem, Johan and van Ditmarsch, Hans and Minica, Stefan (2011) Question-Answer Games. [Report]

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

PP-2011-27: van Benthem, Johan and Pacuit, Eric and Roy, Olivier (2011) Toward a Theory of Play: A Logical Perspective on Games and Interaction. [Report]

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

PP-2010-21: van Benthem, Johan and Pacuit, Eric and Roy, Olivier (2010) Toward a Theory of Play: A Logical Perspective on Games and Interaction. [Report]

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

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

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

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

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

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

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

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

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

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

X-2008-09: van Benthem, Johan (2008) Constanten, of Variabelen, van het Logische Denken. [Report]

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

X-2008-10: Adriaans, Pieter and van Benthem, Johan (2008) Introduction: Information is what information does. [Report]

X-2008-11: van Benthem, Johan (2008) Logic and Philosophy in the Century That Was. [Report]

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

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

PP-2008-36: van Benthem, Johan (2008) Merging Observation and Access in Dynamic Logic. [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-2008-30: van Benthem, Johan and Bonnay, Denis (2008) Modal Logic and Invariance. [Report]

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

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

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

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

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

PP-2008-02: van Benthem, Johan (2008) Games that Make Sense: logic, language, and interaction. [Report]

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

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

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

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

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

X-2008-02: van Benthem, Johan (2008) Philosophy of Mathematics: Five Candid Answers. [Report]

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

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

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

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

PP-2007-09: van Benthem, Johan and Roy, Olivier and Girard, Patrick (2007) Everything else being equal: A modal logic approach to ceteris paribus preferences. [Report]

PP-2007-06: van Benthem, Johan (2007) Inference in Action. [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-2007-07: van Benthem, Johan (2007) LOGIC GAMES: from tools to models of interaction. [Report]

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

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

PP-2007-08: van Benthem, Johan and Gerbrandy, Jelle and Pacuit, Eric (2007) Merging Frameworks for Interaction: DEL and ETL. [Report]

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

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

PP-2006-49: van Benthem, Johan (2006) Computation as Conversation. [Report]

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

PP-2006-44: van Benthem, Johan and Pacuit, Eric (2006) The Tree of Knowledge in Action: Towards a Common Perspective. [Report]

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

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

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

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

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

PP-2006-06: van Benthem, Johan (2006) A New Modal Lindstr\"om Theorem. [Report]

PP-2005-29: van Benthem, Johan and Liu, Fenrong (2005) Dynamic Logic of Preference Upgrade. [Report]

PP-2005-28: van Benthem, Johan and van Otterloo, Sieuwert and Roy, Olivier (2005) Preference logic, conditionals and solution concepts in games. [Report]

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

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

PP-2005-21: van Benthem, Johan (2005) Logic in Philosophy. [Report]

PP-2005-22: van Benthem, Johan (2005) Where is Logic Going, and Should It? [Report]

PP-2005-10: van Benthem, Johan (2005) Cognition as Interaction. [Report]

PP-2005-11: van Benthem, Johan (2005) An Essay on Sabotage and Obstruction. [Report]

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

PP-2005-09: van Benthem, Johan and van Eijck, Jan and Kooi, Barteld (2005) Logics of Communication and Change. [Report]

PP-2005-08: van Benthem, Johan (2005) Modal Frame Correspondence Generalized. [Report]

PP-2005-06: van Benthem, Johan (2005) Open Problems in Logical Dynamics. [Report]

PP-2004-20: van Benthem, Johan and Sarenac, Darko (2004) The Geometry of Knowledge. [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-2004-13: van Benthem, Johan and Liu, Fenrong (2004) Diversity of Logical Agents in Games. [Report]

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

PP-2004-01: van Benthem, Johan (2004) Minimal Predicates, Fixed Points, and Definability. [Report]

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

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

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

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

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

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

PP-2003-03: van Benthem, Johan (2003) Is There Still Logic in Bolzano's Key? [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-2003-06: van Benthem, Johan (2003) Rational Dynamics and Epistemic Logic in Games. [Report]

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

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

PP-2002-07: van Benthem, Johan and Bezhanishvili, Guram and Gehrke, Mai (2002) Euclidean Hierarchy in Modal Logic. [Report]

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

PP-2000-02: van Benthem, Johan (2000) Information Transfer across Chu Spaces. [Report]

X-2000-03: van Benthem, Johan (2000) Logic and Games: the third encounter. [Report]

PP-1999-24: Aiello, Marco and van Benthem, Johan (1999) Logical Patterns in Space. [Report]

PP-1999-22: van Benthem, Johan (1999) When are Two Games the Same? [Report]

ML-1998-08: van Benthem, Johan (1998) Dynamic Odds & Ends. [Report]

LP-1998-05: van Benthem, Johan (1998) Linguistic Grammar as Dynamic Logic. [Report]

ML-1998-12: van Benthem, Johan (1998) Modal Logic in Two Gestalts. [Report]

CT-1998-03: van Benthem, Johan (1998) Temporal Patterns and Modal Structure. [Report]

LP-1997-01: van Benthem, Johan (1997) Dynamic Bits and Pieces. [Report]

ML-1997-06: van Benthem, Johan (1997) Modality, Bisimulation and Interpolation in Infinitary Logic. [Report]

ML-1997-05: van Benthem, Johan (1997) The Range of Modal Logic: an Essay in Memory of George Gargov. [Report]

LP-1997-08: van Benthem, Johan (1997) Wider Still and Wider... Resetting the Bounds of Logic. [Report]

LP-1996-04: Muskens, Reinhard and van Benthem, Johan and Visser, Albert (1996) Dynamics. [Report]

ML-1996-12: Barwise, Jon and van Benthem, Johan (1996) Interpolation, Preservation, and Pebble Games. [Report]

ML-1996-08: van Benthem, Johan and Montanari, Angelo and D'Agostino, Giovanna and Policriti, Alberto (1996) Modal Deduction in Second-Order Logic and Set Theory - II. [Report]

ML-1996-03: Andréka, Hajnal and van Benthem, Johan and Németi, István (1996) Modal Languages and Bounded Fragments of Predicate Logic. [Report]

ML-1995-04: Andréka, Hajnal and van Benthem, Johan and Németi, István (1995) Back and Forth between Modal Logic and Classical Logic. [Report]

ML-1995-02: van Benthem, Johan and D'Agostino, Giovanna and Montanari, Angelo and Policriti, Alberto (1995) Modal Deduction in Second-Order Logic and Set Theory. [Report]

ML-1995-07: van Benthem, Johan (1995) Modal Foundations of Predicate Logic. [Report]

LP-1994-06: van Benthem, Johan and Westerståhl, Dag (1994) Directions in Generalized Quantifier Theory. [Report]

X-1994-05: van Benthem, Johan (1994) Logic and Argumentation. [Report]

ML-1994-03: van Benthem, Johan and de Jongh, Dick and de Lavalette, Gerard Renardel and Visser, Albert (1994) NNIL, A Study in Intuitionistic Propositional Logic. [Report]

X-1994-01: van Benthem, Johan (1994) Two Essays on Semantic Modelling. [Report]

CT-1993-03: van Benthem, Johan and Bergstra, Jan (1993) Logic of Transition Systems. [Report]

ML-1993-02: van Benthem, Johan and Alechina, Natasha (1993) Modal Quantification over Structured Domains. [Report]

X-1992-04: van Benthem, Johan (1992) Modeling the Kinematics of Meaning. [Report]

LP-1992-11: van Benthem, Johan (1992) A Note on Dynamic Arrow Logic. [Report]

LP-1992-09: van Benthem, Johan (1992) Quantifiers in the world of Types. [Report]

LP-1991-10: van Benthem, Johan (1991) Logic and the Flow of Information. [Report]

ML-1991-12: van Benthem, Johan (1991) Modal Frame Classes, revisited. [Report]

X-1991-05: van Benthem, Johan (1991) Temporal Logic. [Report]

LP-1990-11: van Benthem, Johan (1990) General Dynamics. [Report]

LP-1989-01: van Benthem, Johan (1989) The Fine-Structure of Categorial Semantics. [Report]

LP-1989-04: van Benthem, Johan (1989) Language in Action. [Report]

LP-1989-05: van Benthem, Johan (1989) Modal Logic as a Theory of Information. [Report]

LP-1988-05: van Benthem, Johan (1988) Logical Constants across Varying Types. [Report]

LP-1988-06: van Benthem, Johan (1988) Semantic Parallels in Natural Language and Computation. [Report]

CT-1988-07: van Benthem, Johan (1988) Time, Logic and Computation. [Report]

ITLI-1987-07: van Benthem, Johan (1987) Categorial Grammar and Type Theory. [Report]

ITLI-1987-04: van Benthem, Johan (1987) Categorical Grammar and Type Theory. [Report]

ITLI-1986-03: van Benthem, Johan (1986) Categorial Grammar and Lambda Calculus. [Report]

ITLI-1986-06: van Benthem, Johan (1986) Logical Syntax. [Report]

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

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

Thesis

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