0508229 - ÚI 2020 NL eng A - Abstract
Bílková, Marta
On infinitary proof theory of logics of information and common belief.
WoLLIC 2019. Programme. Utrecht: Utrecht University, 2019.
[WoLLIC 2019. International Workshop on Logic, Language, Information and Computation /26./. 02.07.2019-05.07.2019, Utrecht]
Institutional support: RVO:67985807
Keywords : proof theory * logic
https://wollic2019.sites.uu.nl/wp-content/uploads/sites/455/2019/05/Marta-Bilkova.pdf
Permanent Link: http://hdl.handle.net/11104/0299198
Bílková, Marta
On infinitary proof theory of logics of information and common belief.
WoLLIC 2019. Programme. Utrecht: Utrecht University, 2019.
[WoLLIC 2019. International Workshop on Logic, Language, Information and Computation /26./. 02.07.2019-05.07.2019, Utrecht]
Institutional support: RVO:67985807
Keywords : proof theory * logic
https://wollic2019.sites.uu.nl/wp-content/uploads/sites/455/2019/05/Marta-Bilkova.pdf
Permanent Link: http://hdl.handle.net/11104/0299198