Explore >> Select a destination

You are here

 richardzach.org
Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D - Richard Zach
| | openlogicproject.org
Many-valued logic in the OLP - Open Logic Project
12.7 parsecs away

Travel
| | We have four new chapters in the OLP. They contain draft material on many-valued logics. The Introduction explains their syntax and semantics in general terms. A chapter on three-valued logics disc...
| | consequently.org
Collection Frames for Distributive Substructural Logics - consequently.org
10.0 parsecs away

Travel
| |
| | jdh.hamkins.org
What is second-order predicate modal logic? FoMoLo Seminar, February 2024 | Joel David Hamkins
7.3 parsecs away

Travel
| | This will be a talk for the First-order Modal Logic (FoMoLo) Seminar, 12 February 2024. The talk will take place online via Zoom-contact the organizers for access. Abstract. What is or should be th...
| | wargamecampaign.wordpress.com
BRITANNIAcover-pic43828 - Wargame Campaign
42.2 parsecs away

Travel
| [AI summary] The blog post discusses game design and related topics, with a focus on wargame rules and maps, and includes subscription details and privacy information.