New Mexico State University

RTG in Logic and Its Application: Publications and Presentations 

Papers

Preprints

• G. Agnew, U. Gutierrez-Hougardy, J. Harding, I. Shapirovsky, J. West. On distance logics of Euclidean spaces, submitted to Studia Logica. [arXiv]
• John Harding and Remi Salinas-Schmeis, Remarks on orthogonality spaces, submitted to the Inter. J. of Theoret. Phys. [PDF]
• 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. [arXiv]
• W. Heinzer, K. A. Loper, B., Olberding, M. Toeniskoetter, Interval rings, submitted May 2025. 
• A. Kudinov and I. Shapirovsky. Filtrations for wK4 and its relatives, submitted to Studia Logica. [arXiv]
• I. Shapirovsky and V. Sliusarev. Locally tabular products of modal logics, submitted to Journal of Symbolic Logic. [arXiv] 

Publications

• L. Cossu and B. Olberding. Realization of spaces of commutative rings. J. London Math. Soc., 111: e70175 (2025). [DOI]
• J. Harding and A. Kornell, Completely hereditarily atomic OMLs, Math. Slovaca 74 (2024), no. 5, 1107-1126. [PDF]
• J. Harding, J. McDonald and M. Peinado, Monadic ortholattices: completions and duality, submitted to Alg. Univ. [PDF]
• I. Shapirovsky. Sufficient conditions for local tabularity of a polymodal logic. The Journal of Symbolic Logic. Published online 2025:1-26. [DOI]

Talks

For joint works, * indicates the speaker. 

• 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.
• G. Agnew*, U. Gutierrez-Hougardy, and J. West. Modal Logic of Closeness in Euclidean Spaces. The Undergraduate Research & Creative Arts Symposium (URCAS), New Mexico State University, Las Cruces, April 25, 2025.
• J. Harding, Subalgebras of orthomodular lattices, Colloquium talk at UTEP, April 2024.
• J. Harding, Quantum monadic algebras. The 2024 North American Annual Meeting of the Association for Symbolic Logic, Iowa State University, Ames, May 14-17, 2024.
• J. Harding, Subalgebras of OMLs, talk at the International Quantum Structures Association conference, Brussels, July 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.
• H. Himelright* and 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.
• H. Himelright* and A. Zerwekh*. On Computing Quotients of Finite Kripke Frames. The Undergraduate Research & Creative Arts Symposium (URCAS), New Mexico State University, Las Cruces, April 25, 2025.
• A. Kornell. On the category of quantum graphs, Workshop on Quantum Graphs, Saarland University. 2025
• A. Kornell. Entropy in multimatrix algebras, NMSU, Mathematical Department Colloquium, 2025
  
• A. Kornell. Quantum homotopy, NMSU, Geometry and Topology Seminar, 2025
• B. Olberding. Realization of spaces of commutative rings, AMS Southeastern Regional Meeting, Clemson, SC, March 2025. 
• B. Olberding. Representation of integrally closed rings as intersections of valuation rings, Algebra Across Time Conference, Purdue University, April 2025.
• Remi Salinas Schmeis. A Structural Difference in The Orthogonality Spaces of ℝ³ and ℂ³. The Undergraduate Research & Creative Arts Symposium (URCAS), New Mexico State University, Las Cruces, April 25, 2025.
• I. Shapirovsky, On the finite model property of subframe pretransitive logics. The 2024 North American Annual Meeting of the Association for Symbolic Logic, Iowa State University, Ames, May 14-17, 2024.
• J. West. Farness logics of Euclidean spaces. The 2025 North American Annual Meeting of the Association for Symbolic Logic.  New Mexico State University, Las Cruces, May 13-16, 2025

RTG Courses

• Fall 2025. B. Olberding. Duality in Algebra and Logic
• Fall 2024. A. Kornell. Mathematics of Quantum Information