WoLLIC 2023 Accepted Talks
Sandra Alves, Delia Kesner and Miguel Ramos.
Quantitative global memory.
Paper,
Slides
Matthias Baaz and Anela Lolić.
Effective Skolemization.
Paper,
Slides
Arka Banerjee.
Factive complements are not always unique entities: a case study with Bangla 'remember'.
Paper,
Slides
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko and Ondrej Majer.
Two-layered logics for paraconsistent probabilities.
Paper,
Slides
Patrick Blackburn, Torben Braüner and Julie Lundbak Kofod.
An axiom system for hybrid logic with propositional quantifiers.
Paper,
Slides
Tyler Brunet and Gillman Payette.
An evidence logic perspective on Schotch-Jennings forcing.
Paper,
Slides,
Handout
Hans van Ditmarsch, Didier Galmiche and Marta Gawek.
A separation logic with histories of epistemic actions as resources.
Paper,
Slides
Federico Faroldi, Atefeh Rohani and Thomas Studer.
Conditional obligations in justification logic.
Paper,
Slides
Thomas Ferguson and Vít Punčochář.
Structural completeness and superintuitionistic inquisitive logics.
Paper,
Slides
Robert Freiman and Michael Bernreiter.
Validity in choice logics - a game-theoretic investigation.
Paper,
Slides
Tim French.
Aleatoric propositions: reasoning about coins.
Paper,
Slides
Peng Fu and Peter Selinger.
Towards an induction principle for nested data types.
Paper,
Slides
Bart Jacobs.
A principled approach to expectation maximisation and latent Dirichlet allocation using Jeffrey's update rule.
Paper,
Slides
Yasir Mahmood and Jonni Virtema.
Parameterized complexity of propositional inclusion and independence logic.
Paper
Satoshi Nakata.
Parallelism in realizability models.
Paper,
Slides
Tin Perkov.
Bisimulations between Verbrugge models and Veltman models.
Paper,
Slides
Jan Rooduijn and Yde Venema.
Focus-style proofs for the two-way alternation-free μ-calculus.
Paper,
Slides
Igor Sedlár and Pietro Vigiani.
Relevant reasoning and implicit beliefs.
Paper,
Slides
Ilya Shapirovsky.
Decidability of modal logics of non-k-colorable graphs.
Paper,
Slides
Allen Van Gelder.
Subsumption-linear Q-resolution for QBF theorem proving.
Paper,
Slides
Niccolò Veltri.
Maximally multi-focused proofs for skew non-commutative MILL.
Paper,
Slides
In addition to these contributed papers, there will be 7
invited presentations.