Basket

0547235 - ÚI 2022 RIV DE eng C - Conference Paper (international conference)
Punčochář, Vít - Sedlár, Igor
Relevant Epistemic Logic with Public Announcements and Common Knowledge.
Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings. Cham: Springer, 2021 - (Baroni, P.; Benzmüller, C.; Wáng, Y.), s. 342-361. Lecture Notes in Artificial Intelligence, 13040. ISBN 978-3-030-89390-3.
[CLAR 2021: International Conference on Logic and Argumentation /4./. online (CN), 20.10.2021-22.10.2021]
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : Dynamic epistemic logic * Epistemic logic * Inquisitive logic * Public announcement logic * Relevant logic
OECD category: Pure mathematics
Permanent Link: http://hdl.handle.net/11104/0323522