A logic for conditional local strategic reasoning

DOI10.1007/S10849-022-09357-YOpenAlexW3127263067MaRDI QIDQ2155205FDOQ2155205

Valentin Goranko, Fengkui Ju

Publication date: 15 July 2022

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

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

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

zbMATH Keywords

bisimulationsconcurrent gamesexpressivenesscoalition logicconditional strategic reasoningproactive and reactive abilities

Mathematics Subject Classification ID

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

Cites Work

• Alternating-time temporal logic
• A Modal Logic for Coalitional Power in Games
• Reasoning About Strategies
• Synthesis with rational environments
• Rational Synthesis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• From model checking to equilibrium checking: reactive modules for rational verification
• ATL with Strategy Contexts and Bounded Memory
• Models of strategic reasoning. Logics, games, and communities
• Title not available (Why is that?)
• Towards a logic for conditional local strategic reasoning
• Intelligence in Strategic Games

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)