Back to: Research Training Group in Logic and Its Application

RTG in Logic and Its Application: Publications and Presentations

Papers

Preprints

  • A. Chirvasitu and A. Kornell, A new characterization of Kac-type discrete quantum groups. [arXiv]
  • J. Harding and A. Wilce, A primer on probabilistic models, submitted to Studies in Systems, Decision, and Control, V. Kreinovich, W. Yamaka, and S. Leurcharusmee Eds., Springer. [PDF]
  • J. Harding, G. Jenca and Bert Lindenhovius, From Orthoposets to Orthomodular Posets, [arXiv]
  • J. Harding and J. He, Normed abelian groups and vector bundles, Invited chapter for a volume in the Springer book series Outstanding Contributions to Logic to honor Maria Luisa Dalla Chiara, Ed.s Giuntini, Paoli, Sergioli.
  • J. Harding and A. Wilce, Classical explanations in (and of) probabilistic theories, arXiv 2603.05627
  • J. Harding and A. Wilce, Order unit spaces and probabilistic models, arXiv 2603.05628
  • J. Harding, Conditional expectation from a quantum perspective, a brief introduction, submitted to Systems, Decision, and Control, N. Thatch, V. Kreinovich, D. Ha, and N. Trung Eds., Springer. [PDF]
  • M. Hayes, T. Jess, A. Kornell, and R. Salinas Schmeis, Vertex-transitive quantum graphs. [arXiv]
  • 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]
  • A. Kornell and B. Lindenhovius, Quantum graphs of homomorphisms. [arXiv]
  • I. Shapirovsky and V. Sliusarev. On pre-local tabularity above S4 × S4. Submitted to ZML: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. [arXiv]
  • B. Olberding and G. Secreti, An Introduction to the Patch Topology, in Rings and Polynomials - Algebraic, Number Theoretic, and Topological Topics in Ring Theory, Springer, to appear.
  • G. Agnew, On Local Finiteness of Modal K4 Algebras. [arXiv]
  • G. Bezhanishvili, L. Carai, and P. J. Morandi. Duality theory for bounded lattices: a comparative study. [arXiv]
  • J. Harding and R. 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. Pacific J. Math, to appear.

Publications

  • G. Agnew, U. Gutierrez-Hougardy, J. Harding, I. Shapirovsky, J. West. On distance logics of Euclidean spaces, Accepted to Studia Logica. [arXiv]
  • G. Agnew, On Local Finiteness of Modal K4 Algebras. Accepted to Advances in Modal Logic (AiML) 2026. [arXiv:2606.02941]
  • A. Allen and A. Kornell, The quantum Ramsey numbers QR(2, k), Linear and Multilinear Algebra 73 (2025), no. 18, 3959–3964. [DOI]
  • Bezhanishvili, L. Carai, and P. J. Morandi. Duality theory for bounded lattices: a comparative study. Accepted for publication in Dissertationes Mathematicae. [arXiv]
  • 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 and R. Salinas-Schmeis, Remarks on orthogonality spaces, To appear in the Inter. J. of Theoret. Phys. [PDF]
  • J. Harding and I. Shapirovsky. On modal logics of connectedness in metric spaces. To appear in Advances in Modal Logic 2026 proceedings, EPTCS.
  • J. Harding, J. McDonald and M. Peinado, Monadic ortholattices: completions and duality. Algebra Universalis 86 (2025), Article 11. [PDF]
  • W. Heinzer, K. A. Loper, B., Olberding, M. Toeniskoetter, Interval rings, submitted May 2025. Pacific J. Math, to appear.
  • A. Kudinov and I. Shapirovsky. Filtrations for wK4 and its relatives. Studia Logica (2025). [DOI]
  • B. Olberding and E. Walker, Geometry of lines asymptotic to a pencil of conics. Aequat. Math. 99 (2025), 2423–2456.
  • I. Shapirovsky. Sufficient conditions for local tabularity of a polymodal logic. The Journal of Symbolic Logic. Published online 2025:1-26. [DOI] 
  • I. Shapirovsky. Generalizations of the finite height criterion for local tabularity. The Legacy of A.V. Kuznetsov in Logic, Algebra and the Foundations of Mathematics, Trends in Logic, volume 71. To appear.  
  • I. Shapirovsky and V. Sliusarev. Locally tabular products of modal logics. The Journal of Symbolic Logic, pages 1–26, 2026. Published online by Cambridge University Press: 10 April 2026. [DOI]

Talks

For joint works, * indicates the speaker.

2026

  • G. Agnew, Explorations into the Modal Logic of Quantum Relations, Quantum Working Seminar, New Mexico State University, May 8, 2026.
  • G. Agnew. On Local Finiteness of Modal K4 Algebras. The 35th Joint NMSU/UTEP Workshop on Mathematics, Computer Science, and Computational Sciences. NMSU, Las Cruces, New Mexico, April 11, 2026.
  • G. Agnew. On Local Finiteness of Modal Algebras. The Undergraduate Research & Creative Arts Symposium (URCAS), New Mexico State University, Las Cruces, April 17, 2026.
  • G. Agnew. On Distance Logics of Euclidean Spaces. BLAST 2026, May 18-21, 2026, Baylor University.
  • G. Agnew, T. Jess, D. Langevin*, R. Salinas. Regular Quantum Graphs in M3(C). The Undergraduate Research & Creative Arts Symposium (URCAS), New Mexico State University, Las Cruces, April 17, 2026.
  • G. Bezhanishvili and A. Kornell*. The category of topological spaces and open maps does not have products. BLAST 2026, May 18-21, 2026, Baylor University.
  • J. Harding, R. Salinas Schmeis*. Remarks on Orthogonality Spaces. BLAST 2026, May 18-21, 2026, Baylor University.
  • G. Jenca, J. Harding*, and B. Lindenhovius. From Orthoposets to Orthomodular Posets. BLAST 2026, May 18-21, 2026, Baylor University.
  • J. Harding* and A. Wilce, A primer on probabilistic models, Thailand Econometrics Society, Chiang Mai, January 2026.
  • J. Harding* and A. Wilce, Conditional expectation from a quantum perspective, a brief introduction, ECONVN2026, Hanoi, January 2026.
  • M. Hayes, T. Jess*, A. Kornell, and R. Salinas Schmeis. Regular Quantum Graphs. BLAST 2026, May 18-21, 2026, Baylor University.
  • T. Jess, Zero Error Communication, Graduate Student Seminar, New Mexico State University, February 26, 2026.
  • T. Jess, Zero Error Communication, Quantum Working Seminar, New Mexico State University, February 27, 2026.
  • A. Kornell, Algebra Homomorphisms in Quantum Information Theory, Algebra Seminar, University of California, Irvine, February 19, 2026.
  • A. Kornell, Quantizing Discrete Structures, North Atlantic Noncommutative Geometry Seminar, April 22, 2026.
  • B. Olberding, Patch bundles of subrings, AMS Central Regional Meeting, Fargo, ND, April 2026.
  • B. Olberding, The unexpected geometry of four points, colloquium, Colorado College, April 2026.
  • R. Salinas Schmeis, Antisymmetric Operator Algebras, Quantum Working Seminar, New Mexico State University, April 10, 2026.
  • R. Salinas Schmeis, Quantum Posets, Quantum Working Seminar, New Mexico State University, April 17, 2026.
  • R. Salinas Schmeis. Partitioning Posets into ω-Chains. The 35th Joint NMSU/UTEP Workshop on Mathematics, Computer Science, and Computational Sciences.  NMSU, Las Cruces, New Mexico, April 11, 2026.
  • I. Shapirovsky. Generalizations of the Finite Height Criterion for Local Tabularity. BLAST 2026, May 18-21, 2026, Baylor University.


2025

  • G. Agnew*, U. Gutierrez-Hougardy, J. Harding, I. Shapirovsky, J. West. Modal Logic of Closeness in Real and Rational Spaces. 33d Joint UTEP/NMSU Workshop on Mathematics, Computer Science, and Computational Sciences, NMSU, April 12, 2025.
  • G. Agnew, Modal Logic of Quantum Relations, Graduate Student Seminar, New Mexico State University, October 14, 2025.
  • G. Agnew, Quantum graphs, 34th Joint UTEP/NMSU Workshop on Mathematics, Computer Science, and Computational Sciences, University of Texas at El Paso, November 1, 2025.
  • 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, R. Salinas Schmeis, Two remarks on orthogonality spaces, talk at the IQSA Intermediate Meeting, Tropea Italy, June 2025.
  • J. Harding*, R. Salinas Schmeis, Remarks on Orthogonality Spaces, Fall Western Sectional Meeting of the AMS, U. Denver, August 23-24, 2025.
  • 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.
  • T. Jess, 3-regular Quantum Graphs in M_3(C), Graduate Student Seminar, New Mexico State University, September 16, 2025.
  • A. Kornell, Modal and Tense Operators on a Complete Boolean Algebra, AMS Fall Western Sectional Meeting, University of Denver, August 24, 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, New Mexico State University, Geometry and Topology Seminar, 2025
  • D. Langevin, Basic Graph Theory and Quantum Analogs, 34th Joint UTEP/NMSU Workshop on Mathematics, Computer Science, and Computational Sciences, University of Texas at El Paso, November 1, 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.
  • R. Salinas Schmeis. A Structural Difference in The Orthogonality Spaces of ℝ3 and ℂ3. The Undergraduate Research & Creative Arts Symposium (URCAS), New Mexico State University, Las Cruces, April 25, 2025.
  • R. Salinas Schmeis, A Structural Difference in The Orthogonality Spaces of R^3 and C^3, Graduate Student Seminar, New Mexico State University, September 30, 2025.
  • R. Salinas Schmeis, Structural Properties of Graphs and the Universal Difference Property, Graduate Student Seminar, New Mexico State University, October 7, 2025.
  • R. Salinas Schmeis, Classification of 3-regular Quantum Graphs in M_3(C), 34th Joint UTEP/NMSU Workshop on Mathematics, Computer Science, and Computational Sciences, University of Texas at El Paso, November 1, 2025.
  • I. Shapirovsky, On modal algebras of relations in metric spaces. New Mexico State University, Algebra Seminar, October 2025.
  • 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.

2024


2023

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

 

RTG Courses

  • Spring 2026. J. Harding. Lattice Theory.
  • Spring 2026. Andre Kornell. Proof Assistants.
  • Fall 2025. B. Olberding. Duality in Algebra and Logic.
  • Fall 2024. A. Kornell. Mathematics of Quantum Information.