Extensive games as process models

Journal of Logic, Language and Information 11 (3):289-313 (2002)
  Copy   BIBTEX

Abstract

We analyze extensive games as interactive process models, using modallanguages plus matching notions of bisimulation as varieties of gameequivalences. Our technical results show how to fit existing modalnotions into this new setting.

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1015534111901

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,919

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Bisimulations and bisimulation games between Verbrugge models.Sebastijan Horvat, Tin Perkov & Mladen Vuković - 2023 - Mathematical Logic Quarterly 69 (2):231-243.
Bisimulation, modal logic and model checking games.C. Stirling - 1999 - Logic Journal of the IGPL 7 (1):103-124.
Weakly Aggregative Modal Logic: Characterization and Interpolation.Jixin Liu, Yanjing Wang & Yifeng Ding - 2019 - In Patrick Blackburn, Emiliano Lorini & Meiyun Guo, Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings. Springer. pp. 153-167.
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic.Vedran Čačić & Domagoj Vrgoč - 2013 - Studia Logica 101 (1):31-44.
Modal Logic for Open Minds -.Johan van Benthem - 2010 - Stanford, CA, USA: Center for the Study of Language and Inf.
Modal logic for open minds.Johan van Benthem - 2010 - Stanford, California: Center for the Study of Language and Information.
A correspondence theorem for interpretability logic with respect to Verbrugge semantics.Sebastijan Horvat & Tin Perkov - forthcoming - Logic Journal of the IGPL.
A Modal Logic for Mixed Strategies.Joshua Sack & Wiebe van der Hoek - 2014 - Studia Logica 102 (2):339-360.
Reviewed Work: Logic in Games by Johan van Benthem.Review by: Sebastian Sequoiah-Grayson - 2014 - Bulletin of Symbolic Logic 20 (4):501-503,.
Modal Logic, Transition Systems and Processes.Johan van Benthem, Jan van Eijck & Vera Stebletsova - unknown

Analytics

Added to PP
2009-01-28

Downloads
122 (#187,137)

6 months
14 (#234,401)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Johan Van Benthem
University of Amsterdam

Citations of this work

The Ethics of Nudge.Luc Bovens - 2008 - In Mats J. Hansson & Till Grüne-Yanoff, Preference Change: Approaches from Philosophy, Economics and Psychology. Springer, Theory and Decision Library A. pp. 207-20.
Some remarks on the model theory of epistemic plausibility models.Lorenz Demey - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):375-395.
Epistemic logic for rule-based agents.Mark Jago - 2009 - Journal of Logic, Language and Information 18 (1):131-158.

View all 28 citations / Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Logic games are complete for game logics.Johan van Benthem - 2003 - Studia Logica 75 (2):183-203.

View all 9 references / Add more references