On infinitary proof theory of logics of information and common belief

0508229 - ÚI 2020 NL eng A - Abstrakt
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]
Institucionální podpora: RVO:67985807
Klíčová slova: proof theory * logic
https://wollic2019.sites.uu.nl/wp-content/uploads/sites/455/2019/05/Marta-Bilkova.pdf

Recently there has been a growing interest in applying nonclassically based modal logics in the context of logics for agency and social behaviour. In particular, substructural or other information-based modal logics of knowledge and belief, or similar versions of PDL, have been designed. While basic modal extensions of substructural logics on one side, and classically based logics of common belief and other fixed point modalities, are relatively well understood when it comes to completeness and proof theory, with logics we have in mind it is not so.

Trvalý link: http://hdl.handle.net/11104/0299198