RTG in Logic and Its Application: Publications and Presentations
Publications
- G. Agnew, U. Gutierrez-Hougardy, J. Harding, I. Shapirovsky, J. West. On distance logics of Euclidean spaces, submitted to Studia Logica.
- G. Bezhanishvili, L. Carai, P. J. Morandi. Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality (with Guram Bezhanishvili and Luca Carai), Theory and Applications of Categories, Vol. 41, No. 54, 2024, pp 1937-1982.
- J. Harding, J. McDonald and M. Peinado, Monadic ortholattices: completions and duality, submitted to Alg. Univ.
- J. Harding and A. Kornell, Completely hereditarily atomic OMLs, submitted to Math. Slovaca.
- W. Heinzer, K. Loper, B. Olberding and M. Toenskoetter, Connectedness and integrally closed overrings of two-dimensional regular local rings, with W. Heinzer, K. Loper, submitted to J. Algebra.
- A. Kudinov and I. Shapirovsky. Filtrations for wK4 and its relatives, submitted to Studia Logica.
- I. Shapirovsky. Sufficient conditions for local tabularity of a polymodal logic. The Journal of Symbolic Logic. Published online 2025:1-26. doi:10.1017/jsl.2024.62
- I. Shapirovsky and V. Sliusarev. Locally tabular products of modal logics, manuscript.
Talks
- G. Agnew, U. Gutierrez-Hougardy, J. Harding, H. Himelright, I. Shapirovsky, J. West, A. Zerwekh. On expressibility and axiomatization of modal logics of distances. 32nd Joint UTEP/NMSU Workshop on Mathematics, Computer Science, and Computational Sciences, University of Texas at El Paso, November 2, 2024.
- G. Agnew, U. Gutierrez-Hougardy, J. Harding, I. Shapirovsky, J. West. Modal logic of closeness in Euclidean spaces. 32nd Joint UTEP/NMSU Workshop on Mathematics, Computer Science, and Computational Sciences, University of Texas at El Paso, November 2, 2024.
- G. Agnew, U. Gutierrez-Hougardy, J. Harding, I. Shapirovsky, J. West. Modal logic of farness in Euclidean spaces. 32nd Joint UTEP/NMSU Workshop on Mathematics, Computer Science, and Computational Sciences, University of Texas at El Paso, November 2, 2024.
- G. Agnew, U. Gutierrez-Hougardy, J. Harding, I. Shapirovsky, J. West. Some axiomatizations for modal logics of farness. 32nd Joint UTEP/NMSU Workshop on Mathematics, Computer Science, and Computational Sciences, University of Texas at El Paso, November 2, 2024.
- J. Harding and A. Kornell, Completely hereditarily atomic OMLs, SSAOS, Stara Lesna, September 2023: Talk I | Talk II
- J. Harding and A. Kornell, Completely hereditarily atomic OMLs, colloquium talk at Czech Technical University, Prague, August 2023.
- J. Harding, Subalgebras of orthomodular lattices, Colloquium talk at UTEP, April 2024.
- J. Harding, Quantum monadic algebras, talk at the ASL annual meeting, Ames IA, May 2024.
- H. Himelright, A. Zerwekh. On computing quotients of finite Kripke frames. 32nd Joint UTEP/NMSU Workshop on Mathematics, Computer Science, and Computational Sciences, University of Texas at El Paso, November 2, 2024.
- I. Shapirovsky, On the finite model property of subframe pretransitive logics, talk at the ASL annual meeting, Ames IA, May 2024.
