RTG in Logic and Its Application: Publications and Presentations
Publications
- 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, submitted to Journal of Symbolic Logic.
- I. Shapirovsky and V. Sliusarev. Locally tabular products of modal logics, manuscript.
Talks
- 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.
- I. Shapirovsky, On the finite model property of subframe pretransitive logics, talk at the ASL annual meeting, Ames IA, May 2024.
