Epistemic Logics of Structured Intensional Groups: Agents - groups - names-types

Bibliographic details

Authors

Marta Bílková

Publication year

2023

Publication type

Abstrakt

Bibliographic citation

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

ID

584075