#modallogic — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #modallogic, aggregated by home.social.
-
The deadline for submission of abstracts to #IMLA (Intuitionistic Modal Logic and Applications) has been extended to 30 April. It would be great if I were to see some of you there (at least, at the banquet for that weekend's #FLoC workshops).
"Constructive and intuitionistic modal logics, and their connections with type theory and computation, remain foundationally and practically significant in computer science, logic, and related areas. These include applications in type disciplines, meta-logics for computational phenomena, and explanatory frameworks in philosophical logic. The workshop aims to explore theoretical and methodological issues at the intersection of constructive proof theory and modal semantics, as well as practical questions about which modal connectives and rules best capture computational phenomena at appropriate levels of abstraction."
**Invited speakers**
- Danel Ahman (University of Tartu, Estonia)
- Brigitte Pientka (McGill University, Montreal, Canada)
- Ranald Clouston (ANU, Canberra, Australia)
- More to be confirmed -
8th Workshop on Intuitionistic Modal Logic and Applications (IMLA)
24–25 July 2026, Lisbon, Portugal
Affiliated with the Federated Logic Conference (FLoC 26)
https://sonia-marin.github.io/imla26/Constructive and intuitionistic modal logics, and their connections with type theory and computation, remain foundationally and practically significant in computer science, logic, and related areas. These include applications in type disciplines, meta-logics for computational phenomena, and explanatory frameworks in philosophical logic. The workshop aims to explore theoretical and methodological issues at the intersection of constructive proof theory and modal semantics, as well as practical questions about which modal connectives and rules best capture computational phenomena at appropriate levels of abstraction.
**Invited speakers**
- Brigitte Pientka (McGill University, Montreal, Canada)
- Ranald Clouston (ANU, Canberra, Australia)
- More to be confirmed.**Submissions**
We invite abstracts for contributed talks of up to *2 pages* (excluding bibliography). They may describe published work, unpublished work, or work in progress. We especially encourage submissions from students and early-career researchers.Abstracts should be submitted via the workshop’s submission page:
https://submissions.floc26.org/imla/(ctd)
-
In this week's #blog I write briefly about a 2001 paper on designing lambda calculi for intuitionistic modal logic. https://blogs.fediscience.org/the-updated-scholar/2025/08/15/discussing-extended-curry-howard-correspondence-for-a-basic-constructive-modal-logic/ #logic #modalLogic #proofTheory #typeTheory
-
New preprint: Functional Causation Beyond Spacetime: A Non-Metric Framework for Temporal Structure
Can causal direction emerge from internal asymmetries rather than geometry?
📄 PDF: https://philpapers.org/rec/LENFCB
🔍 #Causality #ModalLogic #StructuralRealism #PhilosophyOfPhysics -
My paper 'Semantical Analysis of Intuitionistic Modal Logics between CK and IK', with Jim de Groot and Ian Shillito, is now in its final edited preprint form: https://arxiv.org/abs/2408.00262 . I will travelling to #LICS #LICS2025 to present it in Singapore in late June. #logic #modalLogic
-
$Trump ordered government agencies to prepare for mining the ocean floor.
Just because it is legal does not mean you should do it. Permission is not obligation.
Just say no. They have no power if you ignore them.
-
$Trump ordered government agencies to prepare for mining the ocean floor.
Just because it is legal does not mean you should do it. Permission is not obligation.
Just say no. They have no power if you ignore them.
-
$Trump ordered government agencies to prepare for mining the ocean floor.
Just because it is legal does not mean you should do it. Permission is not obligation.
Just say no. They have no power if you ignore them.
-
$Trump ordered government agencies to prepare for mining the ocean floor.
Just because it is legal does not mean you should do it. Permission is not obligation.
Just say no. They have no power if you ignore them.
-
$Trump ordered government agencies to prepare for mining the ocean floor.
Just because it is legal does not mean you should do it. Permission is not obligation.
Just say no. They have no power if you ignore them.
-
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.
-
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.)
-
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.
-
An explanation of what axioms and mathematical proofs really are. With a reference to my tool that helps exploring some of them.
https://math.codidact.com/posts/290943/291261#answer-291261
#Logic #Axioms #Mathematics #ProofTheory #HilbertSystems #ModalLogic #Research #Software
-
#Blog today: I look at a new structure of #PossibleWorlds for Intuitionistic #ModalLogic in Plotkin and Stirling's 1986 "A Framework for Intuitionistic Modal Logics" https://updatedscholar.blogspot.com/2022/11/discussing-framework-for-intuitionistic.html #logic