Alternating-time temporal dynamic epistemic logic - Université d'Artois Access content directly
Journal Articles Journal of Logic and Computation Year : 2014

Alternating-time temporal dynamic epistemic logic

No file

Dates and versions

hal-03962680 , version 1 (30-01-2023)

Identifiers

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⟩
8 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More