EVENT

MTSS Center Colloquium by Leonardo Pacheco

On Tuesday 30 September, Leonardo Pacheco (Institute of Science Tokyo) will give a talk, "On diamonds in constructive modal logic", for our colloquium at 16:30. Further details can be found below.

Title:

On diamonds in constructive modal logic

Abstract:

We comment on behavior of constructive diamonds in three settings. First,　we review a result of Das and Marin showing that the diamond-free fragment　constructive and intuitionistic variants of the modal logic K do not　coincide. Second, we show that the constructive and intuitionistic variants　of S5 coincide. Last, we show that diamonds are equivalent to double　negation in Artemov and Protopopescu's intuitionistic epistemic logic.

Speaker:

Leonardo Pacheco (Institute of Science Tokyo)

Time/Date:

16:30-September 30 (Tuesday), 2025

Place:

Room 1310A , NII and online

Link:

For the latest information about MTSS Center Colloquium, please see the webpage

https://docs.google.com/document/d/1Qrg4c8XDkbO3tmns6tQwxn5lGHOrBON5LtHXXTpXDeA/edit

Contact:

If you would like to join, please contact by email.
Email :kphalakarn[at]nii.ac.jp