First Degree Entailment with group attitudes and information updates (joint work with A. Tedder and V. Punčochář). LORI-VII. Chongquing, China, 18-21 October 2019.
Iterative division in the product-free Distributive Full Non-associative Lambek Calculus. 2nd DaLí Workshop. Porto, Portugal, 9 October 2019.
Fixpoints in generalized Lambek calculus. Logic Colloquium 2019. Prague, The Czech Republic, 11-16 August 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.
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.