Dandolo Flumini — "A Visual Language for Insurance Contracts"

As part of our initiative to meet industry demand for formalized and machine interpretable (legal) contracts, we present our new "visual language for insurance contracts". We discuss syntax and semantics as well as its relation to other contract languages.

José Gil-Ferez — "Blok-Jónsson Isomorphism Theorem and the Substructural Challenge"

This work is an attempt to generalize the Blok-Jónsson account of structural consequence relations in such a way as to accommodate multiset consequence. While Blok and Jónsson admit, in place of sheer formulas, a wider range of syntactic units to be manipulated in deductions (including sequents or equations), these objects are invariably aggregated via set-theoretical union. Our approach is more general in that non-idempotent forms of premiss and conclusion aggregation, including multiset sum and fuzzy set union, are considered. We investigate these relations using categorical methods and provide analogues of the main results obtained in the general theory of consequence relations. Then we focus on the driving example of multiset deductive relations, providing variations of the methods of matrix semantics and Hilbert systems in Abstract Algebraic Logic.

Lorenz Halbeisen — "An introduction to permutation models with an application to Koenig’s Lemma"

In the first part of the talk, it will be shown how permutation models (i.e., models of set theory with atoms) are constructed. In the second part of the talk, it will be shown that Koenig's Lemma for binary 0-1-trees does not imply Koenig's Lemma for full binary trees.

Eveline Lehmann — "Topological models for Justification Logic"

Baltag et al. have defined topological models for evidence logic. Within these models they defined arguments and justifications. The goal of my ongoing research is to check whether and how these definitions can be used to define topological models for justification logic.

Michel Marti — "An Intuitionistic Modal Logic with Hirai’s Axiom and its Explicit Counterpart"

I will present an intuitionistic modal logic with Hirai's Axiom where box distributes over disjunction. We will have a closer look at a sequent system, cut elimination and an intuitionistic justification logic which might realize this modal logic.

Louis Vuilleumier — "Descriptive set theory for quasi-Polish spaces"

In the first part of the talk, we will define the so-called quasi-Polish spaces, a class of spaces introduced by M. De Brecht, and see why it is a good generalization of the Polish spaces from a descriptive set theoretic point of view. Then, we will describe some old and new results on the Wadge theory of the Scott domain.