Výsledky vyhledávání
- 1.0572522 - FLÚ 2024 RIV GB eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955 ; RVO:67985807
Klíčová slova: relevant logic * epistemic logic * public announcement * common knowledge * inquisitive logic
Obor OECD: Philosophy, History and Philosophy of science and technology; Pure mathematics (UIVT-O)
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1093/logcom/exac100
Trvalý link: https://hdl.handle.net/11104/0343465 - 2.0547241 - ÚI 2022 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: Epistemic update * Public announcement logic * Relevant logic * Non-classical logic
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0323526 - 3.0547235 - ÚI 2022 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: Dynamic epistemic logic * Epistemic logic * Inquisitive logic * Public announcement logic * Relevant logic
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0323522 - 4.0538225 - ÚI 2021 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: Dynamic logic * Epistemic logic * Inquisitive logic * Substructural logic * Public announcement * Reduction axioms
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0316050 - 5.0458527 - FLÚ 2017 RIV CZ eng B - Monografie kniha jako celek
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
Institucionální podpora: RVO:67985955
Klíčová slova: epistemic logic * erotetic logic * logic of questions * public announcement
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0258797 - 6.0436561 - FLÚ 2015 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Š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]
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: Russian cards problem * epistemic logic * erotetic logic * public announcement
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0240265 - 7.0373265 - FLÚ 2012 CZ eng D - Dizertace
Peliš, Michal
Logic of Questions.
Katedra logiky FF UK. Obhájeno: Praha. 14.04.2011. - Praha: Universita Karlova, Filosofická fakulta, 2011. 100 s.
Grant CEP: GA ČR(CZ) GAP401/10/1504; GA ČR(CZ) GEICC/08/E018; GA AV ČR(CZ) IAA900090703; GA ČR(CZ) GA401/03/0022
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: logic of questions * erotetic logic * epistemic logic * public announcement * dynamic logic
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0206391 - 8.0369521 - FLÚ 2012 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GEICC/08/E018; GA AV ČR(CZ) IAA900090703; GA ČR(CZ) GAP401/10/1504
Výzkumný záměr: CEZ:AV0Z9009908
Klíčová slova: logic of questions * erotetic logic * epistemic logic * public announcement
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0203564 - 9.0355050 - FLÚ 2011 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GA401/07/0904; GA AV ČR(CZ) IAA900090703
Výzkumný záměr: CEZ:AV0Z90090514
Klíčová slova: logic of questions * epistemic logic * dynamic logic * public announcement
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0193900