BÍLKOVÁ, Marta. Epistemic Logics of Structured Intensional Groups: Agents - groups - names-types [zp]. Prague, TABLEAUX 2023: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods /32./, 18.09.2023-21.09.2023. Dostupné z: http://tableaux2023.tableaux-ar.org/program.htmlhttps://link.springer.com/content/pdf/bfm:978-3-031-43513-3/1?pdf=chapter%20toc
