Johan van Benthem

160 papers A* 3A 1B 11Journal 111Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Definability and Interpolation in Philosophy. CoRR Johan van Benthem
2026	J	`jnl`	When do modal definability and preservation theorems transfer to the finite? CoRR Johan van Benthem, Balder ten Cate, Xi Yang
2025	J	`jnl`	Interleaving Logic and Counting. CoRR Johan van Benthem, Thomas Icard
2024	J	`jnl`	Knowability as continuity: a topological account of informational dependence. CoRR Alexandru Baltag, Johan van Benthem
2024	B	`conf`	Logics for Dynamic Graph Games. SEFM Johan van Benthem
2024	J	`jnl`	Modal structures in groups and vector spaces. J. Log. Comput. Johan van Benthem, Nick Bezhanishvili
2023	J	`jnl`	Hybrid sabotage modal logic. J. Log. Comput. Johan van Benthem, Lei Li, Chenwei Shi, Haoxuan Yin
2023	J	`jnl`	Interleaving Logic and Counting. Bull. Symb. Log. Johan van Benthem, Thomas Icard
2023	J	`jnl`	The logic of conditionals on outback trails. Log. J. IGPL Johan van Benthem
2022	J	`jnl`	A Logical Analysis of Dynamic Dependence. CoRR Alexandru Baltag, Johan van Benthem, Dazhu Li
2022	B	`conf`	Local Dependence and Guarding. AiML Balder ten Cate, Raoul Koudijs, Johan van Benthem
2022	J	`jnl`	Local Dependence and Guarding. CoRR Johan van Benthem, Balder ten Cate, Raoul Koudijs
2022	J	`jnl`	The Modal Logic of Stepwise removal. Rev. Symb. Log. Johan van Benthem, Krzysztof Mierzewski, Francesca Zaffora Blando
2021	J	`jnl`	A Simple Logic of Functional Dependence. CoRR Alexandru Baltag, Johan van Benthem
2021	J	`jnl`	A Simple Logic of Functional Dependence. J. Philos. Log. Alexandru Baltag, Johan van Benthem
2021	J	`jnl`	The Modal Logic of Stepwise Removal. CoRR Johan van Benthem, Krzysztof Mierzewski, Francesca Zaffora Blando
2020	—	`conf`	New Logical Perspectives on Monotonicity. TLLM Johan van Benthem, Fenrong Liu
2019	J	`jnl`	A New Game Equivalence, its Logic and Algebra. J. Philos. Log. Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
2019	J	`jnl`	A Propositional Dynamic Logic for Instantial Neighborhood Semantics. Stud Logica Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
2019	J	`jnl`	Implicit and Explicit Stances in Logic. J. Philos. Log. Johan van Benthem
2018	J	`jnl`	Computation as social agency: What, how and who. Inf. Comput. Johan van Benthem
2018	J	`jnl`	Modal logics of sabotage revisited. J. Log. Comput. Guillaume Aucher, Johan van Benthem, Davide Grossi
2018	J	`jnl`	Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond. J. Log. Comput. Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su
2017	B	`conf`	A New Game Equivalence and its Modal Logic. TARK Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
2017	—	`conf`	A Propositional Dynamic Logic for Instantial Neighborhood Models. LORI Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
2017	J	`jnl`	A bimodal perspective on possibility semantics. J. Log. Comput. Johan van Benthem, Nick Bezhanishvili, Wesley H. Holliday
2017	—	`conf`	Against All Odds: When Logic Meets Probability. ModelEd, TestEd, TrustEd Johan van Benthem
2017	J	`jnl`	An Old Discipline with a New Twist: The Course "Logic in Action". FLAP Johan van Benthem
2017	J	`jnl`	Instantial Neighbourhood Logic. Rev. Symb. Log. Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist, Junhua Yu
2017	J	`jnl`	On A New Semantics for First-Order Predicate Logic. J. Philos. Log. Hajnal Andréka, Johan van Benthem, István Németi
2015	J	`jnl`	Computing rational beliefs under limited foresight. CoRR Johan van Benthem, Chanjuan Liu, Paolo Turrini
2015	—	`ch.`	Logic of Strategies: What and How? Models of Strategic Reasoning Johan van Benthem
2015	—	`book`	Models of Strategic Reasoning - Logics, Games, and Communities Models of Strategic Reasoning Johan van Benthem, Sujata Ghosh, Rineke Verbrugge
2015	—	`conf`	Sabotage Modal Logic: Some Model and Proof Theoretic Aspects. LORI Guillaume Aucher, Johan van Benthem, Davide Grossi
2015	—	`conf`	Symbolic Model Checking for Dynamic Epistemic Logic. LORI Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su
2014	J	`jnl`	Deontic Logic and Preference Change. FLAP Johan van Benthem, Fenrong Liu
2014	J	`jnl`	Evidence and plausibility in neighborhood structures. Ann. Pure Appl. Log. Johan van Benthem, David Fernández-Duque, Eric Pacuit
2014	J	`jnl`	Modeling Reasoning in a Social Setting. Stud Logica Johan van Benthem
2014	J	`jnl`	Natural Language and Logic of Agency. J. Log. Lang. Inf. Johan van Benthem
2013	J	`jnl`	Evidence and plausibility in neighborhood structures. CoRR Johan van Benthem, David Fernández-Duque, Eric Pacuit
2013	—	`conf`	Reasoning about Strategies. Computation, Logic, Games, and Quantum Foundations Johan van Benthem
2012	B	`conf`	Evidence Logic: A New Look at Neighborhood Structures. Advances in Modal Logic Johan van Benthem, David Fernández-Duque, Eric Pacuit
2012	B	`conf`	Foundational Issues in Logical Dynamics. Advances in Modal Logic Johan van Benthem
2012	—	`ch.`	In Praise of Strategies. Games, Actions and Social Software Johan van Benthem
2012	J	`jnl`	New logical perspectives on physics. Synth. Johan van Benthem, Sonja Smets
2012	J	`jnl`	Sahlqvist Correspondence for Modal mu-calculus. Stud Logica Johan van Benthem, Nick Bezhanishvili, Ian M. Hodkinson
2012	J	`jnl`	The logic of empirical theories revisited. Synth. Johan van Benthem
2012	J	`jnl`	The nets of reason. Argument Comput. Johan van Benthem
2012	J	`jnl`	Toward a Dynamic Logic of Questions. J. Philos. Log. Johan van Benthem, Stefan Minica
2011	J	`jnl`	Dynamic Logics of Evidence-Based Beliefs. Stud Logica Johan van Benthem, Eric Pacuit
2011	B	`conf`	Exploring a theory of play. TARK Johan van Benthem
2011	J	`jnl`	Introduction. Synth. Johan van Benthem, Theo A. F. Kuipers, Henk Visser
2011	—	`ch.`	Logic Games: From Tools to Models of Interaction. Proof, Computation and Agency Johan van Benthem
2011	—	`conf`	Logical Dynamics of Evidence. LORI Johan van Benthem, Eric Pacuit
2011	J	`jnl`	McCarthy variations in a modal key. Artif. Intell. Johan van Benthem
2011	J	`jnl`	Obituaries: John McCarthy. ICGA J. Johan van Benthem
2011	—	`book`	Proof, Computation and Agency - Logic at the Crossroads. Johan van Benthem, Amitabha Gupta, Rohit Parikh
2011	J	`jnl`	Question-answer games. J. Appl. Non Class. Logics Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch, Stefan Minica
2011	J	`jnl`	Toward a Theory of Play: A Logical Perspective on Games and Interaction. Games Johan van Benthem, Eric Pacuit, Olivier Roy
2010	—	`conf`	Deontics = Betterness + Priority. DEON Johan van Benthem, Davide Grossi, Fenrong Liu
2010	J	`jnl`	Game Solution, Epistemic Dynamics and Fixed-Point Logics. Fundam. Informaticae Johan van Benthem, Amélie Gheerbrant
2010	A	`conf`	Logic between Expressivity and Complexity. IJCAR Johan van Benthem
2010	J	`jnl`	Temporal Logics of Agency. J. Log. Lang. Inf. Johan van Benthem, Eric Pacuit
2010	J	`jnl`	The dynamics of awareness. Synth. Johan van Benthem, Fernando R. Velázquez-Quesada
2009	—	`conf`	Decisions, Actions, and Games: A Logical Perspective. ICLA Johan van Benthem
2009	J	`jnl`	Dynamic Update with Probabilities. Stud Logica Johan van Benthem, Jelle Gerbrandy, Barteld P. Kooi
2009	J	`jnl`	Everything Else Being Equal: A Modal Logic for J. Philos. Log. Johan van Benthem, Patrick Girard, Olivier Roy
2009	J	`jnl`	Lindström theorems for fragments of first-order logic Log. Methods Comput. Sci. Johan van Benthem, Balder ten Cate, Jouko A. Väänänen
2009	J	`jnl`	Logic and intelligent interaction. Synth. Thomas Ågotnes, Johan van Benthem, Eric Pacuit
2009	J	`jnl`	Merging Frameworks for Interaction. J. Philos. Log. Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi, Eric Pacuit
2009	J	`jnl`	The information in intuitionistic logic. Synth. Johan van Benthem
2009	—	`conf`	Toward a Dynamic Logic of Questions. LORI Johan van Benthem, Stefan Minica
2008	—	`conf`	Bridges between Dynamic Doxastic and Doxastic Temporal Logics. LOFT Johan van Benthem, Cédric Dégremont
2008	J	`jnl`	Editorial. Synth. Johan van Benthem, Vincent F. Hendricks, John Symons
2008	J	`jnl`	Logic and Reasoning: do the facts matter? Stud Logica Johan van Benthem
2008	J	`jnl`	Logical dynamics meets logical pluralism? Australas. J. Log. Johan van Benthem
2008	—	`conf`	Modal Fixed-Point Logic and Changing Models. Pillars of Computer Science Johan van Benthem, Daisuke Ikegami
2008	J	`jnl`	Modal logic and invariance. J. Appl. Non Class. Logics Johan van Benthem, Denis Bonnay
2008	J	`jnl`	Modelling simultaneous games in dynamic logic. Synth. Johan van Benthem, Sujata Ghosh, Fenrong Liu
2008	J	`jnl`	The many faces of interpolation. Synth. Johan van Benthem
2008	—	`conf`	Visualizing Compositions of Services from Large Repositories. CEC/EEE Marco Aiello, Johan van Benthem, Elie el Khoury
2007	J	`jnl`	A New Modal Lindström Theorem. Logica Universalis Johan van Benthem
2007	J	`jnl`	Dynamic logic for belief revision. J. Appl. Non Class. Logics Johan van Benthem
2007	J	`jnl`	Dynamic logic of preference upgrade. J. Appl. Non Class. Logics Johan van Benthem, Fenrong Liu
2007	J	`jnl`	Editorial. Synth. Johan van Benthem, Vincent F. Hendricks, John Symons
2007	J	`jnl`	Erratum: "Rational Dynamics and Epistemic Logic in Games". IGTR Johan van Benthem
2007	—	`book`	Handbook of Spatial Logics Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem
2007	A*	`conf`	Lindstrom theorems for fragments of first-order logic. LICS Balder ten Cate, Johan van Benthem, Jouko A. Väänänen
2007	B	`conf`	Merging frameworks for interaction: DEL and ETL. TARK Johan van Benthem, Jelle Gerbrandy, Eric Pacuit
2007	—	`ch.`	Modal Logics of Space. Handbook of Spatial Logics Johan van Benthem, Guram Bezhanishvili
2007	—	`ch.`	Modal logic: a semantic perspective. Handbook of Modal Logic Patrick Blackburn, Johan van Benthem
2007	J	`jnl`	Rational Dynamics and Epistemic Logic in Games. IGTR Johan van Benthem
2007	—	`ch.`	What is Spatial Logic? Handbook of Spatial Logics Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem
2006	J	`jnl`	Editorial. Synth. Johan van Benthem, Vincent F. Hendricks, John Symons
2006	J	`jnl`	Logics of communication and change. Inf. Comput. Johan van Benthem, Jan van Eijck, Barteld P. Kooi
2006	J	`jnl`	Modal Frame Correspondences and Fixed-Points. Stud Logica Johan van Benthem
2006	J	`jnl`	Multimo dal Logics of Products of Topologies. Stud Logica Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac
2006	B	`conf`	The Tree of Knowledge in Action: Towards a Common Perspective. Advances in Modal Logic Johan van Benthem, Eric Pacuit
2005	—	`conf`	An Essay on Sabotage and Obstruction. Mechanizing Mathematical Reasoning Johan van Benthem
2005	B	`conf`	Common knowledge in update logics. TARK Johan van Benthem, Jan van Eijck, Barteld P. Kooi
2005	J	`jnl`	Guards, Bounds, and Generalized Semantics. J. Log. Lang. Inf. Johan van Benthem
2005	J	`jnl`	Minimal predicates, fixed-points, and definability. J. Symb. Log. Johan van Benthem
2005	—	`conf`	Open Problems in Logic and Games. We Will Show Them! (1) Johan van Benthem
2003	J	`jnl`	Conditional Probability Meets Update Logic. J. Log. Lang. Inf. Johan van Benthem
2003	J	`jnl`	Connecting the Different Faces of Information. J. Log. Lang. Inf. Johan van Benthem, Robert van Rooy
2003	J	`jnl`	Euclidean Hierarchy in Modal Logic. Stud Logica Johan van Benthem, Guram Bezhanishvili, Mai Gehrke
2003	J	`jnl`	Logic Games are Complete for Game Logics. Stud Logica Johan van Benthem
2003	J	`jnl`	Logic and the Dynamics of Information. Minds Mach. Johan van Benthem
2003	J	`jnl`	Reasoning About Space: The Modal Way. J. Log. Comput. Marco Aiello, Johan van Benthem, Guram Bezhanishvili
2002	J	`jnl`	A Modal Walk Through Space. J. Appl. Non Class. Logics Marco Aiello, Johan van Benthem
2002	J	`jnl`	Extensive Games as Process Models. J. Log. Lang. Inf. Johan van Benthem
2001	J	`jnl`	Ensemble-based prediction of SAT search behaviour. Electron. Notes Discret. Math. Breanndán Ó Nualláin, Maarten de Rijke, Johan van Benthem
2001	—	`ed.`	Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2001), Certosa di Pontignano, University of Siena, Italy, July 8-10, 2001 TARK Johan van Benthem
2000	B	`conf`	'On Being Informed': Update Logics for Knowledge States. JELIA Johan van Benthem
2000	J	`jnl`	Information Transfer across Chu Spaces. Log. J. IGPL Johan van Benthem
1999	J	`jnl`	Information Flow: The Logic of Distributed Systems, Jon Barwise and Jerry Seligman. J. Log. Lang. Inf. Johan van Benthem, David Israel
1999	J	`jnl`	Interpolation, Preservation, and Pebble Games. J. Symb. Log. Jon Barwise, Johan van Benthem
1999	J	`jnl`	Modality, Bisimulation and Interpolation in Infinitary Logic. Ann. Pure Appl. Log. Johan van Benthem
1999	J	`jnl`	Temporal Patterns and Modal Structure. Log. J. IGPL Johan van Benthem
1999	J	`jnl`	The Range of Modal Logic. J. Appl. Non Class. Logics Johan van Benthem
1998	J	`jnl`	Modal Deduction in Second-Order Logic and Set Theory - II. Stud Logica Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
1998	J	`jnl`	Modal Languages and Bounded Fragments of Predicate Logic. J. Philos. Log. Hajnal Andréka, István Németi, Johan van Benthem
1998	—	`conf`	Modality, relational guards, and decidability (invited paper). RelMiCS Johan van Benthem
1998	A*	`conf`	Process Operations in Extended Dynamic Logics. LICS Johan van Benthem
1998	J	`jnl`	Program Constructions that are Safe for Bisimulation. Stud Logica Johan van Benthem
1997	—	`ch.`	Dynamics. Handbook of Logic and Language Reinhard Muskens, Johan van Benthem, Albert Visser
1997	J	`jnl`	Editorial: Cognitive Actions in Focus. J. Log. Lang. Inf. Johan van Benthem, Yoav Shoham
1997	—	`book`	Handbook of Logic and Language. Johan van Benthem, Alice ter Meulen
1997	—	`ch.`	Introduction. Handbook of Logic and Language Johan van Benthem, Alice ter Meulen
1997	—	`ch.`	Introduction. Handbook of Logic and Language Johan van Benthem, Alice ter Meulen
1997	—	`ch.`	Introduction. Handbook of Logic and Language Johan van Benthem, Alice ter Meulen
1997	J	`jnl`	Modal Deduction in Second-Order Logic and Set Theory - I. J. Log. Comput. Johan van Benthem, Giovanna D'Agostino, Angelo Montanari, Alberto Policriti
1997	J	`jnl`	Modal Foundations for Predicate Logic. Log. J. IGPL Johan van Benthem
1996	J	`jnl`	Space, Time, and Computation: Trends and Problems. Appl. Intell. Frank D. Anger, Rita V. Rodríguez, Hans W. Guesgen, Johan van Benthem
1995	J	`jnl`	Back and Forth Between Modal Logic and Classical Logic. Log. J. IGPL Hajnal Andréka, Johan van Benthem, István Németi
1995	J	`jnl`	Directions in generalized quantifier theory. Stud Logica Johan van Benthem, Dag Westerståhl
1994	J	`jnl`	Logic of Transition Systems. J. Log. Lang. Inf. Johan van Benthem, Jan A. Bergstra
1994	J	`jnl`	Modal Logic, Transition Systems and Processes. J. Log. Comput. Johan van Benthem, Jan van Eijck, Vera Stebletsova
1993	J	`jnl`	Editorial: The Elusive Locus of Logicality. J. Log. Comput. Johan van Benthem
1993	J	`jnl`	Modal Frame Classes Revisited. Fundam. Informaticae Johan van Benthem
1993	A*	`conf`	The Logic of Cognitive Action. IJCAI Johan van Benthem
1992	B	`conf`	Epistemic Logic: From Knowledge to Cognition. TARK Johan van Benthem
1992	J	`jnl`	Logic as programming. Fundam. Informaticae Johan van Benthem
1991	J	`jnl`	Editorial. J. Log. Comput. Johan van Benthem
1991	J	`jnl`	Language in action. J. Philos. Log. Johan van Benthem
1991	—	`conf`	Reasoning and Programming: Analogies between Logic and Computation. ISLP Johan van Benthem
1991	—	`book`	The logic of time - a model-theoretic investigation into the varieties of temporal ontology and temporal discourse, 2nd Edition. Johan van Benthem
1990	J	`jnl`	Categorial grammar and type theory. J. Philos. Log. Johan van Benthem
1989	J	`jnl`	Logical Constants Across Varying Types. Notre Dame J. Formal Log. Johan van Benthem
1989	J	`jnl`	Notes on Modal Definability. Notre Dame J. Formal Log. Johan van Benthem
1988	—	`conf`	Time, logic and computation. REX Workshop Johan van Benthem
1986	J	`jnl`	Tenses in Real Time. Math. Log. Q. Johan van Benthem
1985	J	`jnl`	The variety of consequence, according to Bolzano. Stud Logica Johan van Benthem
1984	J	`jnl`	Foundations of conditional logic. J. Philos. Log. Johan van Benthem
1984	J	`jnl`	Questions About Quantifiers. J. Symb. Log. Johan van Benthem
1984	J	`jnl`	Tense logic and time. Notre Dame J. Formal Log. Johan van Benthem
1979	J	`jnl`	Canonical Modal Logics and Ultrafilter Extensions. J. Symb. Log. Johan van Benthem
1976	J	`jnl`	Modal Formulas are Either Elementary or not sigma triangle-Elementary. J. Symb. Log. Johan van Benthem
1976	J	`jnl`	Modal Reduction Principles. J. Symb. Log. Johan van Benthem
1975	J	`jnl`	A Note on Modal Formulae and Relational Properties. J. Symb. Log. Johan van Benthem