Completed
Optimization-TLSE (3)
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Topological Generalizations of Possible Worlds Semantics and Their Proof Systems
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 From Kripke (relational) to neighbourhood semantics
- 3 Neighbourhood Semantics (cont.)
- 4 The link between neighbourhood semantics and
- 5 Modalities and conditionals through neighbourhood semantics
- 6 Non-normal logics (classical modal logics)
- 7 From neighbourhood semantics to sequent calculus rules
- 8 From (classical modal) axioms to (NS) rules
- 9 Monotonic systems In some cases, instead of adding extra neighbourhood
- 10 Structural properties of NS-sequent calculi
- 11 Improvements for non-monotonic systems
- 12 Bi-neighbourhood semantics
- 13 A bi-neighbourhood labelled calculus-LSE (2)
- 14 Soundness and completeness
- 15 Optimization-TLSE (3)
- 16 Completeness and decidability
- 17 Summary
