Finitely defined preference and preference indiscernibility in ATL with strategy contexts
From MaRDI portal
Cites work
- A history based logic for dynamic preference updates
- A Temporal Logic for the Interaction of Strategies
- Alternating-time temporal logic
- Alternating-time temporal logic
- An epistemic logic of preferences
- ATL with Strategy Contexts and Bounded Memory
- ATL with strategy contexts: expressiveness and model checking
- Augmenting ATL with strategy contexts
- Comparing semantics of logics for multi-agent systems
- Concurrent games with ordered objectives
- Derivatives of Regular Expressions
- Dynamically stable preferences
- Everything else being equal: a modal logic for ceteris paribus preferences
- Games with secure equilibria
- Handbook of epistemic logic
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- scientific article; zbMATH DE number 2063025 (Why is no real title available?)
- scientific article; zbMATH DE number 2084388 (Why is no real title available?)
- scientific article; zbMATH DE number 1852917 (Why is no real title available?)
- Iterated Boolean games
- Modal Logics for Preferences and Cooperation: Expressivity and Complexity
- Pure Nash equilibria in concurrent deterministic games
- Quantified CTL: expressiveness and complexity
- Quantified CTL: expressiveness and model checking (extended abstract)
- Rational synthesis
- Reasoning about cooperation, actions and preferences
- Reasoning about social choice and games in monadic fixed-point logic
- Reasoning about strategies
- Reducing validity in epistemic ATL to validity in epistemic CTL
- Strategy logic
- Using the Universal Modality: Gains and Questions
This page was built for publication: Finitely defined preference and preference indiscernibility in ATL with strategy contexts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7268685)
