2019
- Upcoming: First Degree Entailment with group attitudes and information updates (join work with A. Tedder and V. Punčochář). LORI VII. Chongquing, China, 18-21 October 2019.
- Upcoming: Fixpoints in generalized Lambek calculus. Logic Colloquium 2019. Prague, The Czech Republic, 11-16 August 2019.
- Upcoming: Substructural propositional dynamic logic. 16th International Congress on Logic, Methodology and Philosophy of Science and Technology (CLMPST 2019). Prague, The Czech Republic, 5-10 August 2019.
- Upcoming: Almost arbitrary information updates. SEGA Project Final Meeting. Bayreuth, Germany, 18-20 July 2019.
- Upcoming: Substructural propositional dynamic logics. WoLLIC 2019. Utrecht, The Netherlands, 2-5 July 2019.
- Two approaches to substructural modal logic. TACL 2019. Nice, France, 17-21 June 2019.
- Hyperintensional deontic logics. Current Trends in Deontic Logic II. Bratislava, Slovakia, 30-31 May 2019.
- Substructural PDL. SYSMICS 2019. Amsterdam, The Netherlands, 21-25 January 2019.
2018
- A general semantics for hyperintensional modal logics. Trends in Logic 2018. Milano, Italy, 24-27 September 2018.
- A generalization of neighborhood semantics (joint work with V. Punčochář). Trends in Logic 2018. Milano, Italy, 24-27 September 2018.
- From the positive fragment of PDL to its non-classical extensions (joint work with V. Punčochář, short talk). Advances in Modal Logic 2018. Bern, Switzerland, 27-31 August 2018.
- Modal logics for reasoning about weighted graphs (joint work with A. Vidal). LATD 2018. Bern, Switzerland, 28-31 August 2018.
- The positive fragment of PDL and some of its non-classical extensions (joint work with V. Punčochář). SEGA Project Workshop. Bayreuth, Germany, 19-20 April 2018.
- Reasoning about weighted graphs in many-valued modal logic (joint work with A. Vidal). Beauty of Logic 2018. Prague, Czech Republic, 27 January 2018.
2017
- Non-structural many-valued modal logics (joint work with A. Vidal). Workshop on Fuzzy Quantifiers and Related Topics. Vienna, Austria, 16 December, 2017.
- Lattice-valued epistemic logics (joint work with A. Vidal). Non-classical Modal and Predicate Logics: The 9th International Workshop on Logic and Cognition. Guangzhou, China, 4-7 December, 2017.
- Choices, permissions and agency (joint work with F. Van De Putte). Current Trends in Deontic Logic 2017. Bratislava, Slovakia, 23-24 November 2017.
- Substructural epistemic logics with common knowledge Prague Workshop on Group Attitudes (SEGA Project Workshop III). Prague, Czech Republic, 26-28 October, 2017.
- Towards completeness of some lattice-valued modal logics. Isralog17. Haifa, Israel, 15-17 October 2017.
- Abstract completeness of some lattice-valued modal logics. Kyoto Nonclassical Logic Workshop III. Kyoto, Japan, 25 September 2017.
- Term negation in first-order logic (joint work with K. Šebela). Kyoto Philosophical Logic Workshop III. Kyoto, Japan, 9 September 2017.
- Substructural logics with a reflexive transitive closure modality. 24th Workshop on Logic, Language, Information and Computation (WoLLIC) 2017. London, United Kingdom, 18-21 July 2017
- Bimodal bilattice logic. Topology, Algebra and Categories in Logic 2017 (TACL 2017). Prague, Czech Republic. 26-30 June 2017.
- Bimodal Dunn-Belnap logic. 22nd Conference Applications of Logic in Philosophy and the Foundations of Mathematics. Szklarska Poręba, Poland. 11 May 2017.
- Pooling information in substructural epistemic logics. SEGA Project Workshop. Bayreuth, Germany. 31 March 2017.
- Modal bilattice logic.Tel Aviv University Logic Seminar. Tel Aviv, Israel. 21 March 2017
2016
- Substructural logics with a reflexive transitive closure modality. The 8th International Workshop on Logic and Cognition. Guangzhou, China. 7 December 2016.
- Paraconsistent PDL. 51st Mathematical Logic Group Seminar. Hakone, Japan. 28 October 2016.
- Paraconsistent epistemic logic. (joint work with O. Majer) Kyoto Non-Classical Logic Workshop II. Kyoto, Japan. 26 October 2016.
- Propositional dynamic logic with Belnapian truth values. Fall Logic Seminar of the Dept. of Logic, Charles University. Špindlerův Mlýn, Czech Republic. 27 September 2016.
- Substructural logics with a reflexive transitive closure modality. SEGA Project Kickoff Workshop. Prague, Czech Republic. 20 September 2016.
- Hyperintensional propositional logics for everyone. XX. Czechoslovak Symposium on Analytic Philosophy. Prague, Czech Republic. 15 September 2016.
- Propositional dynamic logic with Belnapian truth values. Advances in Modal Logic 2016. Budapest, Hungary. 31 August 2016.
- Non-classical PDL on the cheap. Logica 2016. Hejnice, Czech Republic. 21 June 2016.
2015
- Impossible worlds in epistemic logic. Issues on the (Im)Possible III. Bratislava, Slovakia. 16 September 2015.
- Epistemic logic with strong negation. XIX. Czechoslovak Symposium on Analytic Philosophy. Bratislava, Slovakia. 10 September 2015.
- Substructural epistemic logics. Workshop on Logics for Resource-Bounded Agents (ESSLLI 2015). Barcelona, Spain. 13 August 2015.
- Modal logics of abstract explanation frameworks (with J. Halas). 15th Congress on Logic, Methodology, and Philosophy of Science. Helsinki, Finland. 6 August 2015.
- Awareness and epistemic access. Logica 2015. Hejnice, Czech Republic. 16 June 2015.
- Substructural negation in epistemic logic. Prague Gathering of Logicians, Third Issue. Prague, Czech Republic. 14 February 2015.
2014
- Dynamic logic, implicit knowledge and analytic methods. XVIII. Czechoslovak Symposium on Analytic Philosophy. Prague, Czech Republic. 9 September 2014.
- Term-modal logics of evidence. Epistemic Logic for Individual, Social, and Interactive Epistemology (ESSLLI 2014). Tübingen, Germany. 14 August 2014.
- Extended dynamic models, partial correctness and substructural logics (Short presentation). Advances in Modal Logic 2014. Groningen, The Netherlands. 5-8 August 2014.
- Action frames for weak relevant logics. Logica 2014. Hejnice, Czech Republic. 17 June 2014.
- Substructural epistemic logics: Homogeneous models and common knowledge. 4th Prague Workshop on Non-Classical Epistemic Logics. Prague, Czech Republic. 13 June 2014.
- Impossible worlds, actions, and partial correctness. Issues on the (Im)Possible Warm-Up. Bratislava, Slovakia. 29 May 2014.
2013
- Epistemic logic and theories of justification. XVII. Czechoslovak Symposium on Analytic Philosophy. Trenčianske Teplice, Slovakia. 13 September 2013.
- Information, awareness and substructural logics. Workshop on Logic, Language, Information and Computation 2013 (WoLLIC 2013). Darmstadt, Germany. 23 August 2013.
- Substructural epistemic logics. Prague Workshop on Non-Classical Epistemic Logics. Prague, Czech Republic. 22 June 2013.
- A general framework for logics of justifications and evidence. Logica 2013. Hejnice, Czech Republic. 18 June 2013.
- Information models and substructural epistemic logics. Workshop on Substructural Epistemic Logic. Munich, Germany. 2 February 2013.
- Justifications, awareness and epistemic dynamics. Symposium on Logical Foundations of Computer Science 2013 (LFCS 2013). San Diego, U.S.A.. 6 January 2013.
2012
- Quantification and the Preface paradox. XVI. Czechoslovak Symposium on Analytic Philosophy. Třešt', Czech Republic. 20 September 2012.
- From pair points to pairs of models. Logica 2012. Hejnice, Czech Republic. 19 June 2012.
- A substructural approach to epistemic logic. Prague Workshop on Non-Classical Epistemic Logics. Prague, Czech Republic. 15 June 2012.
- Inter-model connectives and substructural logics. Trends in Logic XI: Advances in Philosophical Logic. Bochum, Germany. 4 June 2012.
2011
- Awareness and the Preface paradox. Corvinus Game Theory Seminar. Budapest, Hungary. 16 November 2011.
- Boxes are relevant. Logica 2011. Hejnice, Czech Republic. 22 June 2011.
- Collectors and reasoners: Notes on an extension of justification logic. Prague Workshop on Epistemic Logic. Prague, Czech Republic. 17 June 2011.
2010
- Justification logic as dynamic epistemic logic? Second ILCLI Workshop on Logic and Philosophy of Knowldege, Communication and Action (LogKCA 10). Donostia/San Sebastian, November 2010.
- The logics of Moore's Paradox (with J. Podroužek). Logica 2010. Hejnice, Czech Republic. 23 June 2010.
- The scope of Moore's Paradox (with J. Podroužek). PhD's in Logic II. Tilburg, The Netherlands. February 2010.
2009
- A new notion of meaning connection and the logic of simple processes (with J. Podroužek). Logica 2009. Hejnice, Czech Republic. 25 June 2009.