Journal Articles
Journal of Logic and Computation
Year : 2014
Tiago DE LIMA : Connect in order to contact the contributor
https://univ-artois.hal.science/hal-03962680
Submitted on : Monday, January 30, 2023-12:34:45 PM
Last modification on : Wednesday, September 20, 2023-3:36:06 PM
Cite
T. de Lima. Alternating-time temporal dynamic epistemic logic. Journal of Logic and Computation, 2014, 24 (6), pp.1145-1178. ⟨10.1093/logcom/exs061⟩. ⟨hal-03962680⟩
Collections
8
View
0
Download