On Infinitary Proof Theory of Logics of Information and Common Belief

Bibliographic details

Authors

Marta Bílková

Publication year

2019

Publication type

Abstrakt

Periodical

Logic, Language, Information, and Computation

Bibliographic citation

BÍLKOVÁ, Marta. On Infinitary Proof Theory of Logics of Information and Common Belief. In: IEMHOFF, R., MOORTGAT, M., DE QUEIROZ, R., eds. Logic, Language, Information, and Computation. Berlin: Springer, 2019, xiii-xiii. Lecture Notes in Computer Science, 11541. ISBN 978-3-662-59532-9. ISSN 0302-9743. Dostupné z: https://link.springer.com/content/pdf/bfm%3A978-3-662-59533-6%2F1.pdf

ID

535226