Topological Generalizations of Possible Worlds Semantics and Their Proof Systems
Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only! Grab it Explore topological generalizations of possible worlds semantics and their proof systems in this 32-minute lecture by Sara Negri. Delve into the framework of neighbourhood semantics and its applications to modal and conditional logics. Examine the transition from Kripke semantics to neighbourhood semantics, and discover how these concepts relate to modalities and conditionals. Investigate non-normal logics and the process of deriving sequent calculus rules from neighbourhood semantics. Learn about monotonic systems, structural properties of NS-sequent calculi, and improvements for non-monotonic systems. Analyze bi-neighbourhood semantics, including labelled calculus, soundness, completeness, and optimization techniques. Gain insights into ongoing research in this field, based on collaborative work with Nicola Olivetti, Marianna Girlando, and Tiziano Delmonte.