A Concise Introduction to Non-deterministic Semantics for Modal Logic
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 ‘semantics for modal logic without possible worlds’ or ’truth-tables for modal logic’. 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’s snapshots and Gräz’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.