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.
  Abstract

  We add a reflexive transitive closure modality to the modal non-associative commutative full Lambek calculus with a simple negation. Decidability and weak completeness of the resulting system are established and extensions of the results to stronger substructural logics are discussed.
• Paraconsistent PDL. 51st Mathematical Logic Group Seminar. Hakone, Japan. 28 October 2016.
  Abstract

  We outline a paraconsistent version of the propositional dynamic logic PDL, based on the four-valued modal logic BK studied by Odintsov and Wansing (2010). We outline some possible applications of the logic in knowledge representation and databases, and discuss its mathematical properties (completeness, decidability, complexity).
• Paraconsistent epistemic logic. (with O. Majer) Kyoto Non-Classical Logic Workshop II. Kyoto, Japan. 26 October 2016.
  Abstract

  The talk discusses some epistemic interpretations (and applications) of the four-valued modal logic BK studied by Odintsov and Wansing (2010). We show that the logic is suitable for modelling the "reliable source" relation between (possibly inconsistent) bodies of information. It is also shown that this interpretation motivates an extension of BK with plausibility orders.
• 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.
  Abstract

  We outline a paraconsistent version of the propositional dynamic logic PDL, based on the four-valued modal logic BK studied by Odintsov and Wansing (2010). We outline some possible applications of the logic in knowledge representation and databases, and discuss its mathematical properties (completeness, decidability, complexity).
• Substructural logics with a reflexive transitive closure modality. SEGA Project Kickoff Workshop. Prague, Czech Republic. 20 September 2016.
  Abstract

  We add a reflexive transitive closure modality to the modal non-associative commutative full Lambek calculus with a simple negation. Decidability and weak completeness of the resulting system are established and extensions of the results to stronger substructural logics are discussed.
• Hyperintensional propositional logics for everyone. XX. Czechoslovak Symposium on Analytic Philosophy. Prague, Czech Republic. 15 September 2016.
  Abstract

  We put forward a general framework for hyperintensional propositional logics that subsumes other hyperintensional frameworks (syntactic, based on impossible worlds, based on structured propositions) as special cases. The framework generalises the neighbourhood semantics for classical modal logics. Instead of associating formulas of the language with propositions (sets of possible worlds) directly, we introduce a (further unspecified) set of hyperintensions and define two functions: a meaning function that associates every formula with a hyperintension, and the intension function that associates every hyperintension with a proposition. The special cases are obtained by specifying the set of hyperintensions.
• Propositional dynamic logic with Belnapian truth values. Advances in Modal Logic 2016. Budapest, Hungary. 31 August 2016.
  Abstract

  We introduce a four-valued version of the propositional dynamic logic PDL, based on the four-valued modal logic BK studied by Odintsov and Wansing (2010). The logic is motivated by possible applications in inconsistency-handling, mainly in knowledge representation and databases. Some basic mathematical properties of the logic are discussed (completeness and decidability).
  - Slides
• Non-classical PDL on the cheap. Logica 2016. Hejnice, Czech Republic. 21 June 2016.
  Abstract

  Many-valued generalisations of the propositional dynamic logic PDL are motivated by possible applications in algorithmic inconcictency-handling (e.g., in knowledge representation and databases). Yet, such versions of PDL have been studied only scarcely. We present a simple approach to obtain PDL with a strong negation, namely, by introducing a negative modality. It is shown that such a modality is expressible already in the standard PDL.

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.