In earlier work, we introduced the framework of language-based decisions...
In Savage's classic decision-theoretic framework, actions are formally
d...
We develop a logical framework for reasoning about knowledge and evidenc...
This paper proposes new semantics for nondeterministic program execution...
We investigate the connection between the two major mathematical framewo...