Seminars relevant to Informatics

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

Hi,

We'll have an LFCS seminar next week:

  Tuesday, 10 Nov, 4.10pm

  Jim de Groot, University of Bern

  The seminar will take place in-person only.

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:

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

Jim de Groot, University of Bern

https://www.jimdegroot.com

  Tue, 10 Nov, 4.10pm

  Venue: IF G.03

Title: Constructive and intuitionistic modal logic

Abstract

In this talk I will give a brief history of intuitionistic modal

logic.  We will have a look at some of the first attempts of finding

intuitionistic counterparts of classical modal logics, how they were

motivated, and how the field of intuitionistic modal logic has

developed. We will uncover two main flavours of such logics:

constructive modal logics and intuitionistic modal logics, and we will

see that this pattern extends beyond normal modalities to monotone

modal operators and even conditional operators.

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

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.