Events and news relevant to the Laboratory for Foundations of Computer Science

[Ohad Kammar <ohad.kammar@ed.ac.uk>]

Hi,

We will start shortly:

  Tuesday, 21 Apr, 4.10pm

  Ian Shillito, University of Birmingham

  This seminar is hybrid.

  

  Venue: IF G.03

  

  To attend remotely:

  URL: https://ed-ac-uk.zoom.us/j/87333184614

  Password: CQTzjQ4V

If you'd like to meet Ian during his visit, please reach out to him directly

or coordinate with Nachi Valliappan <nachi.v@ed.ac.uk>

We're synchronising the seminar time with the teaching timetable, and

plan to start the talk at the advertised time, so please arrive a minute or two

earlier.

In detail:

----------------------------------------------------------------------

Ian Shillito, University of Birmingham

https://scholar.google.com/citations?hl=en&user=Jv4plaAAAAAJ

  Tue, 21 Apr, 4.10pm

  Venue: IF G.03

  Remote participation:

  URL: https://ed-ac-uk.zoom.us/j/87333184614

  Password: CQTzjQ4V

Title: Semantic adventures in intuitionistic modal logic

Abstract

Modal logics extend classical logic with unary connectives [] and <>,

called modalities, which received wide-ranging interpretations

across knowledge, time, computation, or obligation. An immensely

fruitful framework for the study of these logics is the Kripke

semantics: properties of many interesting modal logics can be

examined on the specific class of frames these logics correspond to. On

top of providing models, the Kripke semantics provided solutions to

the notoriously difficult proof theory of these logics.

In this talk, I will present some answers to the question “What happens

if you swap classical logic by intuitionistic logic?”. I will notably

elaborate on a foundational intuitionistic version of the Kripke

semantics, its correspondence theory, how it allows to answer

questions about <>-free fragments of these logics, and how it can help

proof-theorists once more.

----------------------------------------------------------------------

Upcoming seminars:

------------------

05 May: Greg Restall, University of St Andrews

26 May: Dominic Mulligan, Amazon Web Services, Cambridge: Nitro Isolation Engine:

        formally verifying a production hypervisor

If you would like to propose a speaker, or speak yourself, please contact me.

The seminar webpages:

http://web.inf.ed.ac.uk/lfcs/events/lfcs-seminars

Yours,

Ohad.

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.