Greg Restall✓
🤝
Make a deal with Greg Restall
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
1.3K
Account age
3 yrs
💰 Suggested sponsorship rate
$40 – $65 / sponsored post
Estimated from audience size & typical reach — every deal is negotiable and held in SocialDB escrow.
Known for
11 views
Ah, Bochum—you’re just as unremittingly brutalist as ever.
9 views
This Easter season, my church has held an art exhibition on the theme of betrayal, and a short set of reflective services on Maundy Thursday, Good Friday and Holy Saturday.
I was invited to give a short reflection at the Saturday service, and since I have a website to archive my presentations, I’ve uploaded the text of the reflection: https://consequently.org/presentation/2026/holy-saturday-refle
7 views
We’re at that time of the semester in Advanced Logic, where we’re checking our understanding of the key concepts we’ll rely on in our final ascent to the heights of the incompleteness theorems.
https://consequently.org/class/2026/py4612/
#logic #philosophy
2 views
@jsnell @dmoren I’m loving the latest vending machine updates on the podcast.
I’m sure others have mentioned this point you raised in the most recent episode (covering S5E3 “Home”), but just in case they haven’t. Aleida *has* been to space—in Season 3, Episode 2, she goes to the moon for a quick visit to help with the NERVA engines, which are being tested for use on Sojourner.
(This series has b
📊 Post engagement
12
Avg engagement / post
0.9%
Engagement vs followers
Nov 2022
On Mastodon since
🔥 Top post: RE: https://fediscience.org/@pjacock/116772872021146132 This is · 56 likes + reposts
📊 Activity & format
Posting cadence
0.91 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly text
Recent: 8 text · 4 image · 0 video.
Follower / following
3.5×
Follows 376 back. A more reciprocal / networked account.
Recent posts
View on Mastodon ↗
Ah, Bochum—you’re just as unremittingly brutalist as ever.
This is followed by Bilateralism in Bochum 2026, for Thursday and Friday: https://sites.google.com/view/bilbo26/home
Both look like they’ll be packed and productive meetings.
(I hope I have the stamina required for five full days of logic.)
Today I head to Bochum for two philosophical logic workshops. First up, from Monday to Wednesday, we have Directions in Relevant Logic 3: https://sites.google.com/view/drl3/home
This talk is coming up in a few hours: thanks to my colleague Stephen Read, who caught a few slips in the draft slides. Now to find out where the other bugs and infelicities remain, with the help of my colleagues and everyone in the audien…
My *next* talk in this spring/summer of research combines some longstanding interests of mine (Graham Priest’s Logic of Paradox) and more recent interests (natural deduction and the sequent calculus). I bet you didn’t think that you could …
It’s neat to see that an old (fiddly, complicated) decidability argument I wrote up in the 1990s is getting some attention. Here, Raj Goré and Anthony Peigné formalise (and generalise) my decidability argument for display formulations of s…
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 #proof…
We’re at that time of the semester in Advanced Logic, where we’re checking our understanding of the key concepts we’ll rely on in our final ascent to the heights of the incompleteness theorems.
https://consequently.org/class/2026/py4612/
…
Oh, look! In a few weeks time I’m going to be over in Edinburgh, giving a talk the LFCS. https://informatics.ed.ac.uk/lfcs/lfcs-seminar-tuesday-5th-may-greg-restall
If you’re in town on May 5 and like crazy proof theory, this could be fun…
@jsnell @dmoren I’m loving the latest vending machine updates on the podcast.
I’m sure others have mentioned this point you raised in the most recent episode (covering S5E3 “Home”), but just in case they haven’t. Aleida *has* been to spac…
This Easter season, my church has held an art exhibition on the theme of betrayal, and a short set of reflective services on Maundy Thursday, Good Friday and Holy Saturday.
I was invited to give a short reflection at the Saturday service,…
🐘 Community & instance
Home server
hcommons.social
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
✅ Link-verified
Verified link
Proved ownership of a website linked on their profile — Mastodon's green-check verification, a real identity signal rather than a paid badge.
On Mastodon since
Nov 2022
Joined in the Twitter-exodus wave of late 2022 — part of the migration that made Mastodon a real destination.
💡 Facts
🗓️Joined Mastodon in 2022 — 3 years ago.
👁️Averages 12 views per post.
📤Posts about 0.9× per week.
🛡️ Audience credibility
75/100
Good
- Est. 92% real, active audience · Low fake-follower risk.
- Engagement (~0.9% of followers engage each post) is around typical for Mastodon.
- Verified account.
- Established account (3+ years old).
Est. authentic audience
92%
Fake-follower risk
Low
Data confidence
High
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
Philosopher and logician, from Australia, now based at the University of St Andrews in Scotland.
I like thinking about—and helping other people think about—logic and philosophy and the many different ways they can inform and enhance each other.
I suppose I’m known for work on substructural logics, logical pluralism, and (more recently) what philosophers should know about proof theory, and proof theorists should know about philosophy.
#philosophy #logic
📸 Gallery
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
Erin / Terra
16%
rabbit_fighter (Brad Wright)
14%
SΛNDRΛ 📷
13%
よるねこ
13%
watson News
13%
Tyler Sticka
11%
More like this
Find more →
Mastodon
rabbit_fighter (Brad Wright) ✓
@rabbit_fighter@mastodon.world
1.3K
Followers
Mastodon
SΛNDRΛ 📷
@moon@norden.social
1.3K
Followers
Mastodon
Tyler Sticka ✓
@tylersticka@social.lol
1.3K
Followers
Mastodon
よるねこ
@nightcat@mstdn.jp
1.3K
Followers
Mastodon
watson News
@watson_news@mstdn.social
1.3K
Followers
Mastodon
Erin / Terra
@erinrose@chaos.social
1.3K
Followers
✉ Message Greg Restall
Reaching out to influencers is a Pro feature. Upgrade to message any influencer directly — perfect for brands and agencies booking sponsorships.
- ✓ Message any influencer from their listing
- ✓ The influencer gets notified by email
- ✓ Manage every conversation in one inbox
Already Pro? Log in.
🎤 Event / appearance with Greg Restall
Booking an event / appearance is a Pro feature. Upgrade to book Greg Restall for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ Greg Restall gets notified by email
- ✓ Fee held in escrow, released after the appearance
Already Pro? Log in.
🚀
You're out of free requests this month
Free accounts get 5 per month. Go Pro for unlimited sponsor pitches, collab requests & sponsorship deals — plus featured placement, the Verified badge, free withdrawals and more.
Upgrade to Pro — $9.95/mo →Your free limit resets on the 1st of next month.