A logic for conditional local strategic reasoning
From MaRDI portal
Publication:2155205
Recommendations
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)