Authors
Valentin Goranko
Stockholm University
Abstract
We consider systems of rational agents who act and interact in pursuit of their individual and collective objectives. We study and formalise the reasoning of an agent, or of an external observer, about the expected choices of action of the other agents based on their objectives, in order to assess the reasoner’s ability, or expectation, to achieve their own objective. To formalize such reasoning we extend Pauly’s Coalition Logic with three new modal operators of conditional strategic reasoning, thus introducing the Logic for Local Conditional Strategic Reasoning \. We provide formal semantics for the new conditional strategic operators in concurrent game models, introduce the matching notion of bisimulation for each of them, prove bisimulation invariance and Hennessy–Milner property for each of them, and discuss and compare briefly their expressiveness. Finally, we also propose systems of axioms for each of the basic operators of \ and for the full logic.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10849-022-09357-y
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,214
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Logic for Conditional Local Strategic Reasoning.Valentin Goranko & Fengkui Ju - 2022 - Journal of Logic, Language and Information 31 (2):167-188.

Add more references

Citations of this work BETA

A Logic for Conditional Local Strategic Reasoning.Valentin Goranko & Fengkui Ju - 2022 - Journal of Logic, Language and Information 31 (2):167-188.

Add more citations

Similar books and articles

Conditional Intent in the Strange Case of Murder by Logic.Dale Jacquette - 2003 - Logic and Logical Philosophy 12:301-316.
Reasoning with Conditionals.Guy Politzer - 2007 - Topoi 26 (1):79-95.
Deontic Logic for Strategic Games.Allard Tamminga - 2013 - Erkenntnis 78 (1):183-200.
Conditional Reasoning and Conditional Logic.William G. Lycan - 1994 - Philosophical Studies 76 (2-3):223 - 245.
Human Reasoning Includes a Mental Logic.David P. O'Brien - 2009 - Behavioral and Brain Sciences 32 (1):96-97.
The Logic of the Evidential Conditional.Eric Raidl, Andrea Iacona & Vincenzo Crupi - forthcoming - Review of Symbolic Logic:1-13.

Analytics

Added to PP index
2022-04-25

Total views
1 ( #1,546,279 of 2,507,637 )

Recent downloads (6 months)
1 ( #416,871 of 2,507,637 )

How can I increase my downloads?

Downloads

My notes