Embedded Files
Main Room: Room 115
Monday, September 11
Monday, September 11
09:20 - 09:30 | Opening
09:20 - 09:30 | Opening
09:30 - 10:30 | Invited Talk | Chair Luca Spada
09:30 - 10:30 | Invited Talk | Chair Luca Spada
Serafina Lapenta - Dualizing MV-algebras using prime ideals 📜
10:30 - 11:00 | Coffee break
10:30 - 11:00 | Coffee break
11:00 - 12:00 | Contributed talks
11:00 - 12:00 | Contributed talks
Track Left | Chair Adam Přsenosil
11:00 - 11:30 | Marta Bilkova, Petr Cintula, Filip Jankovec and Carles Noguera - Pointed Abelian logic and its fuzzy extensions 📜
11:30 - 12:00 | Rodrigo Nicolau Almeida - Universal and Inductive classes of Goedel Algebras📜
Track Right | Chair Alex Citkin
11:00 - 11:30 | Simon Lemal - The n-universal models for wK4 📜🎞️
11:30 - 12:00 | Nino Guallart - Modal equivalence between probabilistic Kripke models and neighbourhood models 📜
12:00 - 12:10 | Short break
12:00 - 12:10 | Short break
12:10 - 13:10 | Contributed talks
12:10 - 13:10 | Contributed talks
Track Left | Chair Adam Přsenosil
12:10 - 12:40 | Marco Abbadini and Clint Van Alten - Free extensions 📜
Track Track Right | Chair Alex Citkin
12:10 - 12:40 | Alexander Kurz, Wolfgang Poiger and Bruno Teheux - Many-Valued Coalgebraic Logic: From Boolean Algebras to Semi-Primal Varieties 📜🎞️
12:40 - 13:10 | Søren Brinck Knudstorp - Axiomatizing Modal Logic over Semilattices 📜
13:10 - 15:00 | Lunch
13:10 - 15:00 | Lunch
15:00 - 16:00 | Invited talk | Chair Revantha Ramanayake
15:00 - 16:00 | Invited talk | Chair Revantha Ramanayake
Norbert Preining - Mixing Propositional and First Order Quantifiers
– Herbrand Expansions and Beyond 📜
Tuesday, September 12
Tuesday, September 12
09:30 - 10:30 | Invited Talk | Chair Carles Noguera
09:30 - 10:30 | Invited Talk | Chair Carles Noguera
Amanda Vidal - On the decidability of modal many-valued Logics 📜
10:30 - 11:00 | Coffee break
10:30 - 11:00 | Coffee break
11:00 - 12:00 | Contributed talks
11:00 - 12:00 | Contributed talks
Track Left | Chair Sándor Jenei
11:00 - 11:30 | Marco Abbadini, Guram Bezhanishvili and Luca Carai - Ideal and MacNeille completions of subordination algebras 📜🎞️
11:30 - 12:00 | Marco Abbadini and Adam Přenosil - Stone duality for locally finitely residual algebras with a near unanimity term 📜🎞️
Track Right | Chair Mamuka Jibladze
11:00 - 11:30 | Pavel Razumnyy and Daniyar Shamkanov - Topological semantics of the predicate modal calculus QGL extended with non-well-founded proofs 📜
11:30 - 12:00 | Anela Lolic, Matthias Baaz and Charlotte Jergitsch - Interpolation for Fragments of Quantified S5 📜
12:00 - 12:10 | Short break
12:00 - 12:10 | Short break
12:10 - 13:10 | Contributed talks
12:10 - 13:10 | Contributed talks
Track Left | Chair Sándor Jenei
12:10 - 12:40 | Damiano Fornasiere and Tommaso Moraschini - Degrees of incompleteness of implicative logics: the trichotomy theorem 📜
12:40 - 13:10 | Bruno Teheux and Wolfgang Poiger - Choice-Free Representations for Semi-Primal Varieties 📜
Track Right | Chair Mamuka Jibladze
12:10 - 12:40 | David Fernández-Duque, Brett McLean and Lukas Zenger - A Family of Decidable Bi-intuitionistic Modal Logics 📜
12:40 - 13:10 | Miguel Martins and Tommaso Moraschini - Bi-Intermediate Logics of Trees: Local Finiteness and Decidability 📜
13:10 - 15:00 | Lunch
13:10 - 15:00 | Lunch
15:00 - 16:00 | Invited talk | Chair Matthias Baaz
15:00 - 16:00 | Invited talk | Chair Matthias Baaz
David Gabelaia - Polyhedral semantics for reachability modality 📜
16:00 - 16:30 | Coffee break
16:00 - 16:30 | Coffee break
16:30 - 18:00 | Tutorial | Chair Matthias Baaz
16:30 - 18:00 | Tutorial | Chair Matthias Baaz
Andrei Voronkov - Program Synthesis Using a Saturation Theorem Prover 📜
Wednesday, September 13
Wednesday, September 13
Thursday, September 14
Thursday, September 14
10:00 - 11:00 | Invited Talk | Chair Serafina Lapenta
10:00 - 11:00 | Invited Talk | Chair Serafina Lapenta
Anupam Das - Cyclic Proofs, Hypersequents, and Transitive Closure Logic 📜
11:00 - 11:30 | Coffee break
11:00 - 11:30 | Coffee break
11:30 - 12:00 | Contributed talks
11:30 - 12:00 | Contributed talks
Track Left | Chair Marco Abbadini
11:30 - 12:00 | Tommaso Moraschini, Kentaro Yamamoto and Johannes Joubert Wanneburg - Elementary equivalence in positive logic via prime products 📜
Track Right | Chair Denisa Diaconescu
11:30 - 12:00 | Michele Pra Baldi and Adam Přenosil - Equational definability of logical filters 📜🎞️
12:00 - 12:10 | Short break
12:00 - 12:10 | Short break
12:10 - 13:10 | Contributed talks
12:10 - 13:10 | Contributed talks
Track Left | Chair Marco Abbadini
12:10 - 12:40 | William Zuluaga Botero, Sergio Celani and Agustín Nagy - Bounded distributive lattices with strict implication and weak co-implication 📜
12:40 - 13:10 | Sergio Celani, Rafal Gruszczynski and Maria Paula Menchon - Conditional algebras related to weak extended subordination📜
Track Right | Chair Denisa Diaconescu
12:10 - 12:40 | Robert Freiman and Michael Bernreiter - Truth and Preferences - A Game Approach for Choice Logics 📜🏆
12:40 - 13:10 | Pietro Galliani - Strongly First Order Dependencies in Team Semantics: Results and Prospects 📜
13:10 - 15:00 | Lunch
13:10 - 15:00 | Lunch
15:00 - 16:00 | Contributed talks
15:00 - 16:00 | Contributed talks
Track Left | Chair Tommaso Moraschini
15:00 - 15:30 | Sándor Jenei - Categorical equivalence between odd or even involutive FL_e-chains and bunches of layer groups, and subcategories thereof 📜🎞️
15:30 - 16:00 | Alex Citkin - Equational Logic with Rejection 📜
Track Right | Chair Bruno Teheux
15:00 - 15:30 | Denisa Diaconescu - Solving the Muddy Children Puzzle using the VLSM framework 📜
16:00 - 16:30 | Coffee break
16:00 - 16:30 | Coffee break
16:30 - 17:45 | Tutorial | Chair Amanda Vidal
16:30 - 17:45 | Tutorial | Chair Amanda Vidal
Carles Noguera - First-order fuzzy logics and their 0-1 laws 📜🎞️
LATD23 schedule.pdfPage updated
Google Sites
Report abuse