M Pelis' publications

Papers and book chapters

Epistemic Erotetic Search Scenarios. In Logic and Logical Philosophy, vol. 27, no. 3, 2018, pages 301-328. [online] [unpublished version] (with Pawel Lupkowski, Ondrej Majer, and Mariusz Urbanski)

Erotetic Epistemic Logic. In Logic and Logical Philosophy, vol. 26, no. 3, 2017, pages 357-381. [preprint] [online]

Normal Default Rules as Epistemic Actions. In Acta Universitatis Carolinae - Philosophica et Historica, 1/2015, Miscellanea Logica X, 2016, pages 23-37. [preprint] [online] (with Michal Dancak)

Epistemic Logics for Skeptical Agents. In Journal of Logic and Computation, vol. 26, no. 6, 2015, pages 1815-1841. [preprint] [online] (with Marta Bilkova and Ondrej Majer)

Erotetic Epistemic Logic in Private Communication Protocol. In M. Dancak and V. Puncochar, editors, The Logica Yearbook 2013, College Publications, London, 2014, pages 223-237. [preprint] (with Petr Svarny and Ondrej Majer)

Interpretace znalosti v substrukturalnich ramcich. (Knowledge interpretation in substructural frames.) In Organon F, vol. 20, supplementary issue 1, 2013, pages 79-98. [preprint CZ] (with Ondrej Majer)

Set of Answers Methodology in Erotetic Epistemic Logic. In Acta Universitatis Carolinae - Philosophica et Historica, 2/2010, Miscellanea Logica IX, 2013, pages 61-74. [preprint]

Ruzne podoby cinskeho wushu. (Different kinds of Chinese wushu.) In ceska kinantropologie, vol. 17, no. 1, 2013, pages 9-20. [preprint CZ] (with Irena Martinkova and Tomas Vesely)

Logic of Questions and Public Announcements. In N. Bezhanishvili, S. Lobner, K. Schwabe, L. Spada, editors, Eighth International Tbilisi Symposium on Logic, Language and Computation 2009, Lecture Notes in Computer Science, Springer, 2011, pages 145-157. ISBN 978-3-642-22302-0. [preprint] (with Ondrej Majer)

Individualni konstrukce socialni reality aneb Jak prezit postmodernu. In J. Jebava and M. Pelis, editors, Zivotni labyrinty a artefiletika - cesta k aktivnimu zivotu, Universita Karlova v Praze, Fakulta telesne vychovy a sportu, 2010. ISBN 978-80-86317-85-4, CD ROM. [preprint CZ]

Relevant Agents. In L. Beklemishev, V. Goranko and V. Shehtman, editors, Advances in Modal Logic, Vol. 8, College Publications, 2010, pages 22-38. ISBN 978-1-84890-013-4. [preprint] (with Marta Bilkova, Ondrej Majer, and Greg Restall)

Relevant Epistemic Logic. In D. Grossi, L. Kurzen and F.R. Velazquez-Quesada, editors, Logic and Interactive Rationality (Yearbook 2009), ILLC, Amsterdam, 2010, pages 69-84. [preprint] (with Ondrej Majer)

Logic of Questions from the Viewpoint of Dynamic Epistemic Logic. In M. Pelis, editor, The Logica Yearbook 2009, College Publications, London, 2010, pages 157-172. ISBN 978-184890-009-7. [preprint] (with Ondrej Majer)

Logicka argumentace mezi agenty. (Logical argumentation among agents.) In Kognice 2009, Gaudeamus, Hradec Kralove, 2009, pages 213-219. ISBN 978-80-7041-911-3. [preprint] (with Svatopluk Nevrkla)

Epistemic Logic with Relevant Agents. In M. Pelis, editor, The Logica Yearbook 2008, College Publications, 2009, pages 123-135. ISBN 978-1-904987-46-8. [preprint] (with Ondrej Majer)

Consequence Relations in Inferential Erotetic Logic. In M. Bilkova, editor, Consequence, Inference, Structure, book series Miscellanea Logica VII, Univerzita Karlova v Praze, Filozoficka fakulta, 2008, pages 53-88. ISBN 978-80-7308-261-1. [preprint]

Formalni pristup ke znalostem a jeho aplikace v teorii racionalniho jednani. (Formal approach to knowledge and its application in decision-making theories.) In J. Subrt and J. Balon, editors, Teorie jednani: jeden koncept, mnoho koncepci. Praha, 2008, pages 145-167. ISBN 978-80-7308-219-2. [preprint CZ] (with Svatopluk Nevrkla)

Teorie her jako formalni teorie racionalniho rozhodovani. (Game theory as a formal theory of rational decision-making.) In J. Subrt et al., Soudoba sociologie II. Teorie socialniho jednani a socialni struktury. Karolinum, Praha, 2008, pages 255-276. ISBN 978-80-246-1413-7 [preprint CZ]

Roma und Sport. In D. Blecking and M. Waic, editors, Sport - Ethnie - Nation, Schneider-Verlag, 2008, pages 137-151. ISBN 978-3-8340-0336-2. [preprint DE] (with Sarka Hastrmanova and Frantisek Bartos). The Czech version is published in D. Blecking and M. Waic, editors, Odraz stredoevropskych minoritnich kultur ve sportu, Karolinum, 2010, pages 132-143, ISBN 978-80-246-1729-9.

Program "Tarski's World" a vyuka jazyka predikatove logiky. (Programme "Tarski's World" and Teaching of Predicate Logic), In L. Dostalova and K. Sebela, editors, ORGANON V.: Kolik logiky za nas mohou ucit pocitace?. Univerzita Karlova, Praha, 2006, pages 55-65. ISBN 80-7308-140-7. [preprint CZ]

Modern Society, Sport, and Lifestyle - Together Forever. In I. Martinkova and L. Dastlik, editors, Movement - the Art of Life. Karolinum, Praha, 2006, pages 55-63. ISBN 80-246-1235-6. [preprint]

Questions and Logical Analysis of Natural Language: the Case of Transparent Intensional Logic. Logique & Analyse, 185-188, 2004, pages 217-226. [preprint]

Some Properties of Kripke Semantics for Intuitionistic Logic. In K. Bendova and P. Jirku, editors, Miscellanea Logica V, Karolinum, Praha, 2003, pages 102-112. ISBN 80-246-0799-9. [preprint]

Sport - kulturni fenomen. (Sport - the cultural phenomenon), In D. Leska and J. Oborny, editors, Telesna vychova a sport v kulture spolocnosti, pages 142-148. Fakulta telesnej vychovy a sportu, Univerzita Komenskeho, Bratislava 2003. ISBN 80-89075-20-7. [preprint CZ]

Book

Inferences with Ignorance: Logics of Questions (Inferential Erotetic Logic & Erotetic Epistemic Logic). Karolinum Press, Praha 2016. ISBN 978-80-246-3181-3. (Successful in the contest of high-quality monographs, Charles University, 2018)

Textbook

Logika: ucebnice pro prijimaci zkousky na pravnicke a humanitni fakulty. Amos, Praha 2002. ISBN 80-903090-0-3. (Textbook for high-school-students) Corrections and remarks

Edited books, proceedings, and special issues

Miscellanea logica series in Acta Universitatis Carolinae - Philosophica et Historica journal

Miscellanea logica XI, AUC - Philosophica et Historica. 2/2017, 2017. ISSN 0567-8293.

Miscellanea logica X, AUC - Philosophica et Historica. 1/2015, 2016. ISSN 0567-8293, 2464-7055 (online).

Miscellanea logica IX, AUC - Philosophica et Historica. 2/2010, 2013. ISSN 0567-8293.

The Logica Yearbook series

(list of all issues)

The Logica Yearbook 2011. M. Pelis and V. Puncochar, editors, College Publications, London, 2012. ISBN 978-1-84890-071-4.

The Logica Yearbook 2010. M. Pelis and V. Puncochar, editors, College Publications, London, 2011. ISBN 978-1-84890-038-7.

The Logica Yearbook 2009. College Publications, London, 2010. ISBN 978-1-84890-009-7.

The Logica Yearbook 2008. College Publications, London, 2009. ISBN 978-1-904987-46-8.

The Logica Yearbook 2007. Filosofia, Praha, 2008. ISBN 978-80-7007-281-3.

Movement - the Art of Life series

Movement - the Art of Life III. I. Martinkova and M. Pelis, editors. Faculty of Physical Education and Sport, Charles University, Praha, 2007. ISBN 978-80-86317-52-6.

Movement - the Art of Life I. I. Martinkova and M. Pelis, editors. Faculty of Physical Education and Sport, Charles University, Praha, 2004. ISBN 80-86317-32-3.

Zivotni labyrinty a artefiletika - cesta k aktivnimu zivotu. J. Jebava and M. Pelis, editors, Universita Karlova v Praze, Fakulta telesne vychovy a sportu, 2010. ISBN 978-80-86317-85-4.

Others

Translation

Filosoficke zaklady intuicionisticke logiky. In Logika 20. stoleti: mezi matematikou a filosofii, Jaroslav Peregrin, editor. Filosofia, 2006, pages 353-386. ISBN 80-7007-228-8. (Original text: M. Dummett, The Philosophical Basis of Intuitionistic Logic, 1978.)

Various

Výuka logiky jako servis pro humanitní obory na vysokých školách. To appear. 2024 (CZ)

Procesní modelování v CS ČR (2. část: Procesní model organizace). In Clo - Douane, Vol. 56, March 2022, pages 10-12.

Procesní modelování v CS ČR (1. část: Procesní řízení a rozhodování). In Clo - Douane, Vol. 56, February 2022, pages 10-12.

Anotace knihy Pavel Materna: Hovory o pojmu. In Filosoficky casopis, 5, 2016, pp. 817-818. (CZ)

Epistemic Logic and Questions. In Logic Colloquium 2007 (Book of Abstracts), Uniwersitet Wroclawski, 2007, page 66, ISBN 978-83-910055-6-9. (Published abstract)

Inferences in Logics of Questions In The Bulletin of Symbolic Logic, Vol.13, No.2, June 2007, pages 296-297. (2006 Summer Meeting of the Association for Symbolic Logic, Logic Colloquium 2006, Nijmegen, The Netherlands, July 27—August 2, 2006) (Published abstract)

Logika a matematika: hledani zakladu (CZ, draft)

CS Bibliografie oboru logika. (Czech and Slovak Bibliography of Logic.) Petr Jirku a kol., In Miscellanea Logica II, Karolinum, Praha 1999. [preprint CZ]

Sociologie - otazky k prijimacimu rizeni. In E. Caslavova, editor, Pisemne prijimaci testy. FTVS UK, Praha, 2004. cast C.

Theses

Logic of Questions. PhD Thesis, Charles University in Prague, Faculty of Arts, Prague, 2011. Supervisor: Jaroslav Peregrin

Pocatky semantiky intuicionisticke logiky (Origins of Intuitionistic Semantics). Diplomova prace (MA Thesis), Filozoficka fakulta Univerzity Karlovy, Praha, 2001. (CZ) Supervisor: Vítězslav Švejdar