|
The aim of
this workshop is to bring together researchers
interested in all areas of theory and applications
of modal logics.
We invite
contributed talks, 30 minutes long, on various
topics in modal logics.
Click here to download the workshop poster.
Click here to
download the" Various Aspects of Modality"
slides.
The photos of the
workshop can be downloaded from
@IPM_Isfahan Telegram channel.
Organizers:
Mojtaba Aghaei
(Isfahan University of Technology and IPM)
Meghdad Ghari
(IPM)
Invited Speakers:
S. Mojtaba Mojtahedi (University of
Tehran)
The Preservativity Logic
(Abstract )
(Slides)
Saeed
Salehi (University of Tabriz and IPM)
Turning Yablo's Paradoxes into Modality
Theorems
(Abstract )
(Slides)
Thomas Studer (University of Bern)
The Proof Theory of Common Knowledge
(Abstract )
(Slides)
Tutorial:
Thomas Studer (University of Bern)
Justification Logic
(Abstract )
(Slides)
Contributed Talks:
Ahmad Karimi (Behbahan
Khatam Alanbia University of Technology)
Yabloesque Paradoxes and Modal Logic
(Abstract )
(Slides)
Omid Yousefi Kia
(Shahid Bahonar University of Kerman)
K-modal BL-logic and Some of Its Extensions
(Abstract )
(Slides)
Schedule of talks:
|
Time |
Title |
Speaker |
|
8:30-8:55 |
Registration |
|
8:55-9:00 |
Opening Remarks |
|
9:00-10:00 |
Justification Logic |
Thomas Studer |
|
10:00-10:30 |
Coffee break |
|
10:30-11:30 |
The Preservativity Logic |
S. Mojtaba Mojtahedi |
|
11:30-12:00 |
K-modal BL-logic and Some of Its
extensions
|
Omid Yousefi Kia
|
|
12:00-14:00 |
Lunch break |
|
14:00-15:00 |
The Proof Theory of Common Knowledge |
Thomas Studer |
|
15:00-15:30 |
Coffee break |
|
15:30-16:30 |
Turning Yablo's Paradoxes into
Modality Theorems |
Saeed Salehi |
|
16:30-17:00 |
Yabloesque Paradoxes and Modal Logic |
Ahmad Karimi |
Click
here to download the workshop program.
Registration:
The
workshop is free for everyone to attend,
subject to registration. For registration
please fill out the Registration
Form and send it to
ghari@ipm.ir with the subject: "Workshop
on Various Aspects of Modality".
Deadlines:
Deadline for registration: May 10, 2016
(21 Ordibehesht 1395)
(Extended)
Deadline for paper or abstract submission: April
19, 2016 (31 Farvardin 1395)
Accomodation:
IPM-Isfahan
is located at the campus of the University
of Isfahan; it is at the opposite side of
the guest house of the university. Some
rooms of the guest house have been reserved
for the workshop.
Those
participants
who want to apply for room in Isfahan
University Guest House
should
check the corresponding box in the
registration form.
For more information click
here.
Contact:
Meghdad Ghari
IPM-Isfahan
Phone: 0098 (31)
37932319
Email:
ghari@ipm.ir
Address:
IPM-Isfahan
Branch,
University of Isfahan,
Isfahan 81745-157, Iran
Phone: 0098 (31) 3793 2319
Email:
ipm-isfahan@ipm.ir
http://math.ipm.ac.ir/Isfahan/
|
