Some talks
-
On expressibility and axiomatization of modal logics of distances
Joint work with Gabriel Agnew, Uzias Gutierrez-Hougardy, John Harding, Hannah Himelright, Jackson West, and Andrew Meléndrez Zerwekh.
The 32nd Joint NMSU/UTEP Workshop on Mathematics, Computer Science, and Computational Sciences, University of Texas at El Paso, November 2, 2024
[Abstract]
[Slides]
-
On the finite model property of subframe pretransitive logics
Based on joint work with A. V. Kudinov.
The 2024 Association for Symbolic Logic Annual Meeting
at Iowa State University in Ames, Iowa, USA, May 14-17, 2024.
[Abstract]
[Slides]
-
Decidability of modal logics of non-k-colorable graphs.
WoLLIC (Workshop on Logic, Language, Information and Computation) at Dalhousie University in Halifax, Nova Scotia, Canada, July 11–14, 2023
[Paper]
[Slides]
-
Locally finite polymodal logics and Segerberg – Maksimova criterion
Logic Colloquium 2023 (European Summer Meeting of the Association for Symbolic Logic) at University of Milan, Italy, June 5-9, 2023.
[Abstract]
[Slides]
-
Sufficient conditions for local finiteness of a polymodal logic
AMS Special Session on Algebraic Structures in Topology, Logic, and Arithmetic, UTEP, El Paso, Texas, USA,
September 17, 2022.
[Paper]
[Slides]
-
Medvedev’s logic and products of converse well orders.
Joint work with D. I. Saveliev.
Advances in Modal Logic, Rennes, France, August 22-25, 2022.
[Paper]
[Slides]
-
Applications of filtrations: PDLization and local finiteness.
DOCToR: Duality, Order, (Co)algebras, Topology, and Related topics, Online, July 7-9, 2021.
[Slides]
-
Modal decision problems on sums of Kripke frames
Fifth Workshop on Proof Theory, Modal Logic and Reflection Principles,
Universitat de Barcelona, Spain, November 5-8, 2019
[Paper]
[Slides]
-
Modal logics of finite direct powers of ω have the finite model property
26th Workshop on Logic, Language, Information and Computation (WoLLIC 2019), Utrecht University, The Netherlands, July 2 - 5, 2019
[Paper]
[Slides]
-
Locally tabular polymodal logics
8th International Conference on Topology, Algebra, and
Categories in Logic (TACL 2017). 26–30 June 2017, Prague, Czech Republic.
[Abstract]