Proof Society 2025

Speaker

Elaine Pimentel

University College London

Talks at this conference:

 Thu, 14:40 The modal cube revisited: semantics without worlds
Contributed
 Fri, 12:10 Bilateralist base-extension semantics with incompatible proofs and refutations
Contributed

 Overview  Program