Search results
- 1.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 - 2.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 - 3.0348911 - ÚI 2011 RIV GB eng C - Conference Paper (international conference)
Bílková, Marta - Majer, Ondrej - Peliš, Michal - Restall, G.
Relevant Agents.
Advances in Modal Logic. London: College Publications, 2010 - (Beklemishev, L.; Goranko, V.; Shehtman, V.), s. 22-38. 8. ISBN 978-1-84890-013-4.
[Advances in Modal Logic. Moscow (RU), 24.08.2010-27.08.2010]
R&D Projects: GA ČR GEICC/08/E018; GA AV ČR IAA900090703
Institutional research plan: CEZ:AV0Z10300504; CEZ:AV0Z90090514
Keywords : modal logic * epistemic logic * relevant logic * substructural logic * frame semantics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0006064File Download Size Commentary Version Access a0348911 - BilkovaMajerPelis-RelevantAgents.pdf 5 207.9 KB Publisher’s postprint require - 4.0332828 - FLÚ 2010 RIV GB eng C - Conference Paper (international conference)
Peliš, Michal
Epistemic Logic with Relevant Agents.
[Epistemická logika s relevančními agenty.]
The Logica Yearbook 2008. London: College Publications, 2009 - (Peliš, M.), s. 123-135. ISBN 978-1-904987-46-8.
[Logica 2008. Hejnice (CZ), 16.06.2008-20.06.2008]
R&D Projects: GA AV ČR(CZ) IAA900090703; GA ČR(CZ) GA401/07/0904
Institutional research plan: CEZ:AV0Z90090514
Keywords : relevant logic * epistemic logic * modal logic
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0177961 - 5.0332827 - FLÚ 2010 RIV CZ cze C - Conference Paper (international conference)
Nevrkla, S. - Peliš, Michal
Logická argumentace mezi agenty.
[Logical Argumentation among Agents.]
Kognice 2009. Hradec Králové: Gaudeamus, 2009, s. 213-219. ISBN 978-80-7041-911-3.
[Kognice 2009. Hradec Králové (CZ), 14.09.2009-15.09.2009]
Institutional research plan: CEZ:AV0Z90090514
Keywords : logic * argumentation * multiagent systems
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0177960