Johan van Benthem

ORCID

Publication Activity (10 Years)

Years Active: 1975-2024
Publications (10 Years): 26

Top Venues

Publications

Alexandru Baltag, Johan van Benthem
Knowability as continuity: a topological account of informational dependence. CoRR (2024)
Johan van Benthem, Nick Bezhanishvili
Modal structures in groups and vector spaces. J. Log. Comput. 34 (1) (2024)
Johan van Benthem
The logic of conditionals on outback trails. Log. J. IGPL 31 (6) (2023)
Johan van Benthem, Thomas Icard
Interleaving Logic and Counting. Bull. Symb. Log. 29 (4) (2023)
Johan van Benthem, Lei Li, Chenwei Shi, Haoxuan Yin
Hybrid sabotage modal logic. J. Log. Comput. 33 (6) (2023)
Alexandru Baltag, Johan van Benthem, Dazhu Li
A Logical Analysis of Dynamic Dependence. CoRR (2022)
Johan van Benthem, Krzysztof Mierzewski, Francesca Zaffora Blando
The Modal Logic of Stepwise removal. Rev. Symb. Log. 15 (1) (2022)
Johan van Benthem, Balder ten Cate, Raoul Koudijs
Local Dependence and Guarding. CoRR (2022)
Balder ten Cate, Raoul Koudijs, Johan van Benthem
Local Dependence and Guarding. AiML (2022)
Johan van Benthem, Krzysztof Mierzewski, Francesca Zaffora Blando
The Modal Logic of Stepwise Removal. CoRR (2021)
Alexandru Baltag, Johan van Benthem
A Simple Logic of Functional Dependence. CoRR (2021)
Alexandru Baltag, Johan van Benthem
A Simple Logic of Functional Dependence. J. Philos. Log. 50 (5) (2021)
Johan van Benthem, Fenrong Liu
New Logical Perspectives on Monotonicity. TLLM (2020)
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
A Propositional Dynamic Logic for Instantial Neighborhood Semantics. Stud Logica 107 (4) (2019)
Johan van Benthem
Implicit and Explicit Stances in Logic. J. Philos. Log. 48 (3) (2019)
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
A New Game Equivalence, its Logic and Algebra. J. Philos. Log. 48 (4) (2019)
Johan van Benthem
Computation as social agency: What, how and who. Inf. Comput. 261 (2018)
Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su
Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond. J. Log. Comput. 28 (2) (2018)
Guillaume Aucher, Johan van Benthem, Davide Grossi
Modal logics of sabotage revisited. J. Log. Comput. 28 (2) (2018)
Johan van Benthem
Against All Odds: When Logic Meets Probability. ModelEd, TestEd, TrustEd (2017)
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist, Junhua Yu
Instantial Neighbourhood Logic. Rev. Symb. Log. 10 (1) (2017)
Johan van Benthem, Nick Bezhanishvili, Wesley H. Holliday
A bimodal perspective on possibility semantics. J. Log. Comput. 27 (5) (2017)
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
A New Game Equivalence and its Modal Logic. TARK (2017)
Johan van Benthem
An Old Discipline with a New Twist: The Course "Logic in Action". FLAP 4 (1) (2017)
Hajnal Andréka, Johan van Benthem, István Németi
On A New Semantics for First-Order Predicate Logic. J. Philos. Log. 46 (3) (2017)
Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist
A Propositional Dynamic Logic for Instantial Neighborhood Models. LORI (2017)
Guillaume Aucher, Johan van Benthem, Davide Grossi
Sabotage Modal Logic: Some Model and Proof Theoretic Aspects. LORI (2015)
Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su
Symbolic Model Checking for Dynamic Epistemic Logic. LORI (2015)
Johan van Benthem, Chanjuan Liu, Paolo Turrini
Computing rational beliefs under limited foresight. CoRR (2015)
Johan van Benthem, David Fernández-Duque, Eric Pacuit
Evidence and plausibility in neighborhood structures. Ann. Pure Appl. Log. 165 (1) (2014)
Johan van Benthem, Fenrong Liu
Deontic Logic and Preference Change. FLAP 1 (2) (2014)
Johan van Benthem
Modeling Reasoning in a Social Setting. Stud Logica 102 (2) (2014)
Johan van Benthem
Natural Language and Logic of Agency. J. Log. Lang. Inf. 23 (3) (2014)
Johan van Benthem, David Fernández-Duque, Eric Pacuit
Evidence and plausibility in neighborhood structures. CoRR (2013)
Johan van Benthem
Reasoning about Strategies. Computation, Logic, Games, and Quantum Foundations (2013)
Johan van Benthem, David Fernández-Duque, Eric Pacuit
Evidence Logic: A New Look at Neighborhood Structures. Advances in Modal Logic (2012)
Johan van Benthem
Foundational Issues in Logical Dynamics. Advances in Modal Logic (2012)
Johan van Benthem, Stefan Minica
Toward a Dynamic Logic of Questions. J. Philos. Log. 41 (4) (2012)
Johan van Benthem
The nets of reason. Argument Comput. 3 (2-3) (2012)
Johan van Benthem, Sonja Smets
New logical perspectives on physics. Synth. 186 (3) (2012)
Johan van Benthem
The logic of empirical theories revisited. Synth. 186 (3) (2012)
Johan van Benthem, Nick Bezhanishvili, Ian M. Hodkinson
Sahlqvist Correspondence for Modal mu-calculus. Stud Logica 100 (1-2) (2012)
Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch, Stefan Minica
Question-answer games. J. Appl. Non Class. Logics 21 (3-4) (2011)
Johan van Benthem
Obituaries: John McCarthy. J. Int. Comput. Games Assoc. 34 (4) (2011)
Johan van Benthem, Theo A. F. Kuipers, Henk Visser
Introduction. Synth. 179 (2) (2011)
Johan van Benthem
Exploring a theory of play. TARK (2011)
Johan van Benthem, Eric Pacuit, Olivier Roy
Toward a Theory of Play: A Logical Perspective on Games and Interaction. Games 2 (1) (2011)
Johan van Benthem, Eric Pacuit
Dynamic Logics of Evidence-Based Beliefs. Stud Logica 99 (1-3) (2011)
Johan van Benthem, Eric Pacuit
Logical Dynamics of Evidence. LORI (2011)
Johan van Benthem
McCarthy variations in a modal key. Artif. Intell. 175 (1) (2011)
Johan van Benthem, Amélie Gheerbrant
Game Solution, Epistemic Dynamics and Fixed-Point Logics. Fundam. Informaticae 100 (1-4) (2010)
Johan van Benthem, Eric Pacuit
Temporal Logics of Agency. J. Log. Lang. Inf. 19 (4) (2010)
Johan van Benthem, Fernando R. Velázquez-Quesada
The dynamics of awareness. Synth. 177 (Supplement-1) (2010)
Johan van Benthem, Davide Grossi, Fenrong Liu
Deontics = Betterness + Priority. DEON (2010)
Johan van Benthem
Logic between Expressivity and Complexity. IJCAR (2010)
Thomas Ågotnes, Johan van Benthem, Eric Pacuit
Logic and intelligent interaction. Synth. 169 (2) (2009)
Johan van Benthem, Jelle Gerbrandy, Barteld P. Kooi
Dynamic Update with Probabilities. Stud Logica 93 (1) (2009)
Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi, Eric Pacuit
Merging Frameworks for Interaction. J. Philos. Log. 38 (5) (2009)
Johan van Benthem, Stefan Minica
Toward a Dynamic Logic of Questions. LORI (2009)
Johan van Benthem
Decisions, Actions, and Games: A Logical Perspective. ICLA (2009)
Johan van Benthem
The information in intuitionistic logic. Synth. 167 (2) (2009)
Johan van Benthem, Patrick Girard, Olivier Roy
Preferences. J. Philos. Log. 38 (1) (2009)
Johan van Benthem, Balder ten Cate, Jouko A. Väänänen
Lindström theorems for fragments of first-order logic Log. Methods Comput. Sci. 5 (3) (2009)
Johan van Benthem, Denis Bonnay
Modal logic and invariance. J. Appl. Non Class. Logics 18 (2-3) (2008)
Johan van Benthem, Cédric Dégremont
Bridges between Dynamic Doxastic and Doxastic Temporal Logics. LOFT (2008)
Marco Aiello, Johan van Benthem, Elie el Khoury
Visualizing Compositions of Services from Large Repositories. CEC/EEE (2008)
Johan van Benthem
Logic and Reasoning: do the facts matter? Stud Logica 88 (1) (2008)
Johan van Benthem, Daisuke Ikegami
Modal Fixed-Point Logic and Changing Models. Pillars of Computer Science (2008)
Johan van Benthem, Vincent F. Hendricks, John Symons
Editorial. Synth. 160 (1) (2008)
Johan van Benthem
The many faces of interpolation. Synth. 164 (3) (2008)
Johan van Benthem, Sujata Ghosh, Fenrong Liu
Modelling simultaneous games in dynamic logic. Synth. 165 (2) (2008)
Johan van Benthem
Rational Dynamics and Epistemic Logic in Games. IGTR 9 (1) (2007)
Johan van Benthem, Fenrong Liu
Dynamic logic of preference upgrade. J. Appl. Non Class. Logics 17 (2) (2007)
Johan van Benthem
A New Modal Lindström Theorem. Logica Universalis 1 (1) (2007)
Balder ten Cate, Johan van Benthem, Jouko A. Väänänen
Lindstrom theorems for fragments of first-order logic. LICS (2007)
Johan van Benthem
Dynamic logic for belief revision. J. Appl. Non Class. Logics 17 (2) (2007)
Johan van Benthem, Vincent F. Hendricks, John Symons
Editorial. Synth. 154 (1) (2007)
Johan van Benthem
Erratum: "Rational Dynamics and Epistemic Logic in Games". IGTR 9 (2) (2007)
Johan van Benthem, Jelle Gerbrandy, Eric Pacuit
Merging frameworks for interaction: DEL and ETL. TARK (2007)
Johan van Benthem, Jan van Eijck, Barteld P. Kooi
Logics of communication and change. Inf. Comput. 204 (11) (2006)
Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac
Multimo dal Logics of Products of Topologies. Stud Logica 84 (3) (2006)
Johan van Benthem, Vincent F. Hendricks, John Symons
Editorial. Synth. 148 (1) (2006)
Johan van Benthem
Modal Frame Correspondences and Fixed-Points. Stud Logica 83 (1-3) (2006)
Johan van Benthem, Eric Pacuit
The Tree of Knowledge in Action: Towards a Common Perspective. Advances in Modal Logic (2006)
Johan van Benthem
Minimal predicates, fixed-points, and definability. J. Symb. Log. 70 (3) (2005)
Johan van Benthem, Jan van Eijck, Barteld P. Kooi
Common knowledge in update logics. TARK (2005)
Johan van Benthem
Open Problems in Logic and Games. We Will Show Them! (1) (2005)
Johan van Benthem
Guards, Bounds, and Generalized Semantics. J. Log. Lang. Inf. 14 (3) (2005)
Johan van Benthem
An Essay on Sabotage and Obstruction. Mechanizing Mathematical Reasoning (2005)
Johan van Benthem, Robert van Rooy
Connecting the Different Faces of Information. J. Log. Lang. Inf. 12 (4) (2003)
Johan van Benthem
Logic and the Dynamics of Information. Minds Mach. 13 (4) (2003)
Johan van Benthem, Guram Bezhanishvili, Mai Gehrke
Euclidean Hierarchy in Modal Logic. Stud Logica 75 (3) (2003)
Johan van Benthem
Logic Games are Complete for Game Logics. Stud Logica 75 (2) (2003)
Johan van Benthem
Conditional Probability Meets Update Logic. J. Log. Lang. Inf. 12 (4) (2003)
Marco Aiello, Johan van Benthem, Guram Bezhanishvili
Reasoning About Space: The Modal Way. J. Log. Comput. 13 (6) (2003)
Marco Aiello, Johan van Benthem
A Modal Walk Through Space. J. Appl. Non Class. Logics 12 (3-4) (2002)
Johan van Benthem
Extensive Games as Process Models. J. Log. Lang. Inf. 11 (3) (2002)
Breanndán Ó Nualláin, Maarten de Rijke, Johan van Benthem
Ensemble-based prediction of SAT search behaviour. Electron. Notes Discret. Math. 9 (2001)
Johan van Benthem
'On Being Informed': Update Logics for Knowledge States. JELIA (2000)
Johan van Benthem
Information Transfer across Chu Spaces. Log. J. IGPL 8 (6) (2000)

Johan van Benthem.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Johan van Benthem