https://events.illc.uva.nl/Phi-Math/locations/sp900/lab42-l1.07/ Recent content in SP900/Lab42 L1.07 on Φ-Math Hugo en-GB Fri, 24 Apr 2026 13:30:00 +0100 https://events.illc.uva.nl/Phi-Math/events/2026-04-24-pablo-rivas-robledo-intorudction-to-non-deterministic-modal-logic/ Fri, 24 Apr 2026 13:30:00 +0100 https://events.illc.uva.nl/Phi-Math/events/2026-04-24-pablo-rivas-robledo-intorudction-to-non-deterministic-modal-logic/ <p>In this short talk I (P. Pablo Rivas Robledo) will try to provide a concise and self-contained introduction to Non-deterministic semantics for modal logic, which are sometimes dubbed as &lsquo;semantics for modal logic without possible worlds&rsquo; or &rsquo;truth-tables for modal logic&rsquo;. We will start from the weakest (non-normal) modal logic and recover significant fragments of the modal cube. To do so, we will use standard tools of the literature, namely Coniglio&rsquo;s snapshots and Gräz&rsquo;s algorithm to recover necessitation. I will finish by mentioning some recent applications of the semantic framework to non-classical modal logic and intuitionistic logic. Please bring something to write and where to do it, so that you can see the magic for yourselves.</p>