research
∙
07/21/2023
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
We introduce a Gentzen-style framework, called layered sequent calculi, ...
share
research
∙
11/24/2022
Impure Simplicial Complexes: Complete Axiomatization
Combinatorial topology is used in distributed computing to model concurr...
research
∙
05/23/2021
Uniform interpolation via nested sequents and hypersequents
A modular proof-theoretic framework was recently developed to prove Crai...
research
∙
11/02/2020
The Persistence of False Memory: Brain in a Vat Despite Perfect Clocks
Recently, a detailed epistemic reasoning framework for multi-agent syste...
research
∙
07/22/2019
