101010.pl

CubeRootOfTrue$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.<a href="https://mathstodon.xyz/tags/JustSayNo" class="mention hashtag" rel="nofollow noopener" target="_blank">#JustSayNo</a> <a href="https://mathstodon.xyz/tags/ModalLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#ModalLogic</a> <a href="https://mathstodon.xyz/tags/RM3" class="mention hashtag" rel="nofollow noopener" target="_blank">#RM3</a>

Jesper Agdakx 🔸With the NWO XL consortium on Cyclic Structures in Programs and Proofs, we are looking for 6 highly motivated and talented PhD students starting in September (with some flexibility). The topics range from Modal logic, proof theory, and coalgebras to Programming languages, concurrency, and type systems and Proof assistants (#Agda, <a class="hashtag" href="https://agda.club/tag/rocq" rel="nofollow noopener" target="_blank">#Rocq</a>). Information about the positions and application procedure can be found on the website: <a href="https://cyclic-structures.gitlab.io/vacancies/" rel="nofollow noopener" target="_blank">cyclic-structures.gitlab.io/vacancies/</a> Please forward to any strong candidates you know! <a class="hashtag" href="https://agda.club/tag/typetheory" rel="nofollow noopener" target="_blank">#TypeTheory</a> <a class="hashtag" href="https://agda.club/tag/modallogic" rel="nofollow noopener" target="_blank">#ModalLogic</a> <a class="hashtag" href="https://agda.club/tag/concurrency" rel="nofollow noopener" target="_blank">#Concurrency</a> <a class="hashtag" href="https://agda.club/tag/programminglanguages" rel="nofollow noopener" target="_blank">#ProgrammingLanguages</a> <a class="hashtag" href="https://agda.club/tag/typesystems" rel="nofollow noopener" target="_blank">#TypeSystems</a> <a class="hashtag" href="https://agda.club/tag/proofassistants" rel="nofollow noopener" target="_blank">#ProofAssistants</a> <a class="hashtag" href="https://agda.club/tag/cyclicstructures" rel="nofollow noopener" target="_blank">#CyclicStructures</a> <a class="hashtag" href="https://agda.club/tag/phd" rel="nofollow noopener" target="_blank">#PhD</a> <a class="hashtag" href="https://agda.club/tag/netherlands" rel="nofollow noopener" target="_blank">#Netherlands</a> <a class="hashtag" href="https://agda.club/tag/universityofgroningen" rel="nofollow noopener" target="_blank">#UniversityOfGroningen</a> <a class="hashtag" href="https://agda.club/tag/leidenuniversity" rel="nofollow noopener" target="_blank">#LeidenUniversity</a> <a class="hashtag" href="https://agda.club/tag/universityoftwente" rel="nofollow noopener" target="_blank">#UniversityOfTwente</a> <a class="hashtag" href="https://agda.club/tag/tudelft" rel="nofollow noopener" target="_blank">#TUDelft</a> <a class="hashtag" href="https://agda.club/tag/radbouduniversity" rel="nofollow noopener" target="_blank">#RadboudUniversity</a>

HoldMyTypecontd Here is what I consider one of the biggest mistakes of all in <a href="https://mathstodon.xyz/tags/modallogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#modallogic</a>: 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.

RanaldCloustonLater this week, or maybe next week, on my <a href="https://fediscience.org/tags/blog" class="mention hashtag" rel="nofollow noopener" target="_blank">#blog</a> I'll be writing about Davies and Pfenning's 'A Modal Analysis of Staged Computation' <a href="https://dl.acm.org/doi/abs/10.1145/382780.382785" rel="nofollow noopener" target="_blank">https://dl.acm.org/doi/abs/10.1145/382780.382785</a> <a href="https://fediscience.org/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#Logic</a> <a href="https://fediscience.org/tags/ModalLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#ModalLogic</a>

José A. AlonsoAdvancing automated theorem proving for the modal logics D and S5. ~ Jens Otten. <a href="https://ceur-ws.org/Vol-3326/ARQNL2022_paper5.pdf" rel="nofollow noopener" target="_blank">https://ceur-ws.org/Vol-3326/ARQNL2022_paper5.pdf</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#ATP</a> <a href="https://mathstodon.xyz/tags/ModalLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#ModalLogic</a> <a href="https://mathstodon.xyz/tags/MleanCoP" class="mention hashtag" rel="nofollow noopener" target="_blank">#MleanCoP</a> <a href="https://mathstodon.xyz/tags/nanoCoPM" class="mention hashtag" rel="nofollow noopener" target="_blank">#nanoCoPM</a>

Leonardo PachecoI 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.<a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/ModalLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#ModalLogic</a> <a href="https://mathstodon.xyz/tags/EpistemicLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#EpistemicLogic</a>

Recent searches

Search options

Administered by:

Server stats:

#ModalLogic