24 Sun 25 Mon 26 Tue 27 Wed 28 Thu 29 Fri 30 Sat
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
4:00 pm Bjorndahl: The Epistemology of Nondeterminism. Logic, Probability, and Games Seminar @ Faculty House, Columbia U
Bjorndahl: The Epistemology of Nondeterminism. Logic, Probability, and Games Seminar @ Faculty House, Columbia U
Mar 29 @ 4:00 pm
Propositional dynamic logic (PDL) is a framework for reasoning about nondeterministic program executions (or, more generally, nondeterministic actions). In this setting, nondeterminism is taken as a primitive: a program is nondeterministic iff it has multiple possible outcomes. But what is the sense of “possibility” at play here? This talk explores an epistemic interpretation: working in an enriched logical setting, we represent nondeterminism as a relationship between a program and an agent deriving from the agent’s[...]