Game-Theoretic Semantics for Alternating-Time Temporal Logic (Q4691736)
From MaRDI portal
scientific article; zbMATH DE number 6963789
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Game-Theoretic Semantics for Alternating-Time Temporal Logic |
scientific article; zbMATH DE number 6963789 |
Statements
Game-Theoretic Semantics for Alternating-Time Temporal Logic (English)
0 references
24 October 2018
0 references
logic and game theory
0 references
argumentation-based dialogue and protocols
0 references
logics for agents and multiagent systems
0 references
