People working on non-deterministic semantics flaunt that they can do modal logic without possible worlds. But do they have a theory modality?

Yesterday in Ghent I argued that they do. Thanks for the invite, I met many people who I cite, which now I can call colleagues.
#metaphysics #modallogic

Overleaf is down

The existence of the subformula implies the existence of the more powerful, but often neglected, superformula

Damn, I feel like if I am the opener act for Metallica or something. Thrilled to be tomorrow in Bergen talking about truth and higher-order logic #logic #Bergen #higher-orderlogic

As the cold in Amsterdam continues, I will a talk on some of my research in higher-order definitions of truth.
Excited to finally share some of the initial results of the ERC project GENERALISE.

Super thrilled to in Brussels today for this event. At long last met @denizsarikaya.bsky.social in person.

Damn, I think I listen to Stabat Mater Dolorosa every time I take a train to the airport. Gotta give it another spin.
Also, here's ICS Vortex with a see-through, sadly with also a shirt on:

Today in The Hague we marched against the proposed budget cuts to higher education.
#logic #philosophy #humanities #doehetniet