Speaker
Daniyar Shamkanov
Steklov Mathematical Institute and National Research University Higher School of Economics
Talks at this conference:
| Thu, 14:15 |
Topological semantics of the predicate modal calculus $\sf{QGL}$ extended with non-well-founded proofs Invited Talks |