Schedule
Tuesday, September 26
The VCLA will hold an award ceremony for the VCLA International Student Awards. The winners will receive the award certificate, and they will have the opportunity to present their winning theses. Participants of MOSAIC 2023 are welcome to join!
https://www.vcla.at/events/award-ceremony/
Wednesday, September 27
08:30 - 09:00 | Registration (ground floor)
09:00 - 09:05 | Welcome
09:05 - 09:50 | Invited Talk
Carles Sierra - On the engineering of social values
09:50 - 11:00 | Session 1
Xavier Parent - Nonstandard betterness and conditional obligation
Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis, Ruoding Wang and Xiaolong Wang - Causal Kripke models
Francesca Doneda, Francesco A. Genco and Giuseppe Primiero - A many-valued system for trust assessment: relational semantics and proof theory
11:00 - 11:30 | Coffee break
11:30 - 13:00 | Session 2
Willem Conradie, Valentin Goranko and Peter Jipsen - Algorithmic correspondence for modal relevance logics: inductive formulae and the algorithm M-PEARL
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales and Lutz Straßburger - Intuitionistic S4 and its decidability
Paolo Baldi, Esther Anna Corsi and Hykel Hosni - Inference in scientific inference
Christian Fermüller, Robert Freiman and Timo Lang - Game Models of Producer-Consumer Interactions and Substructural Sequent Systems
13:00 - 14:30 | Lunch
14:30 - 15:20 | Invited Talk
Adam Přenosil - Semisimplicity, Glivenko theorems, and the excluded middle
15:20 - 16:10 | Session 3
Lê Thành Dũng Nguyễn and Lutz Straßburger - On the Complexity of Pomset Logic and BV
Vitor Rodrigues Greati - Decidability and complexity upper bounds for knotted substructural logics
16:10 - 16:40 | Coffee break
16:40 - 17:30 | Session 4
Simon Santschi and Wesley Fussner - Interpolation in Substructural Logics I: Logics with Exchange
Wesley Fussner, Simon Santschi and George Metcalfe - Interpolation in Substructural Logics II: Logics without Exchange
Thursday, September 28
09:00 - 09:50 | Invited Talk
Elaine Pimentel - Ecumenical and substructural views of proof-theoretic semantics
09:50 - 11:00 | Session 5
Elio La Rosa - Epsilon Modal Logics
Yiwen Ding, Krishna Manoorkar, Mattia Panettiere, Apostolos Tzimoulis and Ruoding Wang - Game semantics for lattice-based modal µ-calculus
Marianna Girlando and Jan Rooduijn - Cyclic and labelled focus proofs: a case study
11:00 - 11:30 | Coffee break
11:30 - 13:00 | Session 6
Matteo Acclavio, Davide Catta, Federico Olimpieri and Lutz Straßburger - Proof Systems and Proof Equivalence in Constructive Modal Logic
Anupam Das, Iris van der Giessen and Sonia Marin - Towards Intuitionistic Gödel-Löb Logic (with a capital ‘I’)
Naomi Tokuda, George Metcalfe and Petr Cintula - Axiomatizing One-Variable Fragments of First-Order Substructural Logics: a Proof-Theoretic Approach
Timo Lang - News on the analytic cut property
13:00 - 14:30 | Lunch
14:30 - 15:20 | Invited Talk
Nick Bezhanishvili - Degrees of the finite model property for superintuitionistic and modal logics
15:20 - 16:10 | Session 7
Francesco Manfucci and Sara Ugolini - Free product hoops
Valeria Giustarini and Sara Ugolini - From product hoops to product algebras, freely
16:10 - 16:40 | Coffee break
16:40 - 18:10 | Session 8
Lachlan McPheat and Daphne Wang - Semantics of Donkey Sentences in Modal Lambek Calculus
Lachlan McPheat, Hadi Wazni and Mehrnoosh Sadrzadeh - Vector Space Semantics for Lambek Calculus with Soft Subexponentials
Michael Moortgat, Mehrnoosh Sadrzadeh and Gijs Wijnholds - Copying and Movement in Extended Lambek Calculus
Gavin St. John - Non-primitive recursive theories for simple extensions of substructural logics
Friday, September 29
09:00 - 09:50 | Invited Talk
Serafina Lapenta - Metamathematics of random variables via non-classical logic
09:50 - 11:00 | Session 9
Alexander Kurz, Wolfgang Poiger and Bruno Teheux - Many-Valued Coalgebraic Logic: From Boolean Algebras to Semi-Primal Varieties
Chun-Yu Lin and Igor Sedlár - Concurrent Finitely-valued Dynamic Logic for Reasoning About Group Agency
Stefano Aguzzoli and Brunella Gerla - Averaging the truth value of formulas in Gödel logic
11:00 - 11:30 | Coffee break
11:30 - 13:00 | Session 10
Ivo Duntsch, Rafal Gruszczynski and María Paula Menchón - Betweenness algebras
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere and Xiaolong Wang - Subordination Algebras as Semantic Environment of Input/Output Logic
Stefano Bonzio and Michele Pra Baldi - On the structure of Bochvar algebras
Sergio Celani, Rafal Gruszczynski and Maria Paula Menchon - Conditional algebras related to weak extended subordinations
13:00 - 14:30 | Lunch
14:30 - 16:00 | Session 11
Tommaso Flaminio and Sara Ugolini - An algebraic approach to anti-unification
Alejandro Petrovich and Ricardo Oscar Rodriguez - Esakia Duality for Modal Symmetric Heyting Algebras
Marco Abbadini and Adam Prenosil - Stone duality for locally finitely residual algebras with a near unanimity term
Umberto Rivieccio - Fragments of (quasi-)Nelson: residuation
16:00 - 16:30 | Coffee break
16:30 - 18:00 | Session 12
Bruno Teheux and Wolfgang Poiger - Choice-Free Representations for Semi-Primal Varieties
Ineke Van Der Berg, Andrea De Domenico, Krishna Manoorkar, Giuseppe Greco, Alessandra Palmigiano and Mattia Panettiere - Non-distributive description logic
Andrea De Domenico, Yiwen Ding, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere and Apostolos Tzimoulis - From single-type to multi-type logics
Paolo Aglianò and Sara Ugolini - Passive structural completeness in substructural logics