Program for Friday, August 23rd: Talk View

PROGRAM FOR FRIDAY, AUGUST 23RD: TALK VIEW

Days:

previous day

all days

View: with abstracts session overview

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

09:00-10:00

Modal Logics in Dynamical Systems

David Fernández-Duque

10:30-11:00

The Goldblatt-Thomason theorem for derivative spaces

Nick Bezhanishvili, David Fernandez Duque, Reihane Zoghifard

11:00-11:30

Strong Kripke completeness of the closed fragment of GLP

Juan Pablo Aguilera, Grigorii Stepanov

11:30-12:00

A tree rewriting system for the Reflection Calculus

Sofía Santiago-Fernández, Joost Johannes Joosten, David Fernández

12:00-12:30

Logics of polyhedral reachability

L. Bussi, N. Bezhanishvili, V. Ciancia, D. Fernandez Duque, D. Gabelaia

14:30-15:00

Better Bounded Bisimulation Contractions

Thomas Bolander, Alessandro Burigana

15:00-15:30

Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic

Yiwen Ding, Krishna Manoorkar, Mattia Panettiere, Ruoding Wang

15:30-16:00

A First-order Modal Logic of Strict Implication on Varying-Domain Models

Yuanzhe Yang

16:00-16:30

Some General Completeness Results for Propositionally Quantified Modal Logics

Yifeng Ding, Yipu Li

17:00-17:30

Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic

Mojtaba Mojtahedi, Konstantinos Papafilippou

17:30-18:00

The Interpolant Existence Problem for Weak K4 and Difference Logic

Agi Kurucz, Frank Wolter, Michael Zakharyaschev

10:00-10:30 Coffee Break

12:30-14:30 Lunch Break

16:30-17:00 Coffee Break