Number of the records: 1
Epistemic Logics of Structured Intensional Groups: Agents - groups - names-types
- 1.0584075 - ÚI 2024 eng A3 - Přednáška/prezentace nepublikovaná
Bílková, Marta
Epistemic Logics of Structured Intensional Groups: Agents - groups - names-types.
[TABLEAUX 2023: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods /32./. Prague, 18.09.2024-21.09.2024]
Způsob prezentace: Zvaná přednáška
http://tableaux2023.tableaux-ar.org/program.html https://link.springer.com/content/pdf/bfm:978-3-031-43513-3/1?pdf=chapter%20toc
Trvalý link: https://hdl.handle.net/11104/0352080
Number of the records: 1