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

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

Hi,

Reminding about today's LFCS seminar, kicking off Nachi's modal logic themed 
series:

  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.