منطق در ايران

Workshop on Modal Logic and its Application in Computer Science. 
September 17-21, 2016, Tehran, Iran.
Program (http://mscslogic.ut.ac.ir/wml)

Saturday 17 Sep.

Sunday 18 Sep.

Monday 19 Sep.

Tuesday 20 Sep.

Wednesday 21 Sep.

09:00-10:00

Tutorial

Mehrnoosh
Sadrzadeh

Algebra and Proof Theory of Categorial Grammars and their Modal Extensions

Tutorial 



Zeinab Bakhtiari
and
Hans van Ditmarsch

Dynamic Epistemic Logic

Registration and opening

Hans van Ditmarsch 
Epistemic Gossip Protocols

Philippe Balbiani
Solving Logical Equations

10:00-10:30

Break

Break

Break

10:30-11:30

Yde Venema
Modal Automata: studying 
Fixpoint logics one step at a time

Mehrnoosh Sadrzadeh 
Vector Space Semantics for Lambek Calculus

Hans Van Ditmarsch
Quantifying over information change

11:30-12:00

Break

Break

Break

12:00-13:00

Dick de Jongh 
Subminimal Negation

Yde Venema
Axiomatizing modal fixpoint logics

Mojtaba Aghaei

13:00-14:45

Lunch

14:45-15:45

Tutorial 



Fatemeh Seifan
and
Yde Venema

Logic, Automata and Games

Tutorial 



Zeinab Bakhtiari
and
Hans van Ditmarsch

Dynamic Epistemic Logic

Alessandra Palmigiano
Sahlqvist Correspondence via Duality and its Applications

Excursion

Dick de Jongh 
NNIL-formulas revisited

15:45-16:00

Break

Break

16:00-17:00

Mojtaba Mojtahedi
Intuitionistic modal logic: 
Aspects of Provability

PhD Student

PhD Student

17:00-17:10

Break

Break

17:10-17:40

Pere Pardo
t-DeLP: Temporal Defeasible 
Logic Programming

Zeinab Bakhtiari

Algebraic Semantics of Refinement Modal Logic

17:40-18:10

PhD Student

Fateme Shirmohammadzade
Weak Subintuitionistic Logics