contd
Here is what I consider one of the biggest
mistakes of all in #modallogic: concentration on a system with just one
modal operator. The only way to have any philosophically significant re-
sults in deontic logic or epistemic logic is to combine those operators with:
tense operators (otherwise how can you formulate principles of change?);
the logical operators (otherwise how can you compare the relative with
the absolute?); the operators like historical or physical necessity (otherwise
how can you relate the agent to his environment?); and so on and so on.
But where to stop? This list can be extended further and further. One
must stop somewhere, but to stop the list at one is obviously missing out
on something important. The point I am trying to make is that the
semantics being explained here allows for several operators side by side
in a simple convenient. and natural way: one has only to think what
coordinates i = (w, t, p. a . ... ) one wants. Furthermore one should not
forget the logical operators.

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

In this week's #blog I talk about a paper I know very well, Davies and Pfenning's 'A Modal Analysis of Staged Computation' https://updatedscholar.blogspot.com/2023/02/discussing-modal-analysis-of-staged.html #ModalLogic #CurryHoward

Later this week, or maybe next week, on my #blog I'll be writing about Davies and Pfenning's 'A Modal Analysis of Staged Computation' https://dl.acm.org/doi/abs/10.1145/382780.382785 #Logic #ModalLogic

Advancing automated theorem proving for the modal logics D and S5. ~ Jens Otten. https://ceur-ws.org/Vol-3326/ARQNL2022_paper5.pdf #ATP #ModalLogic #MleanCoP #nanoCoPM

A year ago, my #poetry #chapbook Kyborgi nimeltä Mu was published by a Finnish publisher #Poesia. It's a two-sided, #ergodic and #PostOulipean work influenced by #ZenBuddishm, cyborgs and severe heartache. I created my own vulgar logical system by combining #Lacanian algebra with different logical systems and principles, like #Python and #ModalLogic. The work was also #polyglottic, as it played with Swedish, French, English and the programmin languages.

I find 𝐾𝑃→𝑃 a quite reasonable axiom for epistemic logic. In an intuitive sense, one cannot know something false, that’s not knowing. But i find the dual 𝑃→𝐾̂𝑃 not satisfying. I’ve seen explanations of the dual modality 𝐾̂ as “epistemic possibility”; but I don’t think truth does not implies epistemic possibility.

#Logic #ModalLogic #EpistemicLogic

Yesterday, I did a presentation on fixed-points in IS5, an intuitionistic variation of the modal logic S5.
Slides available here: https://leonardopacheco.xyz/slides/akiu-2022.pdf

#Logic #ModalLogic #IntuitionisticLogic

Me: It's saturday and I've just been working outside; I should play #GenshinImpact

My brain, out of nowhere:

"Can we model server connections and safety considerations in terms of #ModalLogic? Something like '◻[A ≁ B]' implies '¬◇[A~B]'. This would allow us to model the fediverse such that…"

#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

After reading some rather large books for my #blog recently, I'll be looking at an 8 page long palate cleanser next week: Plotkin and Stirling's 1986 'A framework for intuitionistic modal logics' #logic #ModalLogic https://dl.acm.org/doi/10.5555/1029786.1029823

Today I taught #Kripke models. Good day! Always fun. There are many small things that I find funny about #Chellas’ #modal #logic book, but the breadth and variation is impressive given its relatively compact size.
#ModalLogic
#ModaleLogica
#AI #KI