Program for Monday, February 3rd: Talk View

PROGRAM FOR MONDAY, FEBRUARY 3RD: TALK VIEW

Days:

next day

all days

View: with abstracts session overview

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

18:30

19:00

09:15-09:30 Inauguration

09:30-10:30

The Specker-Blatter Theorem: An Application of Logic to Combinatorial Counting

Janos Makowsky

11:00-11:30

Craig Interpolation for Awareness Logics

Kosuke Udatsu, Katsuhiko Sano

11:30-12:00

Semantics of Basic Modal Language via a Rough Set Framework

Md. Aquil Khan, Ranjan

12:05-12:35

Knowable as Knowing How to Inquire

Yiting Wang, Yanjing Wang

12:35-13:05

Monotone Modal Logic beyond Distributivity

Yiwen Ding, Alessandra Palmigiano, Krishna Manoorkar, Ruoding Wang

14:30-15:00

Equivalence of Deterministic Weighted Real-time One-Counter Automata

Prince Mathew, Vincent Penelle, Prakash Saivasan, A V Sreejith

15:00-15:30

Asynchronous transition system games for two processes and their analysis

Nehul Jain, Bharat Adsul

15:50-16:05

Contraction free arithmetic

Swapnil Ghosh, Lev Beklemishev, Daniyar Shamkanov

16:05-16:20

Floyd & Putnam (and others) on Wittgenstein on Gödel’s First Incompleteness Theorem

Mangesh Patwardhan

16:20-17:30 Photo Session + Welcome Reception

17:30-19:00

From Euclid and Eudoxus to Skolem, Godel, and Cohen: Constructions of Structures and Proofs of

Anil Nerode

10:30-11:00 Coffee and Tea Break

13:05-14:30 Lunch Break

15:30-15:50 Tea and Coffee Break