Non-monotonic and conditional logic

Master of Logic project, January 2020

Here is a list of suggested papers or problems for your individual research in the second part of the project.

Time Place Contents Exercises
Mon, 6 Jan,
13:00
SP G3.05 (slides) basic semantics, applications, posets exercises due Wed, 8 Jan, 10:00
Wed, 8 Jan,
11:00
SP G2.13 (slides) bisimulations, validity, System P exercises due Thu, 9 Jan, 14:00
Thu, 9 Jan,
15:00
SP G3.05 (slides) definability, disjoint sums exercises due Mon, 13 Jan, 12:00
Mon, 13 Jan,
13:00
SP G3.05 (slides) neighborhood sem., convex geometries exercises due Wed, 15 Jan, 10:00
Wed, 15 Jan,
11:00
SP G2.13 (slides) completeness neighborhood semantics exercises due Thu, 16 Jan, 14:00
Thu, 16 Jan,
15:00
SP G3.05 (slides) completeness orders, probabilistic sem. Work on the presentation!
Wed, 22 Jan,
11:00
SP G2.13 preparation student presentations
Wed, 29 Jan,
11:00
SP G2.13 student presentations