Logic seminar: Alex Kavvos
| Dates: | 12 March 2025 |
|---|
| Times: | 15:00 - 16:00 |
|---|
| What is it: | Seminar |
|---|
| Organiser: | Department of Mathematics |
|---|
| Who is it for: | University staff, External researchers, Adults, Alumni, Current University students |
|---|
|
Title: Two-dimensional Kripke Semantics
Abstract: The study of modal logic has witnessed tremendous development following the introduction of Kripke semantics. However, recent developments in type theory have led to a second way of studying modalities, namely through their categorical semantics. We explore how the two correspond.
Travel and Contact Information
Find event
Frank Adams 1
Alan Turing Building
Manchester
