Johan van Benthem

According to our database1, Johan van Benthem authored at least 136 papers between 1974 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
A Propositional Dynamic Logic for Instantial Neighborhood Semantics.
Stud Logica, 2019

A New Game Equivalence, its Logic and Algebra.
J. Philos. Log., 2019

Implicit and Explicit Stances in Logic.
J. Philos. Log., 2019

2018
Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond.
J. Log. Comput., 2018

Modal logics of sabotage revisited.
J. Log. Comput., 2018

Computation as social agency: What, how and who.
Inf. Comput., 2018

2017
Instantial Neighbourhood Logic.
Rev. Symb. Log., 2017

A bimodal perspective on possibility semantics.
J. Log. Comput., 2017

On A New Semantics for First-Order Predicate Logic.
J. Philos. Log., 2017

An Old Discipline with a New Twist: The Course "Logic in Action".
FLAP, 2017

A New Game Equivalence and its Modal Logic.
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

A Propositional Dynamic Logic for Instantial Neighborhood Models.
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Against All Odds: When Logic Meets Probability.
Proceedings of the ModelEd, TestEd, TrustEd, 2017

2015
Logic of Strategies: What and How?
Proceedings of the Models of Strategic Reasoning - Logics, Games, and Communities, 2015

Computing rational beliefs under limited foresight.
CoRR, 2015

Symbolic Model Checking for Dynamic Epistemic Logic.
Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Sabotage Modal Logic: Some Model and Proof Theoretic Aspects.
Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

2014
Modeling Reasoning in a Social Setting.
Stud Logica, 2014

Natural Language and Logic of Agency.
J. Log. Lang. Inf., 2014

Deontic Logic and Preference Change.
FLAP, 2014

Evidence and plausibility in neighborhood structures.
Ann. Pure Appl. Log., 2014

2013
Reasoning about Strategies.
Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012
In Praise of Strategies.
Proceedings of the Games, Actions and Social Software - Multidisciplinary Aspects, 2012

New logical perspectives on physics.
Synth., 2012

The logic of empirical theories revisited.
Synth., 2012

Sahlqvist Correspondence for Modal mu-calculus.
Stud Logica, 2012

Toward a Dynamic Logic of Questions.
J. Philos. Log., 2012

The nets of reason.
Argument Comput., 2012

Evidence Logic: A New Look at Neighborhood Structures.
Proceedings of the Advances in Modal Logic 9, 2012

Foundational Issues in Logical Dynamics.
Proceedings of the Advances in Modal Logic 9, 2012

2011
Introduction.
Synth., 2011

Dynamic Logics of Evidence-Based Beliefs.
Stud Logica, 2011

Question-answer games.
J. Appl. Non Class. Logics, 2011

Obituaries: John McCarthy.
J. Int. Comput. Games Assoc., 2011

Toward a Theory of Play: A Logical Perspective on Games and Interaction.
Games, 2011

McCarthy variations in a modal key.
Artif. Intell., 2011

Exploring a theory of play.
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Logical Dynamics of Evidence.
Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

Logic Games: From Tools to Models of Interaction.
Proceedings of the Proof, Computation and Agency - Logic at the Crossroads., 2011

2010
The dynamics of awareness.
Synth., 2010

Temporal Logics of Agency.
J. Log. Lang. Inf., 2010

Game Solution, Epistemic Dynamics and Fixed-Point Logics.
Fundam. Informaticae, 2010

Deontics = Betterness + Priority.
Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

Logic between Expressivity and Complexity.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009
The information in intuitionistic logic.
Synth., 2009

Logic and intelligent interaction.
Synth., 2009

Dynamic Update with Probabilities.
Stud Logica, 2009

Everything Else Being Equal: A Modal Logic for <i>Ceteris Paribus</i> Preferences.
J. Philos. Log., 2009

Merging Frameworks for Interaction.
J. Philos. Log., 2009

Lindström theorems for fragments of first-order logic
Log. Methods Comput. Sci., 2009

Decisions, Actions, and Games: A Logical Perspective.
Proceedings of the Logic and Its Applications, Third Indian Conference, 2009

2008
Modelling simultaneous games in dynamic logic.
Synth., 2008

The many faces of interpolation.
Synth., 2008

Logic and Reasoning: do the facts matter?
Stud Logica, 2008

Modal logic and invariance.
J. Appl. Non Class. Logics, 2008

Visualizing Compositions of Services from Large Repositories.
Proceedings of the 10th IEEE International Conference on E-Commerce Technology (CEC 2008) / 5th IEEE International Conference on Enterprise Computing, 2008

Bridges between Dynamic Doxastic and Doxastic Temporal Logics.
Proceedings of the Logic and the Foundations of Game and Decision Theory, 2008

Modal Fixed-Point Logic and Changing Models.
Proceedings of the Pillars of Computer Science, 2008

2007
Modal Logics of Space.
Proceedings of the Handbook of Spatial Logics, 2007

What is Spatial Logic?
Proceedings of the Handbook of Spatial Logics, 2007

A New Modal Lindström Theorem.
Logica Universalis, 2007

Dynamic logic of preference upgrade.
J. Appl. Non Class. Logics, 2007

Dynamic logic for belief revision.
J. Appl. Non Class. Logics, 2007

Erratum: "Rational Dynamics and Epistemic Logic in Games".
IGTR, 2007

Rational Dynamics and Epistemic Logic in Games.
IGTR, 2007

Merging frameworks for interaction: DEL and ETL.
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

Modal logic: a semantic perspective.
Proceedings of the Handbook of Modal Logic., 2007

2006
Editorial.
Synth., 2006

Multimo dal Logics of Products of Topologies.
Stud Logica, 2006

Modal Frame Correspondences and Fixed-Points.
Stud Logica, 2006

Logics of communication and change.
Inf. Comput., 2006

The Tree of Knowledge in Action: Towards a Common Perspective.
Proceedings of the Advances in Modal Logic 6, 2006

2005
Minimal predicates, fixed-points, and definability.
J. Symb. Log., 2005

Guards, Bounds, and Generalized Semantics.
J. Log. Lang. Inf., 2005

Common knowledge in update logics.
Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), 2005

Open Problems in Logic and Games.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

An Essay on Sabotage and Obstruction.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

2003
Euclidean Hierarchy in Modal Logic.
Stud Logica, 2003

Logic Games are Complete for Game Logics.
Stud Logica, 2003

Logic and the Dynamics of Information.
Minds Mach., 2003

Reasoning About Space: The Modal Way.
J. Log. Comput., 2003

Connecting the Different Faces of Information.
J. Log. Lang. Inf., 2003

Conditional Probability Meets Update Logic.
J. Log. Lang. Inf., 2003

2002
Extensive Games as Process Models.
J. Log. Lang. Inf., 2002

A Modal Walk Through Space.
J. Appl. Non Class. Logics, 2002

2001
Ensemble-based prediction of SAT search behaviour.
Electron. Notes Discret. Math., 2001

2000
Information Transfer across Chu Spaces.
Log. J. IGPL, 2000

'On Being Informed': Update Logics for Knowledge States.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

1999
Interpolation, Preservation, and Pebble Games.
J. Symb. Log., 1999

Information Flow: The Logic of Distributed Systems, Jon Barwise and Jerry Seligman.
J. Log. Lang. Inf., 1999

The Range of Modal Logic.
J. Appl. Non Class. Logics, 1999

Temporal Patterns and Modal Structure.
Log. J. IGPL, 1999

Modality, Bisimulation and Interpolation in Infinitary Logic.
Ann. Pure Appl. Log., 1999

1998
Modal Deduction in Second-Order Logic and Set Theory - II.
Stud Logica, 1998

Program Constructions that are Safe for Bisimulation.
Stud Logica, 1998

Modal Languages and Bounded Fragments of Predicate Logic.
J. Philos. Log., 1998

Process Operations in Extended Dynamic Logics.
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

Modality, relational guards, and decidability (invited paper).
Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997
Modal Deduction in Second-Order Logic and Set Theory - I.
J. Log. Comput., 1997

Editorial: Cognitive Actions in Focus.
J. Log. Lang. Inf., 1997

Modal Foundations for Predicate Logic.
Log. J. IGPL, 1997

Dynamics.
Proceedings of the Handbook of Logic and Language., 1997

Introduction.
Proceedings of the Handbook of Logic and Language., 1997

Introduction.
Proceedings of the Handbook of Logic and Language., 1997

Introduction.
Proceedings of the Handbook of Logic and Language., 1997

1996
Space, Time, and Computation: Trends and Problems.
Appl. Intell., 1996

Exploring logical dynamics.
Studies in logic, language and information, CSLI, ISBN: 978-1-57586-059-6, 1996

1995
Directions in generalized quantifier theory.
Stud Logica, 1995

Back and Forth Between Modal Logic and Classical Logic.
Log. J. IGPL, 1995

1994
Modal Logic, Transition Systems and Processes.
J. Log. Comput., 1994

Logic of Transition Systems.
J. Log. Lang. Inf., 1994

1993
Editorial: The Elusive Locus of Logicality.
J. Log. Comput., 1993

Modal Frame Classes Revisited.
Fundam. Informaticae, 1993

The Logic of Cognitive Action.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992
Logic as programming.
Fundam. Informaticae, 1992

Epistemic Logic: From Knowledge to Cognition.
Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, 1992

1991
Editorial.
J. Log. Comput., 1991

Language in action.
J. Philos. Log., 1991

Reasoning and Programming: Analogies between Logic and Computation.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

The logic of time - a model-theoretic investigation into the varieties of temporal ontology and temporal discourse, 2nd Edition.
Synthese library 156, Kluwer, ISBN: 0792310810, 1991

1990
Categorial grammar and type theory.
J. Philos. Log., 1990

1989
Logical Constants Across Varying Types.
Notre Dame J. Formal Log., 1989

Notes on Modal Definability.
Notre Dame J. Formal Log., 1989

1988
Time, logic and computation.
Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

1986
Tenses in Real Time.
Math. Log. Q., 1986

1985
The variety of consequence, according to Bolzano.
Stud Logica, 1985

1984
Tense logic and time.
Notre Dame J. Formal Log., 1984

Questions About Quantifiers.
J. Symb. Log., 1984

Foundations of conditional logic.
J. Philos. Log., 1984

1983
Halldén-completeness by gluing of Kripke frames.
Notre Dame J. Formal Log., 1983

1979
Canonical Modal Logics and Ultrafilter Extensions.
J. Symb. Log., 1979

1978
Four paradoxes.
J. Philos. Log., 1978

1976
Modal Formulas are Either Elementary or not sigma triangle-Elementary.
J. Symb. Log., 1976

Modal Reduction Principles.
J. Symb. Log., 1976

1975
A Note on Modal Formulae and Relational Properties.
J. Symb. Log., 1975

1974
Hintikka on analyticity.
J. Philos. Log., 1974


  Loading...