Calendar

5 Mon
All-day
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
2:30 pm Jake Fennick: Probabilistic logic @ Keller 314
Jake Fennick: Probabilistic logic @ Keller 314
Nov 5 @ 2:30 pm – 3:30 pm
Title: Logic with Probability Quantifiers Abstract: This talk is based on chapter XIV of Model-Theoretic Logics (https://projecteuclid.org/euclid.pl/1235417263#toc). I will first give a brief review of admissible sets and the infinitary logic which is necessary for[...]