Reasoning about group responsibility for exceeding risk threshold in one-shot games

DOI10.1016/J.IC.2024.105257MaRDI QIDQ7021349zbMATH OpenFDO

Authors Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder

Publication date 28 February 2025

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.IC.2024.105257

zbMATH Keywords

responsibilityprobabilistic logiccoalition logicreasoning about risk

Mathematics Subject Classification ID

Applications of game theory (91A80) Probability and inductive logic (03B48) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Cites work

• scientific article; zbMATH DE number 67503 (Why is no real title available?)
• scientific article; zbMATH DE number 3607998 (Why is no real title available?)
• scientific article; zbMATH DE number 2182496 (Why is no real title available?)
• scientific article; zbMATH DE number 5593264 (Why is no real title available?)
• scientific article; zbMATH DE number 3365043 (Why is no real title available?)
• scientific article; zbMATH DE number 2243367 (Why is no real title available?)
• A Modal Logic for Coalitional Power in Games
• A decidable propositional dynamic logic with explicit probabilities
• A logic for reasoning about probabilities
• A logic for reasoning about responsibility
• A logic for reasoning about time and reliability
• A logical analysis of responsibility attribution: emotions, individuals and collectives
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• Actual causality
• Alternating-time temporal logic
• Alternating-time temporal logics with linear past
• An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
• An epistemic logic of blameworthiness
• An epistemic probabilistic logic with conditional probabilities
• Automatic verification of concurrent stochastic systems
• Blame it on me
• Coalitional responsibility in strategic settings
• Comparing semantics of logics for multi-agent systems
• Convex Analysis
• Counterfactual and seeing-to-it responsibilities in strategic games
• Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
• Distant group responsibility in multi-agent systems
• In the realm of agents
• Probabilistic logic
• Probabilistic temporal logic with countably additive semantics
• Probability logic for type spaces
• Reasoning about knowledge and probability
• Reasoning with time and chance
• Some considerations on the logics P_FD A logic combining modality and probability
• Stit semantics for epistemic notions based on information disclosure in interactive settings
• Strategy logic
• Temporal logics in computer science. Finite-state systems
• The Complexity of CTL* + Linear Past

This page was built for publication: Reasoning about group responsibility for exceeding risk threshold in one-shot games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7021349)