A logic for conditional local strategic reasoning

DOI10.1007/S10849-022-09357-YMaRDI QIDQ2155205zbMATH OpenOpenAlexFDO

Authors Fengkui Ju, Valentin Goranko

Publication date 15 July 2022

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10849-022-09357-y

zbMATH Keywords

bisimulationsconcurrent gamesexpressivenesscoalition logicconditional strategic reasoningproactive and reactive abilities

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• A Logic for Reasoning about Rational Agents
• A Modal Logic for Coalitional Power in Games
• Logics for Reasoning About Strategic Abilities in Multi-player Games
• Deontic logic for strategic games
• Getting together: a unified perspective on modal logics for coalitional interaction

Cites work

• scientific article; zbMATH DE number 53233 (Why is no real title available?)
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• A Modal Logic for Coalitional Power in Games
• ATL with Strategy Contexts and Bounded Memory
• Alternating-time temporal logic
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• From model checking to equilibrium checking: reactive modules for rational verification
• Intelligence in strategic games
• Models of strategic reasoning. Logics, games, and communities
• Rational synthesis
• Reasoning about strategies: on the model-checking problem
• Reasoning about strategies: on the satisfiability problem
• Synthesis with rational environments
• Towards a logic for conditional local strategic reasoning

This page was built for publication: A logic for conditional local strategic reasoning

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