Greg Restall on Nostr: I'm glad to have space to get to writing, and the first writing project of my ...
I'm glad to have space to get to writing, and the first writing project of my sabbatical has reached first-draft stage. If you're interested in modal logic, proof theory, and the metaphysics of contingent existence, have I got the paper for you!
https://consequently.org/writing/mlce-ge2/I've got to say, I think the hypersequent calculus in this paper is pretty neat.
#ProofTheory #ModalLogic #Metaphysics
Published at
2025-01-20 14:50:34Event JSON
{
"id": "4e4b8091c9390a33a3e173265d9a62a74e0a0c46064480498b3de76931adca94",
"pubkey": "43968fa6d05208dd17eff0d9bf3fa311f7009fbba42f73f158327923b91a1637",
"created_at": 1737384634,
"kind": 1,
"tags": [
[
"t",
"prooftheory"
],
[
"t",
"ModalLogic"
],
[
"t",
"metaphysics"
],
[
"imeta",
"url https://spaces.hcommons.social/media_attachments/files/113/861/239/258/259/331/original/92ab23aef71392bb.png",
"m image/png",
"dim 2286x1784",
"blurhash U4SigQof~qof_3j[WBofWVj[ofayj[j[M{WB"
],
[
"proxy",
"https://hcommons.social/users/consequently/statuses/113861239401759270",
"activitypub"
]
],
"content": "I'm glad to have space to get to writing, and the first writing project of my sabbatical has reached first-draft stage. If you're interested in modal logic, proof theory, and the metaphysics of contingent existence, have I got the paper for you!\n\nhttps://consequently.org/writing/mlce-ge2/\n\nI've got to say, I think the hypersequent calculus in this paper is pretty neat.\n\n#ProofTheory #ModalLogic #Metaphysics\n\nhttps://spaces.hcommons.social/media_attachments/files/113/861/239/258/259/331/original/92ab23aef71392bb.png",
"sig": "17cdeac3abb8bbba7652d72bc36b3ccf0da2690c240eb9ce6e52c42a57dca79b9660cb2eb59997b51b6d3a53c175da255c35f539ecd043475f365c284f995c02"
}
