Intuitionistic modal logics with coreflection

Add to your list(s) Download to your calendar using vCal

• Iris van der Giessen (Utrecht University)
• Thursday 23 June 2022, 14:00-15:00
• LG23, SoCS and Zoom (see abstract for link).

If you have a question about this talk, please contact Anupam Das.

The coreflection principle is the modal formula A → [] A. It does not have a meaningful classical interpretation, but in an intuitionistic setting it has applications in epistemic logic, provability logic and lax logic. I would like to zoom in to intuitionistic strong Löb logic (iSL) and intuitionistic Gödel-Löb logic (iGL, which is iSL without coreflection). I’ll discuss (terminating) sequent calculi and Kripke semantics.

Joint work with Rosalie Iemhoff.

=== Zoom details ===

https://bham-ac-uk.zoom.us/j/81873335084?pwd=T1NaUFg2U1l6d0RLL2RlTzFBam1IUT09

Passcode: 217 Meeting ID: 818 7333 5084

This talk is part of the Lab Lunch series.

This talk is included in these lists:

• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• LG23, SoCS and Zoom (see abstract for link)
• Lab Lunch
• Theoretical computer science seminar
• computer sience

Note that ex-directory lists are not shown.