Post #2196149
2026-05-05 08:37 UTC
I’m looking forward to spending time today with @ohad, @modaltype and other folks at the LFCS at Edinburgh, and getting to talk about some weird substructural modal logic.
https://consequently.org/presentation/2026/tlmh-edi/
#logic #prooftheory
Replies (1)
-
@ohad@mathstodon.xyz 2026-05-05 20:31
@consequently@hcommons.social It was swell, thank you for the visit! @modaltype@types.pl