Name
Title | ||
|---|---|---|
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. |
Year | Venue | Keywords |
|---|---|---|
2011 | Journal of Applied Non-Classical Logics | imperfect information,incomplete information,model checking |
Field | DocType | Volume |
Distributed knowledge,Discrete mathematics,Axiomatic system,Model checking,Axiom,Algorithm,Alternating-time Temporal Logic,Perfect information,Completeness (statistics),Mathematics,Complete information | Journal | 21 |
Issue | Citations | PageRank |
1 | 13 | 0.53 |
References | Authors | |
27 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Dimitar P. Guelev | 1 | 257 | 19.47 |
| Cătălin Dima | 2 | 186 | 17.85 |
| Constantin Enea | 3 | 249 | 26.95 |