Sun Mon Tue Wed Thu Fri Sat
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
Bjorndahl: The Epistemology of Nondeterminism. Logic, Probability, and Games Seminar 4:00 pm
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[...]
30
31