Sun | Mon | Tue | Wed | Thu | Fri | Sat |
---|---|---|---|---|---|---|
Logic Seminar: Modal logic of provability (David Webb)
10:30 am
Logic Seminar: Modal logic of pr...
Nov 2 @ 10:30 am – 11:30 am
|
||||||
David Webb: Kripke semantics for the provability logic GL
10:30 am
David Webb: Kripke semantics for...
Nov 9 @ 10:30 am – 11:30 am
|
||||||
Logic seminar: Janitha Aswedige
10:30 am
Logic seminar: Janitha Aswedige
Nov 23 @ 10:30 am – 11:30 am
Janitha Awedige will discuss the paper “Inference Rules for Probability Logic” by Marija Boricic.
|
||||||