2 papers
math.LO2026
On Local Finiteness of Modal K4 Algebras
Gabriel Agnew
We study local finiteness for modal algebras via the tunability of their dual general frames. In particular, we provide a sufficient condition for modal algebras to be lo…
math.LO2025
On distance logics of Euclidean spaces
Gabriel Agnew, Uzias Gutierrez-Hougardy, John Harding +2
We consider logics derived from Euclidean spaces . Each Euclidean space carries relations consisting of those pairs that are, respectively, distance more than 1 apart…