Mashiath Khan

collaborators

2 papers

math.LO2026

The Monadic Grzegorczyk Logic

Guram Bezhanishvili, Mashiath Khan

We develop a semantic criterion for determining whether a given monadic modal logic axiomatizes the one-variable fragment of a predicate modal logic. We show that the criterion app…

math.LO2025

Finite axiomatization of $GL \times S5$ and $Grz \times S5$

Guram Bezhanishvili, Mashiath Khan

We prove that $GL \times S5$ is product matching, and that $Grz \times S5$ is axiomatizable by adding to $[Grz, S5]$ the GÃ¶del…

The Monadic Grzegorczyk Logic

Finite axiomatization of GL×S5 and Grz×S5

Finite axiomatization of $GL \times S5$ and $Grz \times S5$