Greg Restall
@consequently.bsky.social
I’m not really here. Find me at @[email protected] in the Fediverse.
I’m not spending any time on BlueSky (I have no time or attention to spend on another social media platform) — but if you want to keep up with me here, you might want to follow the account I’ve linked below, which cross-posts whatever I write on hcommons.social.
Another week, another research presentation. Coming up on Saturday, I’ll be hanging out in Munich, talking about free logic and rules for quantifiers. https://consequently.org/presentation/2024/defining-quantifiers-mcmp/
#logic #prooftheory
#logic #prooftheory
November 11, 2024 at 11:54 AM
I’m not spending any time on BlueSky (I have no time or attention to spend on another social media platform) — but if you want to keep up with me here, you might want to follow the account I’ve linked below, which cross-posts whatever I write on hcommons.social.