|
|
|
||
Last update: Mgr. Šárka Stejskalová, Ph.D. (23.09.2021)
|
|
||
Last update: Mgr. Šárka Stejskalová, Ph.D. (23.09.2021)
[1] D. Harel, D. Kozen, and J. Tiuryn, Dynamic Logic. MIT Press, 2000. |
|
||
Last update: Mgr. Šárka Stejskalová, Ph.D. (23.09.2021)
1. Modal logic |