Schedule

VENUE

 Professor Anita Banerjee Memorial Hall, Jadavpur University 

ALL TIMES ARE IN INDIAN STANDARD TIME

• 9:30 am - 10:00 am:      REGISTRATION

• 10:00 am - 11:00 am:     INAUGURAL SESSION

• 11:00 am - 11:30 am:      TEA/COFFEE BREAK

• 11:30 am - 12:30 pm:     INVITED TALK: 

   BAHAREH AFSHARI on Cyclic Proof Theory 

   CHAIRPERSON: AMITA CHATTERJEE

• 12:30 pm - 12:40 pm:    TEA/COFFEE BREAK

• 12:40 pm - 01:30 pm:    CONTRIBUTED TALKS:

  XIAOXUAN FU and ZHIGUANG ZHAO on An Axiomatization of MFO-(M) in finite models

  SAYANTAN ROY and MIHIR CHAKRABORTY on Abstract Model Structures and the Compactness Theorem

  CHAIRPERSON: SUJATA GHOSH

• 01:30 pm - 02:30 am:      LUNCH

• 02:30 am - 03:30 pm:     INVITED TALK: 

     ANDREAS HERZIG on Belief Revision and Modal Logic 

     CHAIRPERSON: MANIDIPA SANYAL

• 03:30 pm - 03:45 pm:      TEA/COFFEE BREAK

• 03:45 pm - 05:25 pm:      CONTRIBUTED TALKS:

    YIHENG WANG, YU PENG and ZHE YU on Finite Model Property of Bull’s Intuitionistic Non-normal Modal Logic with 

Transitivity Axiom

    HAYATO ITO on The Problem of Old Evidence and Inverse Conditionalization

    JIALIANG YAN and QINGYU HE on A logic for instrumental obligation

    XIAOLONG YANG, YI NICHOLAS WANG and THOMAS AGOTNES on Frame Conditions and Collective Agency 

Constraints in Dynamic Epistemic Logic

    CHAIRPERSON: TAMOGHNA SARKAR

• 10:00 am - 11:00 am:     INVITED TALK: 

   FENRONG LIU on Modelling Knowledge-Action Interactions in Cops and Robbers 

   CHAIRPERSON: RUPA BANDYOPADHYAY

• 11:00 am - 11:15 am:       TEA/COFFEE BREAK

• 11:15 am - 12:30 pm:       CONTRIBUTED TALKS:

  DAZHU LI and KATSUHIKO SANO on Finite axiomatization for the hybrid product logics with diagonal constant

  CHENWEI SHI, QIAN CHEN and QINGYU HE on Naming Sets: New Axiomatization of the Modal Logic in the Bimodal Base 

L(R, −R)

  YIWENG DIN and HONGKAI YIN on Semilattice-based Neighborhood Logic

  CHAIRPERSON: MD. AQUIL KHAN

• 12:30 pm - 12:40 pm:      TEA/COFFEE BREAK

• 12:40 pm - 01:30 pm:      CONTRIBUTED TALKS:

    SAEED SALEHI on Heuristic Principles for Arithmetical Theories

    TOMOHIKO INOUE on Hilbert's Axiom of Completeness and his Categoricity

    CHAIRPERSON: LOPAMUDRA CHOUDHURY

• 01:30 pm - 02:30 pm:      LUNCH

• 02:30 pm - 03:30 pm:      PANEL DISCUSSION ON LOGIC EDUCATION:

    JOHAN VAN BENTHEM       

MIHIR CHAKRABORTY

SUJATA GHOSH

    MODERATOR: R. RAMANUJAM

• 03:30 pm - 03:45 pm:      TEA/COFFEE BREAK

• 03:45 am - 05:00 pm:      KEYNOTE TALK: 

     JOHAN VAN BENTHEM on Mathematical Logic meets Philosophy: the case of Beth and Craig

• 05:00 pm - 06:00 pm:      CULTURAL PROGRAMME

• 07:00 pm onwards:       CONFERENCE DINNER @ Raajkutir

• 10:00 am - 11:00 am:     INVITED TALK: 

   KATSUHIKO SANO on Craig Interpolation for Bi-intuitionistic Tense Logic

   CHAIRPERSON: MIHIR CHAKRABORTY

• 11:00 am - 11:15 am:       TEA/COFFEE BREAK

• 11:15 am - 12:30 pm:       CONTRIBUTED TALKS:

  WATARU UMEMURA and KATSUHIKO SANO on Interpolation for Logics of Distributed Knowledge via Bisimulation 

    Products

  RONGSHENG LIANG on The Autonomy and Explanatory Power of the Minimal Model ——Rethinking the Explanatory 

   Dependence Relationship in Scientific Explanation

  YIWENG DIN, KRISHNA MANOORKAR, NI WAYAN SWITRAYNI and RUODING WANG on Defeasible Reasoning on 

   Concepts

   CHAIRPERSON: JAYANTA SEN

• 12:30 pm - 12:40 pm:      TEA/COFFEE BREAK

• 12:40 pm - 01:30 pm:      CONTRIBUTED TALKS:

  ANIRBAN SAHA, JAYANTA SEN and MIHIR CHAKRABORTY on Various implication operators in regular double stone 

    algebra and corresponding logics

    SATORU SUZUKI on Measurement-Theoretic Foundations of Logic of Probabilistic Indiscriminability

CHAIRPERSON: SANKHA S. BASU

• 01:30 pm - 02:30 pm:      LUNCH

• 02:30 pm - 03:45 pm:      CONTRIBUTED TALKS:

    HANOCH BEN-YAMI on ‘There Is’: Logical Investigations into Instantial Sentences

    MATIA VARGAS and FEDERICO FAROLDI on Bilateral Truthmakers for Counterfactuals and Counterpossibles

    SELCUK KAAN TABAKCI on Substructural Solutions to tonk

     CHAIRPERSON: MADHUMITA CHATTOPADHYAYA

• 03:45 pm - 04:00 pm:      TEA/COFFEE BREAK

• 04:00 pm - 05:40 pm:      CONTRIBUTED TALKS:

    DEAN McHUGH on On the Nature of Reasons

    MANIDIPA SANYAL on Necessity in Indian Thought

    SHUBHABRATAA CHAKROBORTY on Buddhist Refutation of the Existence of Creator God: A Logico-Ontological Study

    TSERING NURBOO on Buddhist Logic

    CHAIRPERSON: ABHISHEK A. NOWBAGH

• 05:40 pm onwards:           CLOSING SESSION