Stit semantics for epistemic notions based on information disclosure in interactive settings
| Autor: | Ramírez Abarca, Aldo Iván, Broersen, Jan |
|---|---|
| Zdroj: | In Journal of Logical and Algebraic Methods in Programming November 2021 123 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect