Work

Prompt alternating-time epistemic logics

FWCI: 2.141
Cites: 32
Cited by: 19
Related to: 10