Recent work:

• Fuzzy bi-Gödel modal logic and its paraconsistent relatives, with S. Frittella, and D. Kozhemiachenko, submitted, 2023.

Journal papers:

• Consistency-Sensitive Epistemic Modalities in Information-Based Semantics, with V. Punčochář, S. Bozdag, and Thomas M. Ferguson, Stud Logica (2024). https://doi.org/10.1007/s11225-024-10115-3. *  

• Crisp bi-Gödel modal logic and its paraconsistent expansion, with S. Frittella, and D. Kozhemiachenko, Logic Journal of the IGPL, 2023;, jzad017, https://doi.org/10.1093/jigpal/jzad017.

• Reasoning with belief functions over Belnap--Dunn logic, with S. Frittella, D. Kozhemiachenko, O. Majer, and S. Nazari, Annals of Pure and Applied Logic, 2023, 103338, ISSN 0168-0072, https://doi.org/10.1016/j.apal.2023.103338.

• Qualitative reasoning in a two-layered framework, with S. Frittella, D. Kozhemiachenko, and O. Majer, IJAR, 2022, https://doi.org/10.1016/j.ijar.2022.12.011.

• Moss logic for ordered coalgebras, with M. Dostál, Logical Methods in Computer Science Volume 18, Issue 3, 2022, pp. 18:1–18:61.

• Theory and application of labelling techniques for interpretability logics, with E. Goris, J.J. Joosten, and Luka Mikec, published online 07 July 2022, https://doi.org/10.1002/malq.202200015, Mathematical Logic Quarterly.

• Relevant propositional dynamic logic. with Tedder, A. Synthese 200, 235 (2022). *

• Proof Theory for Positive Logic with Weak Negation, with A. Colacito, Studia Logica, 108, pp. 649–686 (2020).

• The Logic of Resources and Capabilities, with G. Greco, A. Palmigiano, A. Tzimoulis and N. Wijnberg, The Review of Symbolic Logic Volume 11, Issue 2, June 2018 , pp. 371-410.

• Epistemic Logics for Sceptical Agents, with O. Majer and M. Peliš, Journal of Logic and Computation, Volume 26, Issue 6, 2016, pp. 1815–1841. 

• Proof systems for Moss' coalgebraic logic, with A. Palmigiano and Y. Venema, Theoretical Computer Science 549 (2014), pp. 36-60. 

• Relation lifting, with an application to the many-valued cover modality, with Kurz, A., Petrisan, D., Velebil, J., Logical Methods in Computer Science. Volume 9, Issue 4 (2013).

• On Monotone Modalities and Adjointness, with J. Velebil and Y. Venema,  Mathematical Structures in Computer Science, (21) 2011, pp. 383-416.

• Interpretability in PRA, with  Dick de Jongh and J. Joosten,  Annals of Pure and Applied Logic, 161 (2) 2009, pp. 128-138.

• Uniform interpolation and propositional quantifiers in modal logics, Studia Logica, 85 (1) 2007, pp. 1-31.   

• Monotone sequent calculus and resolution, Commentationes Mathematicae Universitatis Carolinae  Vol. 42, Issue 3 (2001), pp. 575-582. 

Conference papers:

• Bisimulation for Impure Simplicial Complexes, with Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa, in Advances in Modal Logic, 2024.

• Epistemic Logics of Structured Intensional Groups, with I. Sedlár, In Rineke Verbrugge: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023), Oxford, United Kingdom, 28-30th June 2023, Electronic Proceedings in Theoretical Computer Science 379, pp. 113–130.

• Describing and Quantifying Contradiction between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory, with K.B. Manoorkar, O. Majer, D. Kozhemiachenko and S. Frittella, Proceedings of the Thirteenth International Symposium on Imprecise Probability: Theories and Applications, PMLR 215:37-47, 2023. *

• Two-layered logics for paraconsistent probabilities, with S. Frittella, D. Kozhemiachenko and O. Majer, In: Hansen, H.H., Scedrov, A., de Queiroz, R.J. (eds) Logic, Language, Information, and Computation. WoLLIC 2023. Lecture Notes in Computer Science, vol 13923. Springer. https://doi.org/10.1007/978-3-031-39784-4_7.

• Non-standard modalities in paraconsistent Gödel logic, with S. Frittella, and D. Kozhemiachenko, in: Gaggl, S., Martinez, M.V., Ortiz, M. (eds) Logics in Artificial Intelligence. JELIA 2023. Lecture Notes in Computer Science(), vol 14281. Springer, Cham. https://doi.org/10.1007/978-3-031-43619-2_29. *

• Paraconsistent Gödel modal logic, with D. Kozhemiachenko and S. Frittella, In: Blanchette, J., Kovács, L., Pattinson, D. (eds) Automated Reasoning. IJCAR 2022. Lecture Notes in Computer Science, vol 13385. Springer, Cham.

• Constraint tableaux for two-dimensional fuzzy logics, with D. Kozhemiachenko and S. Frittella, at TABLEAUX 2021, LNAI, volume 12842.

• Revisiting Epistemic Logic with Names, with Zoé Christoff and Olivier Roy, in J. Halpern and A. Perea (eds.), TARK 2021,  Electronic Proceedings in Theoretical Computer Science 335, pp. 39–54.

• Belief based on inconsistent information, with S. Frittella, O. Majer and S. Nazari, DaLi 2020: Dynamic Logic. New Trends and Applications , LNCS, volume 12569, pp 68-86, 2020.

• Lindenbaum and Pair Extension Lemma in Infinitary Logics, with P. Cintula and T. Lávička, Proceedings of WoLLIC 2018, LNCS 10944, pp. 130–144, 2018.

• Expressivity of Many-Valued Modal Logics, Coalgebraically, with M. Dostál. Proceedings of WoLLIC 2016: pp. 109-124. 

• Many-Valued Relation Lifting and Moss’ Coalgebraic Logic, with M. Dostál. Algebra and Coalgebra in Computer Science. Berlin: Springer, 2013 (Heckel, R.; Milius, S.), pp. 66-79. Lecture Notes in Computer Science, 8089.

• Distributive substructural logics as coalgebraic logics over posets, with Rostislav Horčík and Jiří Velebil, Advances in Modal Logic, Vol. 9, 2012 pp. 119-142.   

• Relation liftings on preorders and posets, with Alexander Kurz, Daniela Petrişan, and Jiří Velebil, International Conference on Algebra and Coalgebra in Computer Science CALCO 2011, pp. 115-129. 

• Relevant agents, with Ondrej Majer, Michal Peliš, and Greg Restall, Advances in Modal Logic  Vol. 8, 2010, pp. 22-38.  

• A note on uniform interpolation proofs in modal deep inference calculi, International Tbilisi Symposium on Logic, Language, and Computation  2009, pp. 30-45.  

• Proof systems for the coalgebraic cover modality, with Alessandra Palmigiano and Yde Venema, Advances in Modal Logic Vol. 7, 2008, pp. 1-21.

Other:

• Uniform Interpolation in Provability Logics. Liber Amicorum Alberti. A Tribute to Albert Visser. London: College Publications, 2016 - (Eijck van, J.; Iemhoff, R.; Joosten, J.), s. 57-90. Tributes, 30. 

• Smart labels, with Evan Goris and Joost J Joosten, Liber Amicorum for Dick de Jongh, Institute for Logic, Language and Computation UvA, 2004, pp. 1-9.

• FEASIBLE DISJUNCTION PROPERTY AND FEASIBLE INTERPOLATION IN MODAL LOGIC , ITI preprint series MFF UK, 2006.

Thesis:

• Interpolation in modal logics, FF UK, 2006.