I’m in Amsterdam, about to give a talk about proof theory for modal predicate logic at the ILLC, the home base of the modal industrial complex. I have no idea how this is going to go over, but it should be a fun ride, however it turns out.
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.
A short note I wrote a few months ago just got published: https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/2293-06.pdf
I show that diamonds are already embedded in Artemov and Protopopescu's intuitionistic epistemic logic (they are just double negations).
This is part of some work I'm doing to understand diamonds in intuitionistic modal logics.
It’s a cloudy and cold Tuesday, and I’m inside writing about refinement.
At least I *think* I understand what I’m doing a bit better than Mark S and his team of macrodata refiners do.
(That’s an inappropriate #Severance, #prooftheory #ModalLogic and #ClickyKeyboard crossover post. I’m sorry about that.)
Preprint announcement; CSL reviewers do not read
The Nordic Logic Summer School is now in full swing here in Reykjavík. I’ve given my first proof theory class, and Rineke Verbrugge is introducing modal logic and social cognition.
Today's #blog looks at a general, albeit oddly controversial, recipe for generating sequent calculi from possible worlds https://blogs.fediscience.org/the-updated-scholar/2024/05/24/discussing-proof-analysis-in-modal-logic/ #logic #modalLogic
Today's #blog , delayed a few weeks as I waited for a physical copy of the book, looks at the (or maybe 'a'?) standard textbook on #ModalLogic https://blogs.fediscience.org/the-updated-scholar/2024/04/23/discussing-modal-logic/ #logic
An explanation of what axioms and mathematical proofs really are. With a reference to my tool that helps exploring some of them.
Today's #blog is about a fascinating recent development in our understanding - or perhaps exposure of our lack of understanding - of intuitionistic #modalLogic https://blogs.fediscience.org/the-updated-scholar/2024/04/05/discussing-on-intuitionistic-diamonds-and-lack-thereof/ #logic
I've had a lot of fun this week combing through some old intuitionistic #ModalLogic papers for my #blog . Does anyone know anything, other than what is in her papers, about the career of the logician Gisèle Fischer Servi? https://blogs.fediscience.org/the-updated-scholar/2024/03/22/discussing-on-modal-logic-with-an-intuitionistic-base/ #logic #WomenInLogic
On my #blog today we discuss how Moggi's calculus of #monads can be seen as a #ModalLogic https://blogs.fediscience.org/the-updated-scholar/2024/02/27/discussing-computational-types-from-a-logical-perspective/ #logic
Note to self:
\(\Box\) — L — konieczność
\(\Diamond\) — M — możliwość
What is the difference between a Kripke frame and a frame skeleton in modal logic?
A new preprint of our (Rance Cleaveland, Peter Fontana and yt) work regarding timed mu-calculi: https://arxiv.org/abs/2310.04100 (not accepted for publication yet).
We present the first timed mu-calculus that is more expressive than timed CTL for arbitrary timed automata.
Next week on my #blog I'll write something about a quite recent paper, the 2020 'Multimodal Dependent Type Theory' https://dl.acm.org/doi/10.1145/3373718.3394736 #TypeTheory #ModalLogic