Researchers
Ognjanović, Zoran
Issue Date | Title | Author(s) | Type | М-cat. |
---|---|---|---|---|
2024 | A Probabilistic Temporal Epistemic Logic: Strong Completeness (✓) | Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, Aleksandar | Article | 21M21 |
Researchers
Issue Date | Title | Author(s) | Type | М-cat. |
---|---|---|---|---|
2024 | A Probabilistic Temporal Epistemic Logic: Strong Completeness (✓) | Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, Aleksandar | Article | 21M21 |