Johannes van Benthem

All Publications

• Hybrid sabotage modal logic JOURNAL OF LOGIC AND COMPUTATION van Benthem, J., Li, L., Shi, C., Yin, H. 2022

  View details for DOI 10.1093/logcom/exac006

  View details for Web of Science ID 000767472000001

• THE MODAL LOGIC OF STEPWISE REMOVAL REVIEW OF SYMBOLIC LOGIC Van Benthem, J., Mierzewski, K., Blando, F. 2022; 15 (1): 36-63

  View details for DOI 10.1017/S1755020320000258

  View details for Web of Science ID 000769549500004

• A Simple Logic of Functional Dependence JOURNAL OF PHILOSOPHICAL LOGIC Baltag, A., van Benthem, J. 2021

  View details for DOI 10.1007/s10992-020-09588-z

  View details for Web of Science ID 000631734800001

• A New Game Equivalence, its Logic and Algebra JOURNAL OF PHILOSOPHICAL LOGIC van Benthem, J., Bezhanishvili, N., Enqvist, S. 2019; 48 (4): 649–84

  View details for DOI 10.1007/s10992-018-9489-7

  View details for Web of Science ID 000477623700003

• Implicit and Explicit Stances in Logic JOURNAL OF PHILOSOPHICAL LOGIC van Benthem, J. 2019; 48 (3): 571–601

  View details for DOI 10.1007/s10992-018-9485-y

  View details for Web of Science ID 000468963000006

• Computation as social agency: What, how and who van Benthem, J. ACADEMIC PRESS INC ELSEVIER SCIENCE. 2018: 519–35

  View details for DOI 10.1016/j.ic.2017.09.009

  View details for Web of Science ID 000436491900003

• Symbolic model checking for Dynamic Epistemic Logic-S5 and beyond JOURNAL OF LOGIC AND COMPUTATION van Benthem, J., van Eijck, J., Gattinger, M., Su, K. 2018; 28 (2): 367–402

  View details for DOI 10.1093/logcom/exx038

  View details for Web of Science ID 000454253800005

• Modal logics of sabotage revisited JOURNAL OF LOGIC AND COMPUTATION Aucher, G., van Benthem, J., Grossi, D. 2018; 28 (2): 269–303

  View details for DOI 10.1093/logcom/exx034

  View details for Web of Science ID 000454253800002

• Constructive agents INDAGATIONES MATHEMATICAE-NEW SERIES van Benthem, J. 2018; 29 (1): 23–35

  View details for DOI 10.1016/j.indag.2017.10.004

  View details for Web of Science ID 000424177800003

• A bimodal perspective on possibility semantics JOURNAL OF LOGIC AND COMPUTATION Van Benthem, J., Bezhanishvili, N., Holliday, W. H. 2017; 27 (5): 1353–89

  View details for DOI 10.1093/logcom/exw024

  View details for Web of Science ID 000405419100003

• On A New Semantics for First-Order Predicate Logic JOURNAL OF PHILOSOPHICAL LOGIC Andreka, H., van Benthem, J., Nemeti, I. 2017; 46 (3): 259-267

  View details for DOI 10.1007/s10992-017-9429-y

  View details for Web of Science ID 000401568300002

• INSTANTIAL NEIGHBOURHOOD LOGIC REVIEW OF SYMBOLIC LOGIC van Benthem, J., Bezhanishvili, N., Enqvist, S., Yu, J. 2017; 10 (1): 116-144

  View details for DOI 10.1017/S1755020316000447

  View details for Web of Science ID 000396119100006

• A New Game Equivalence and its Modal Logic ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE van Benthem, J., Bezhanishvili, N., Enqvist, S. 2017: 57–74

  View details for DOI 10.4204/EPTCS.251.5

  View details for Web of Science ID 000439339700006

• AN OLD DISCIPLINE WITH A NEW TWIST: THE COURSE "LOGIC IN ACTION" JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS Van Benthem, J. 2017; 4 (1): 33–53

  View details for Web of Science ID 000453126100004

• Tracking Information J. MICHAEL DUNN ON INFORMATION BASED LOGICS van Benthem, J., Bimbo, K. 2016; 8: 363–89

  View details for DOI 10.1007/978-3-319-29300-4_17

  View details for Web of Science ID 000376582100019

• Symbolic Model Checking for Dynamic Epistemic Logic van Benthem, J., van Eijck, J., Gattinger, M., Su, K., VanDerHoek, W., Holliday, W. H., Wang, W. F. SPRINGER INT PUBLISHING AG. 2015: 366–78

  View details for DOI 10.1007/978-3-662-48561-3_30

  View details for Web of Science ID 000373890900030

• Sabotage Modal Logic: Some Model and Proof Theoretic Aspects Aucher, G., van Benthem, J., Grossi, D., VanDerHoek, W., Holliday, W. H., Wang, W. F. SPRINGER INT PUBLISHING AG. 2015: 1–13

  View details for DOI 10.1007/978-3-662-48561-3_1

  View details for Web of Science ID 000373890900001

• DEONTIC LOGIC AND PREFERENCE CHANGE JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS van Benthem, J., Liu, F. 2014; 1 (2): 1–46

  View details for Web of Science ID 000453122600001

• Natural Language and Logic of Agency JOURNAL OF LOGIC LANGUAGE AND INFORMATION van Benthem, J. 2014; 23 (3): 367-382

  View details for DOI 10.1007/s10849-014-9188-x

  View details for Web of Science ID 000209641100008

• Priority Structures in Deontic Logic THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY van Benthem, J., Grossi, D., Liu, F. 2014; 80 (2): 116-152

  View details for DOI 10.1111/theo.12028

  View details for Web of Science ID 000335451900002

• Modeling Reasoning in a Social Setting STUDIA LOGICA van Benthem, J. 2014; 102 (2): 235-265

  View details for DOI 10.1007/s11225-014-9543-6

  View details for Web of Science ID 000335907300002

• Evidence and plausibility in neighborhood structures ANNALS OF PURE AND APPLIED LOGIC van Benthem, J., Fernandez-Duque, D., Pacuit, E. 2014; 165 (1): 106-133

  View details for DOI 10.1016/j.apal.2013.07.007

  View details for Web of Science ID 000326660600006

• Two Logical Faces of Belief Revision KRISTER SEGERBERG ON LOGIC OF ACTIONS van Benthem, J., Trypuz, R. 2014; 1: 281–300

  View details for DOI 10.1007/978-94-007-7046-1_13

  View details for Web of Science ID 000346968900014

• Bernard Bolzano's Wissenschaftslehre TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY van Benthem, J. 2013; 32 (2): 301-303

  View details for DOI 10.1007/s11245-013-9160-4

  View details for Web of Science ID 000324634600018

• Toward a Dynamic Logic of Questions JOURNAL OF PHILOSOPHICAL LOGIC van Benthem, J., Minica, S. 2012; 41 (4): 633-669

  View details for DOI 10.1007/s10992-012-9233-7

  View details for Web of Science ID 000306288100002

• The logic of empirical theories revisited SYNTHESE van Benthem, J. 2012; 186 (3): 775-792

  View details for DOI 10.1007/s11229-011-9916-6

  View details for Web of Science ID 000305402600008

• New logical perspectives on physics SYNTHESE van Benthem, J., Smets, S. 2012; 186 (3): 615–17

  View details for DOI 10.1007/s11229-011-9911-y

  View details for Web of Science ID 000305402600001

• The nets of reason ARGUMENT & COMPUTATION van Benthem, J. 2012; 3 (2-3): 83–86

  View details for DOI 10.1080/19462166.2012.704400

  View details for Web of Science ID 000218936700001

• DYNAMIC LOGIC IN NATURAL LANGUAGE ROUTLEDGE COMPANION TO PHILOSOPHY OF LANGUAGE van Benthem, J., Russell, G., Fara, D. G. 2012: 652–66

  View details for Web of Science ID 000325556300052

• In Praise of Strategies GAMES, ACTIONS AND SOCIAL SOFTWARE: MULTIDISCIPLINARY ASPECTS van Benthem, J., VanEijck, J., Verbrugge, R. 2012; 7010: 96–116

  View details for Web of Science ID 000307895400008

• LOGIC IN A SOCIAL SETTING EPISTEME-A JOURNAL OF INDIVIDUAL AND SOCIAL EPISTEMOLOGY van Benthem, J. 2011; 8 (3): 227-247

  View details for DOI 10.3366/epi.2011.0019

  View details for Web of Science ID 000310509900003

• Dynamic Logics of Evidence-Based Beliefs STUDIA LOGICA van Benthem, J., Pacuit, E. 2011; 99 (1-3): 61-92

  View details for DOI 10.1007/s11225-011-9347-x

  View details for Web of Science ID 000309054700004

• Logic Games: From Tools to Models of Interaction PROOF, COMPUTATION AND AGENCY: LOGIC AT THE CROSSROADS van Benthem, J., VanBenthem, J., Gupta, A., Parikh, R. 2011; 352: 183–216

  View details for DOI 10.1007/978-94-007-0080-2_11

  View details for Web of Science ID 000317426000013

• Proof, Computation and Agency Logic at the Crossroads Foreword PROOF, COMPUTATION AND AGENCY: LOGIC AT THE CROSSROADS Gupta, A., Parikh, R., van Benthem, J., VanBenthem, J., Gupta, A., Parikh, R. 2011; 352: V-VI

  View details for Web of Science ID 000317426000001

• Proof, Computation and Agency Logic at the Crossroads Preface PROOF, COMPUTATION AND AGENCY: LOGIC AT THE CROSSROADS van Benthem, J., Parikh, R., Gupta, A., VanBenthem, J., Gupta, A., Parikh, R. 2011; 352: VII-X

  View details for Web of Science ID 000317426000002

• The dynamics of awareness SYNTHESE van Benthem, J., Velazquez-Quesada, F. R. 2010; 177: 5-27

  View details for DOI 10.1007/s11229-010-9764-9

  View details for Web of Science ID 000286162200002

• Merging Frameworks for Interaction JOURNAL OF PHILOSOPHICAL LOGIC van Benthem, J., Gerbrandy, J., Hoshi, T., Pacuit, E. 2009; 38 (5): 491-526

  View details for DOI 10.1007/s10992-008-9099-x

  View details for Web of Science ID 000269884700002

• Logic and intelligent interaction SYNTHESE Agotnes, T., van Benthem, J., Pacuit, E. 2009; 169 (2): 219–21

  View details for DOI 10.1007/s11229-009-9558-0

  View details for Web of Science ID 000266827500001

• Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences JOURNAL OF PHILOSOPHICAL LOGIC van Benthem, J., Girard, P., Roy, O. 2009; 38 (1): 83-125

  View details for DOI 10.1007/s10992-008-9085-3

  View details for Web of Science ID 000261952900003

• For Better or for Worse: Dynamic Logics of Preference PREFERENCE CHANGE: APPROACHES FROM PHILOSOPHY, ECONOMICS AND PSYCHOLOGY van Benthem, J., GruneYanoff, T., Hansson, S. O. 2009; 42: 57–84

  View details for Web of Science ID 000267874700003

• Modelling simultaneous games in dynamic logic SYNTHESE van Benthem, J., Ghosh, S., Liu, F. 2008; 165 (2): 247-268

  View details for DOI 10.1007/s11229-008-9390-y

  View details for Web of Science ID 000260294200006

• INTRODUCTION: INFORMATION IS WHAT INFORMATION DOES PHILOSOPHY OF INFORMATION, VOL 8 Adriaans, P., van Benthem, J., Adriaans, P., VanBenthem, J. 2008; 8: 3–26

  View details for DOI 10.1016/B978-0-444-51726-5.50006-6

  View details for Web of Science ID 000316394600002

• THE STORIES OF LOGIC AND INFORMATION PHILOSOPHY OF INFORMATION, VOL 8 van Benthem, J., Martinez, M., Adriaans, P., VanBenthem, J. 2008; 8: 217–80

  View details for DOI 10.1016/B978-0-444-51726-5.50012-1

  View details for Web of Science ID 000316394600008

• A New Modal Lindstrom Theorem LOGICA UNIVERSALIS van Benthem, J. 2007; 1 (1): 125–38

  View details for DOI 10.1007/s11787-006-0006-3

  View details for Web of Science ID 000415185200006

• MODAL LOGICS OF SPACE HANDBOOK OF SPATIAL LOGICS van Benthem, J., Bezhanishvili, G., Aiello, M., PrattHartmann, VanBenthem, J. 2007: 217–98

  View details for DOI 10.1007/978-1-4020-5587-4_5

  View details for Web of Science ID 000268311100006

• MODAL LOGIC: A SEMANTIC PERSPECTIVE HANDBOOK OF MODAL LOGIC Blackburn, P., van Benthem, J., Blackburn, P., VanBenthem, J., Wolter, F. 2007; 3: 1–84

  View details for Web of Science ID 000310702700002

• WHAT IS SPATIAL LOGIC? HANDBOOK OF SPATIAL LOGICS Aiello, M., Pratt-Hartmann, I., van Benthem, J., Aiello, M., PrattHartmann, VanBenthem, J. 2007: 1–11

  View details for DOI 10.1007/978-1-4020-5587-4_1

  View details for Web of Science ID 000268311100002

• HANDBOOK OF SPATIAL LOGICS Preface HANDBOOK OF SPATIAL LOGICS Aiello, M., Pratt-Hartmann, I., van Benthem, J., Aiello, M., PrattHartmann, VanBenthem, J. 2007: V-VI

  View details for Web of Science ID 000268311100001

• STUDIES IN LOGIC AND PRACTICAL REASONING VOLUME 3 PREFACE HANDBOOK OF MODAL LOGIC Blackburn, P., van Benthem, J., Wolter, F., Blackburn, P., VanBenthem, J., Wolter, F. 2007; 3: XI-XXIII

  View details for Web of Science ID 000310702700001

• Logics of communication and change INFORMATION AND COMPUTATION van Benthem, J., van Eijck, J., Kooi, B. 2006; 204 (11): 1620-1662

  View details for DOI 10.1016/j.ic.2006.04.006

  View details for Web of Science ID 000242308700002

• Where is logic going, and should it? TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY van Benthem, J. 2006; 25 (1-2): 117-122

  View details for DOI 10.1007/01245-006-0018-x

  View details for Web of Science ID 000240952800021

• Introduction: Alternative logics and classical concerns International Symposium on Philosophical Insight into Logic and Mathematics - History and Outcomes of Atlernative Semantics and Syntax van Benthem, J. SPRINGER. 2006: 1–7

  View details for Web of Science ID 000242802500001

• Minimal predicates. fixed-points. and definability JOURNAL OF SYMBOLIC LOGIC Van Benthem, J. 2005; 70 (3): 696-712

  View details for Web of Science ID 000231402900002