Events at The University of Manchester
  • University home
  • Events
  • Home
  • Exhibitions
  • Conferences
  • Lectures and seminars
  • Performances
  • Events for prospective students
  • Sustainability events
  • Family events
  • All Events

Logic seminar: Sonia Marin (University of Birmingham)

Dates:22 November 2023
Times:15:15 - 16:15
What is it:Seminar
Organiser:Department of Mathematics
Who is it for:University staff, External researchers, Adults, Alumni, Current University students
See travel and contact information
Add to your calendar

More information

  • Department of Mathematics

Other events

  • In category "Seminar"
  • In group "(Maths) Maths seminar series"
  • In group "(Maths) Logic"
  • By Department of Mathematics

Title: Proof theory for intuitionistic modal logic, new developments.

Abstract: In his thesis in 1994, Simpson gave a comprehensive presentation of the field of intuitionistic modal logic(s) that was starting to emerge and equipped it with a general proof-theoretic framework based on labelled deduction. One question that remained open since then was the finite-model property and decidability of transitive intutionistic modal logics. By extending Simpson's original labelled framework and turning on their heads the traditional proof-theoretic decision procedures, we recently showed that the intuitionistic modal logic of transitive reflexive frames (IS4) is indeed decidable and satisfies the finite model property.

In this talk, I will give an introduction to the power of labelled deduction for intuitionistic modal logics and review some recent applications, including the decidability of IS4, and covering some joint works with Das, van der Giessen, Girlando, Kuznets, Morales and Straßburger.

Travel and Contact Information

Find event

Frank Adams 1 (and zoom, link in email)
Alan Turing Building
Manchester

 

Contact us

  • +44 (0) 161 306 6000

Find us

The University of Manchester
Oxford Rd
Manchester
M13 9PL
UK

Connect with the University

  • Facebook page for The University of Manchester
  • X (formerly Twitter) page for The University of Manchester
  • YouTube page for The University of Manchester
  • Instagram page for The University of Manchester
  • TikTok page for The University of Manchester
  • LinkedIn page for The University of Manchester

  • Privacy /
  • Copyright notice /
  • Accessibility /
  • Freedom of information /
  • Charitable status /
  • Royal Charter Number: RC000797
  • Close menu
  • Home
    • Featured events
    • Today's events
    • The Whitworth events
    • Manchester Museum events
    • Jodrell Bank Discovery Centre events
    • Martin Harris Centre events
    • The John Rylands Library events
    • Exhibitions
    • Conferences
    • Lectures and seminars
    • Performances
    • Events for prospective students
    • Sustainability events
    • Family events
    • All events