Talks & Tutorials
Plenary Talk
-
Gödel Lecture: (Un)decidability in fields
Plenary Talk
-
Models of arithmetic that satisfy more collection than induction
Plenary Talk
-
When any three solutions are independent
Plenary Talk
-
From Dependent Types to Natural Language Semantics
Plenary Talk
-
Recent advances in higher-order automata and profinite lambda-calculus
Plenary Talk
-
Proof systems and decision algorithms for intuitionistic K
Plenary Talk
-
Recent advances in the combinatorics of determinacy models
Plenary Talk
-
Plenary Talk
Tutorial
-
Model theory of tame classes of finite structures I
Tutorial
-
Model theory of tame classes of finite structures II
Tutorial
-
Model theory of tame classes of finite structures III
Tutorial
-
Tutorial
-
Tutorial
-
Tutorial
-
An exploration of proof mining I
Tutorial
-
An exploration of proof mining II
Tutorial
-
An exploration of proof mining III
Tutorial
Special Session
-
Ordered groups of regular growth rates
Special Session
-
Generic functions and quasiminimality
Special Session
-
O-minimal definitions of the complex Gamma and Riemann Zeta functions
Special Session
-
Normative Reasoning: from Sanskrit philosophy to AI
Special Session
-
Do theories of definite descriptions support Anselm’s God?
Special Session
-
Truth, Conditionals, and Hyperintensionality
Special Session
-
Decision problems for groups as equivalence relations
Special Session
-
Interpretations, back-and-forth games, and group von Neumann algebras
Special Session
-
Generically computable linear orderings
Special Session
-
Reduction and unification in (typed) natural language ontology
Special Session
-
Common nouns as types: Higher inductive types in type-theoretical semantics
Special Session
-
The challenge of polysemy for natural language semantics
Special Session
-
Special Session
-
The key properties of metrizability for (generalized) descriptive set theory
Special Session
-
Guessing Models, Cardinal Arithmetic, and Ultrafilters
Special Session
-
Variants of bar recursion and their uses
Special Session
-
Cyclic versions of arithmetic theories with inductive definitions
Special Session
-
Computability theory over intuitionistic logic
Special Session
Contributed Talk
-
Galileo's Paradox and Purely Euclidean Numerosities
Contributed Talk
-
Bergson on logic and bergsonian logic
Contributed Talk
-
Hierarchy of set theoretical multiverse
Contributed Talk
-
Conditionals in constructive logics
Contributed Talk
-
Contributed Talk
-
Strength of the hyperated finitary powerset operator
Contributed Talk
-
The limits of determinacy in third-order arithmetic
Contributed Talk
-
Contributed Talk
-
Sequences with gap condition and binary trees with ascending labels
Contributed Talk
-
Better quasi-orders and iterated ideals
Contributed Talk
-
Lambek Calculus with Banged Atoms for Parasitic Gaps
Contributed Talk
-
Knotted substructural logics have fast-growing complexity
Contributed Talk
-
Investigating uniform interpolation via global termination
Contributed Talk
-
Simplest model properties for Peano Arithmetic: On a question of Montalban and Rossegger.
Contributed Talk
-
Contributed Talk
-
The Kaufmann--Clote question on end extensions of models of arithmetic
Contributed Talk
-
On the expressiveness of expansions of the weak Kleene language
Contributed Talk
-
Natural deduction for neutral free logic with definite descriptions
Contributed Talk
-
General plurivalent Boolean logics
Contributed Talk
-
The punctual degrees of linear orders
Contributed Talk
-
Atomicity under non-transitive mereology
Contributed Talk
-
A History of Level Theories: From Ranks to Levels.
Contributed Talk
-
On Contextuality and unsharp quantum logic
Contributed Talk
-
Contributed Talk
-
Modeling hyperproperties for RFID systems
Contributed Talk
-
A logic of judgmental existence and its relation to truncation and proof irrelevance
Contributed Talk
-
Dialogical strategies as proof-search strategies
Contributed Talk
-
Contributed Talk
-
Goedel logics: prenex fragments
Contributed Talk
-
Hypersequent calculi for propositional default logics
Contributed Talk
-
Quantifiers in connexive logic (in general and in particular)
Contributed Talk
-
Contributed Talk
-
Craig-Lyndon interpolation as cut-introduction
Contributed Talk
-
Cut elimination for provability logic. An unmechanized proof.
Contributed Talk
-
A Goodstein independence result for $ID_2$
Contributed Talk
-
Feferman interpretability and applications
Contributed Talk
-
Modal logic semantics for ordinal analysis of bar induction
Contributed Talk
-
Modal extensions of the quantified argument calculus
Contributed Talk
-
Team semantics for modal mu-calculus
Contributed Talk
-
Δ⁰_2-better quasi orders in reverse mathematics
Contributed Talk
-
The limit of recursion in state-based systems.
Contributed Talk
-
Coalgebra for non-wellfounded proof theory
Contributed Talk
-
Contributed Talk
-
Operational semantics for positive relevance logics
Contributed Talk
-
Punctually presentable injective structures
Contributed Talk
-
Multi-relation Agassiz sums of algebras
Contributed Talk
-
Finite Models for Non-Commutative Ambiguity Logics
Contributed Talk
-
Philosophically motivated restrictions on formal proofs
Contributed Talk
-
Contributed Talk
-
Contributed Talk
-
Logics for Ceteris Paribus Counterfactuals
Contributed Talk
-
On the hierarchy of vectorizations of the Härtig quantifier
Contributed Talk
-
First-order limits and rooted inverse problems
Contributed Talk
-
On non-essential expansions of quite o-minimal theories
Contributed Talk
-
Scott ranks and intended models
Contributed Talk
-
Contributed Talk
-
Cyclic cut elimination for the stratified fragment of the modal μ-calculus
Contributed Talk
-
Cyclic proofs for arithmetic with least and greatest fixed points
Contributed Talk
-
Herbrand schemes for cyclic proofs
Contributed Talk
-
Non-wellfounded parsimonious proofs and non-uniform complexity
Contributed Talk
-
Obstacles of a truly bilateral sequent calculus
Contributed Talk
-
Contributed Talk
-
An ecumenical view of proof-theoretic semantics
Contributed Talk
-
Proof-theoretic validity for sequents
Contributed Talk
-
Inversion in non-monotonic PTS
Contributed Talk
-
Isomorphism problems and learning of algebraic structures
Contributed Talk
-
Some computability-theoretic aspects of partition regularity over rings
Contributed Talk
-
Isomorphism relations on classes of c.e. algebras
Contributed Talk
-
Proof mining and the viscosity approximation method
Contributed Talk
-
New model of non-Euclidean plane
Contributed Talk
-
Constructive Version of Herbrand’s Theorem for First-Order Łukasiewicz Logic
Contributed Talk
-
Defining and reasoning about partial (co)recursive functions in Lean
Contributed Talk
-
Disentangling Sigma_2 variants of supercompactness
Contributed Talk
-
Types of minimal numberings with hyperimmune oracles
Contributed Talk
-
Succinctness of the fixed point theorem for provability logic
Contributed Talk
-
Axiomatic theories of supervaluationist truth: completing the picture
Contributed Talk
-
Contributed Talk
-
A translation from GLP into GL
Contributed Talk
-
Herbrand's theorem for inductive proofs
Contributed Talk
-
Combining SHACL and description logics
Contributed Talk
-
Higher-order feedback computation
Contributed Talk
-
A new way of classifying word problems
Contributed Talk
-
Constructive Reverse Mathematics of the Downwards Löwenheim-Skolem Theorem
Contributed Talk
-
Tightness and solidity in fragments of Peano Arithmetic
Contributed Talk
-
Internal categoricity for schemes
Contributed Talk
-
Provability in relativized arithmetics and games with backtracking options
Contributed Talk
-
Self-referential Gödel numberings and uniformity
Contributed Talk
-
Reflection and induction for subsystems of HA
Contributed Talk
-
On non-commutative logic and process calculi
Contributed Talk
-
Advantages of using weak bisimulation for the logic IL with respect to Verbrugge semantics
Contributed Talk
-
Indefinitely extensible models of simple type theory
Contributed Talk
-
Finite, infinite, hyperfinite. A new interpretation of Newton’s De Analysi.
Contributed Talk
-
A parameterized family of decidable theories involving differentiable functions
Contributed Talk
-
Contributed Talk
-
Namba forcing and the weak approximation property
Contributed Talk
-
The Galvin-Prikry theorem in the Weihrauch lattice
Contributed Talk
-
Algebra-valued models and Logical Pluralism
Contributed Talk
-
Monadic second order limit laws for natural well orderings
Contributed Talk
-
Bi-intuitionistic linear temporal logic
Contributed Talk
-
Pure-Past Action Masking: constraining Reinforcement Learning via pure-past LTL
Contributed Talk
-
Cutfree calculi for modal logics with axiom B or 5
Contributed Talk
-
Comparison of hyperextensions of linear temporal logic
Contributed Talk
-
Expressiveness issues in interval temporal logics
Contributed Talk