Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
shakedown.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A community for live music fans with roots in the jam scene. Shakedown Social is run by a team of volunteers (led by @clifff and @sethadam1) and funded by donations.

Administered by:

Server stats:

285
active users

shakedown.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#Modallogic

1 post1 participant0 posts today
CubeRootOfTrue<p>$Trump ordered government agencies to prepare for mining the ocean floor.</p><p>Just because it is legal does not mean you should do it. Permission is not obligation.</p><p>Just say no. They have no power if you ignore them.</p><p><a href="https://mathstodon.xyz/tags/JustSayNo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>JustSayNo</span></a> <a href="https://mathstodon.xyz/tags/ModalLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ModalLogic</span></a> <a href="https://mathstodon.xyz/tags/RM3" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RM3</span></a></p>
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).<br><br>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 noreferrer" target="_blank">#Rocq</a>).<br><br>Information about the positions and application procedure can be found on the website:<br><br><a href="https://cyclic-structures.gitlab.io/vacancies/" rel="nofollow noopener noreferrer" target="_blank">cyclic-structures.gitlab.io/vacancies/</a><br><br>Please forward to any strong candidates you know!<br><br><a class="hashtag" href="https://agda.club/tag/typetheory" rel="nofollow noopener noreferrer" target="_blank">#TypeTheory</a> <a class="hashtag" href="https://agda.club/tag/modallogic" rel="nofollow noopener noreferrer" target="_blank">#ModalLogic</a> <a class="hashtag" href="https://agda.club/tag/concurrency" rel="nofollow noopener noreferrer" target="_blank">#Concurrency</a> <a class="hashtag" href="https://agda.club/tag/programminglanguages" rel="nofollow noopener noreferrer" target="_blank">#ProgrammingLanguages</a> <a class="hashtag" href="https://agda.club/tag/typesystems" rel="nofollow noopener noreferrer" target="_blank">#TypeSystems</a> <a class="hashtag" href="https://agda.club/tag/proofassistants" rel="nofollow noopener noreferrer" target="_blank">#ProofAssistants</a> <a class="hashtag" href="https://agda.club/tag/cyclicstructures" rel="nofollow noopener noreferrer" target="_blank">#CyclicStructures</a> <a class="hashtag" href="https://agda.club/tag/phd" rel="nofollow noopener noreferrer" target="_blank">#PhD</a> <a class="hashtag" href="https://agda.club/tag/netherlands" rel="nofollow noopener noreferrer" target="_blank">#Netherlands</a> <a class="hashtag" href="https://agda.club/tag/universityofgroningen" rel="nofollow noopener noreferrer" target="_blank">#UniversityOfGroningen</a> <a class="hashtag" href="https://agda.club/tag/leidenuniversity" rel="nofollow noopener noreferrer" target="_blank">#LeidenUniversity</a> <a class="hashtag" href="https://agda.club/tag/universityoftwente" rel="nofollow noopener noreferrer" target="_blank">#UniversityOfTwente</a> <a class="hashtag" href="https://agda.club/tag/tudelft" rel="nofollow noopener noreferrer" target="_blank">#TUDelft</a> <a class="hashtag" href="https://agda.club/tag/radbouduniversity" rel="nofollow noopener noreferrer" target="_blank">#RadboudUniversity</a>
RanaldClouston<p>I am excited to announce a new (submitted preprint) paper, on intuitionistic <a href="https://fediscience.org/tags/modalLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>modalLogic</span></a> (s) and their Kripke frames (relational semantics). If interested please do read the paper, which is co-written with Jim de Groot and Ian Shillito, but I'll also write a short thread here about it too... <a href="https://arxiv.org/abs/2408.00262" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2408.00262</span><span class="invisible"></span></a> <a href="https://fediscience.org/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://fediscience.org/tags/intuitionisticLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>intuitionisticLogic</span></a></p>
ExploreLive feeds
About