Search results
- 1.0572522 - FLÚ 2024 RIV GB eng J - Journal Article
Punčochář, Vít - Sedlár, Igor - Tedder, A.
Relevant epistemic logic with public announcements and common knowledge.
Journal of Logic and Computation. Roč. 33, č. 2 (2023), s. 436-461. ISSN 0955-792X. E-ISSN 1465-363X
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955 ; RVO:67985807
Keywords : relevant logic * epistemic logic * public announcement * common knowledge * inquisitive logic
OECD category: Philosophy, History and Philosophy of science and technology; Pure mathematics (UIVT-O)
Impact factor: 0.7, year: 2022
Method of publishing: Limited access
https://doi.org/10.1093/logcom/exac100
Permanent Link: https://hdl.handle.net/11104/0343465 - 2.0547241 - ÚI 2022 RIV CH eng C - Conference Paper (international conference)
Sedlár, Igor - Tedder, Andrew
Situated Epistemic Updates.
Logic, Rationality, and Interaction. 8th International Workshop, LORI 2021, Proceedings. Cham: Springer, 2021 - (Ghosh, S.; Icard, T.), s. 192-200. Lecture Notes in Computer Science, 13039. ISBN 978-3-030-88707-0. ISSN 0302-9743.
[LORI 2021: Logic, Rationality, and Interaction /8./. Xi'an (CN), 16.10.2021-18.10.2021]
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : Epistemic update * Public announcement logic * Relevant logic * Non-classical logic
OECD category: Pure mathematics
Permanent Link: http://hdl.handle.net/11104/0323526 - 3.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 - 4.0538225 - ÚI 2021 RIV CH eng C - Conference Paper (international conference)
Punčochář, Vít
Inquisitive Dynamic Epistemic Logic in a Non-classical Setting.
Dynamic Logic: New Trends and Applications. Cham: Springer, 2020 - (Martins, M.; Sedlár, I.), s. 205-221. Lecture Notes in Computer Science, 12569. ISBN 978-3-030-65839-7. ISSN 0302-9743.
[DaLí International Workshop /3./. Prague / Online (CZ), 09.10.2020-10.10.2020]
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : Dynamic logic * Epistemic logic * Inquisitive logic * Substructural logic * Public announcement * Reduction axioms
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0316050 - 5.0458527 - FLÚ 2017 RIV CZ eng B - Monography
Peliš, Michal
Inferences with ignorance: logics of questions. Inferential erotetic logic & erotetic epistemic logic.
Prague: Karolinum Press, 2016. 110 s. ISBN 978-80-246-3181-3
Institutional support: RVO:67985955
Keywords : epistemic logic * erotetic logic * logic of questions * public announcement
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0258797 - 6.0436561 - FLÚ 2015 RIV GB eng C - Conference Paper (international conference)
Švarný, P. - Majer, Ondrej - Peliš, Michal
Erotetic epistemic logic in private communication protocol.
The logica yearbook 2013. London: College Publications, 2014 - (Dančák, M.; Punčochář, V.), s. 223-238. ISBN 978-1-84890-144-5.
[Logica 2013. Hejnice (CZ), 17.06.2013-21.06.2013]
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional support: RVO:67985955
Keywords : Russian cards problem * epistemic logic * erotetic logic * public announcement
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0240265 - 7.0373265 - FLÚ 2012 CZ eng D - Thesis
Peliš, Michal
Logic of Questions.
Katedra logiky FF UK. Defended: Praha. 14.04.2011. - Praha: Universita Karlova, Filosofická fakulta, 2011. 100 s.
R&D Projects: GA ČR(CZ) GAP401/10/1504; GA ČR(CZ) GEICC/08/E018; GA AV ČR(CZ) IAA900090703; GA ČR(CZ) GA401/03/0022
Institutional research plan: CEZ:AV0Z90090514
Keywords : logic of questions * erotetic logic * epistemic logic * public announcement * dynamic logic
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0206391 - 8.0369521 - FLÚ 2012 RIV DE eng C - Conference Paper (international conference)
Peliš, Michal - Majer, Ondrej
Logic of Questions and Public Announcements.
Logic, Language, and Computation. Berlin: Springer, 2011 - (Bezhanishvili, N.; Löbner, S.; Schwabe, K.; Spada, L.), s. 145-157. Lecture Notes in Artificial Intelligence, 6618. ISBN 978-3-642-22302-0. ISSN 0302-9743.
[TbiLLC 2009. International Tbilisi Symposium on Logic, Language, and Computation /8./. Bakuriani (GE), 21.09.2009-25.09.2009]
R&D Projects: GA ČR(CZ) GEICC/08/E018; GA AV ČR(CZ) IAA900090703; GA ČR(CZ) GAP401/10/1504
Institutional research plan: CEZ:AV0Z9009908
Keywords : logic of questions * erotetic logic * epistemic logic * public announcement
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0203564 - 9.0355050 - FLÚ 2011 RIV GB eng C - Conference Paper (international conference)
Peliš, M. - Majer, Ondrej
Logic of Questions from the Viewpoint of Dynamic Epistemic Logic.
The Logica Yearbook 2009. London: College Publications, 2010 - (Peliš, M.), s. 157-172. ISBN 978-1-84890-009-7.
[LOGICA 2010. Hejnice (CZ), 21.06.2010-25.06.2010]
R&D Projects: GA ČR(CZ) GA401/07/0904; GA AV ČR(CZ) IAA900090703
Institutional research plan: CEZ:AV0Z90090514
Keywords : logic of questions * epistemic logic * dynamic logic * public announcement
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0193900