Invited Talks
Topological semantics of the predicate modal calculus $\sf{QGL}$ extended with non-well-founded proofs
Daniyar Shamkanov1
1 Steklov Mathematical Institute and National Research University Higher School of Economics