Detailed Programme
Table of ContentsMonday
Session 1 (Amphi 1 - Informatique) | Session 2 (Amphi 2 - Physique) | Session 3 (Amphi Chimie) | |
Chair | Nick Bezhanishvili | Luca Spada | Anneliese Schauerte |
14:00 | Correspondence, Canonicity, and Model Theory for Monotonic Modal LogicsYamamoto | Partially-ordered varieties of involutive residuated posetsJipsen | Artin glueings as semidirect productsFaul and Manuell |
14:30 | Intuitionistic and classical non-normal modal logics: An embeddingDalmonte, Grellois, and Olivetti | On the structure of finite (commutative) idempotent involutive residuated latticesJipsen, Tuyt, and Valota | B-frame Representations for Complete LatticesMassas |
15:00 | Product of neighborhood frames with additional common modalityAghamov and Kudinov | Gluing residuated latticesGalatos and Ugolini | Nearness PosetsBice |
15:30 | On global algebraic completeness for the Gödel-Löb provability logicShamkanov | Undecidability methods for residuated latticesGalatos and St. John | The Bohr compactification of an abelian group as a quotient of its Stone-Čech compactificationZlatoš |
Chair | Pat Morandi | Sara Ugolini | William Javier Zuluaga Botero |
16:45 | Completion of pseudo-orthomodular posetsPaseka | Completeness properties in abstract algebraic logicCintula and Noguera | Divisibility and diagonalsStubbe |
17:15 | Amalgamating poset extensionsEgrot | Epimorphisms in Varieties of Heyting AlgebrasMoraschini and Wannenburg | The undecidability of profinitenessNurakunov and Stronkowski |
17:45 | Enriched distributivity over finite commutative residuated latticesBalan, Jipsen, and Kurz | Overview and perspectives of the general construction of spectraOsmond |
Tuesday
Session 1 (Amphi 1 - Informatique) | Session 2 (Amphi 2 - Physique) | Session 3 (Amphi Chimie) | |
Chair | Achim Jung | Nick Galatos | Wesley Holliday |
14:00 | A Glivenko Theorem for lattice-ordered groupsGil-Férez, Lauridsen, and Metcalfe | Decidability for the equational theory of the natural join and inner unionSantocanale | The logic of categories and informational entropyConradie et al. |
14:30 | Twist products arising from residuated bimodulesHe, Přenosil, and Tsinakis | Mix *-autonomous quantales and the continuous weak orderSantocanale and Gouveia | Toward completeness of logics of informations and beliefBílková |
15:00 | From MV-semirings to Involutive semiringsJipsen and Vannucci | Time-reversal homotopical properties of concurrent systemsCalk, Goubault, and Malbos | Generic Models for Topological Evidence LogicsBaltag, Bezhanishvili, and Fernández González |
15:30 | Derivations on bounded pocrims and MV-algebras with productSalounova, Kuhr, and Rachunek | Free Kleene algebras with domainMcLean | Goldblatt-Thomason for LE-logicsConradie, Palmigiano, and Tzimoulis |
Wednesday
Session 1 (Amphi 1 - Informatique) | Session 2 (Amphi 2 - Physique) | Session 3 (Amphi Chimie) | |
Chair | Agi Kurucz | Tommaso Moraschini | Marcel Erné |
14:00 | Polyhedral Completeness of Intermediate and Modal Logics, Adam-Day et al. | On non-distributive lattices with involutionFussner | When is the frame of nuclei spatial: A new approachAvila et al. |
14:30 | Characterization of flat polygonal logicsGabelaia et al. | Duality for two-sorted latticesRivieccio and Jung | Exact and Fitter SublocalesMoshier, Ball, and Pultr |
15:00 | Simplicial semantics and one-variable fragments of modal predicate logics Shehtman | Hyper-MacNeille completions of Heyting algebrasHarding and Lauridsen | The coproduct of frames as encoding d-frame structureSuarez and Jung |
15:30 | A new logic arising from a scattered Stone spaceBezhanishvili et al. | Resource Reasoning in Duality-theoretic Form: Stone-type Dualities for Bunched and Separation Logics Docherty and Pym | Axiom TD and the relation between sublocales and subspaces of a spacePicado and Pultr |
Chair | Amanda Vidal | TBA | Jorge Picado |
16:45 | Lifting functors from Pos to Priesde Groot | Topological representations of congruence latticesPloščica | Partial framesSchauerte and Frith |
17:15 | The van Benthem characterisation theorem for descriptive logicsBezhanishvili and Henke | Ranges of functors and elementary classes via topos theoryArndt | Presenting de Groot duality of stably compact spaces by entailment relationsKawai |
17:45 | Projective unification in NExt(K4)Kost | Order-enriched solid functorsSousa and Tholen | The spectrum of a localic semiringManuell |
Thursday
Session 1 (Amphi 1 - Informatique) | Session 2 (Amphi 2 - Physique) | Session 3 (Amphi Chimie) | |
Chair | George Metcalfe | Hilary Priestley | TBA |
08:30 | Nonclassical first order logics: semantics and proof theoryGreco et al. | Extensions of the Stone Duality to the category of zero-dimensional Hausdorff spacesDimov and Ivanova-Dimova | Singly generated quasivarieties and residuated structuresMoraschini, Raftery, and Wannenburg |
09:00 | Algebraic proof theory for LE-logicsGreco et al. | Semi-reflective Extensions of Dualities and a New Approach to the Fedorchuk Duality, Dimov, Ivanova-Dimova, and Tholen | Enriched Lawvere Theories for Operational SemanticsBaez and Williams |
09:30 | Semantic analysis and proof theory for monotone modal logicChen et al. | Extensions of dualities and a new approach to de Vries' Duality Theorem, Dimov, Ivanova-Dimova, and Tholen | Comprehension bicategories and fibrations of toposesHazratpour and Vickers |
10:00 | Proof theory and semantics for structural controlGreco, Tzimoulis, and Moortgat | A generalization of Gelfand-Naimark-Stone duality to completely regular spaces, Bezhanishvili, Morandi, and Olberding | A topos for piecewise-linear geometry, and its logicMarra and Menni |
Chair | Clemens Berger | Serafina Lapenta | TBA |
11:15 | Point-free theories of space and time: a short history, models, and representation theoryVakarelov | Axiomatising categories of spaces: the case of compact Hausdorff spacesReggio | |
11:45 | Some theorems concerning Grzegorczyk contact latticesGruszczynski and Pietruszczak | Norm complete Abelian l-groups: topological dualityAbbadini, Marra, and Spada | Two approaches to substructural modal logicSedlár |
12:15 | Relational semantics for extended contact algebrasIvanova | Norm complete Abelian l-groups: equational axiomatizationAbbadini, Marra, and Spada | Axiomatizing the crisp Gödel modal logicRodriguez and Vidal |
12:45 | Colimits of effect algebras via a reflectionJenča | Orders on Groups: an Approach through Spectral SpacesColacito | Analysis of the Σ11-Fragment of First Order Gödel Logic extended with propositional QuantifiersBaaz and Preining |
Friday
Session 1 (Amphi 1 - Informatique) | Session 2 (Amphi 2 - Physique) | Session 3 (Amphi Chimie) | |
Chair | Giuseppe Grecco | Sam van Gool | Valentin Shehtman |
14:00 | Frege's Basic Law V via Partial OrdersMartino | Difference hierarchies over latticesBorlido | Predicative Implications: A Topological ApproachTabatabai |
14:30 | Computing the validity degree in Łukasiewicz logicHaniková | A Sahlqvist theorem for subordination algebrasDe Rudder and Hansoul | A temporal interpretation of intuitionistic quantifiersCarai and Bezhanishvili |
15:00 | Quantale semantics for Lambek calculus with subexponentialsRogozin | Stone dualities between étale categories and restriction semigroupsKudryavtseva | From intuitionism to Brouwer's modal logicKostrzycka |
15:30 | Proofs and surfacesBaralić et al. | Pierce stalks in preprimal varietiesZuluaga Botero and Vaggione | Glivenko's theorem, finite height, and local finitenessShapirovsky |