10 citations · 27 across the 12 of their papers we have counts for
9 papers · 1 filter
Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge
Adam Bjorndahl
The TARK conference (Theoretical Aspects of Rationality and Knowledge) is a conference that aims to bring together researchers from a wide variety of fields, including computer sci…
Sequential Language-based Decisions
Adam Bjorndahl, Joseph Y. Halpern
In earlier work, we introduced the framework of language-based decisions, the core idea of which was to modify Savage's classical decision-theoretic framework by taking actions to…
Language-based Decisions
Adam Bjorndahl, Joseph Y. Halpern
In Savage's classic decision-theoretic framework, actions are formally defined as functions from states to outcomes. But where do the state space and outcome space come from? Expan…
Uncertainty About Evidence
Adam Bjorndahl, Aybüke Özgün
We develop a logical framework for reasoning about knowledge and evidence in which the agent may be uncertain about how to interpret their evidence. Rather than representing an evi…
The Epistemology of Nondeterminism
Adam Bjorndahl
This paper proposes new semantics for nondeterministic program execution, replacing the standard relational semantics for propositional dynamic logic (PDL). Under these new semanti…
Logic and Topology for Knowledge, Knowability, and Belief - Extended Abstract
Adam Bjorndahl, Aybüke Özgün
In recent work, Stalnaker proposes a logical framework in which belief is realized as a weakened form of knowledge. Building on Stalnaker's core insights, and using frameworks deve…
Endogenizing Epistemic Actions
Will Nalls, Adam Bjorndahl
Through a series of examples, we illustrate some important drawbacks that the action logic framework suffers from in its ability to represent the dynamics of information updates. W…
From Type Spaces to Probability Frames and Back, via Language
Adam Bjorndahl, Joseph Y. Halpern
We investigate the connection between the two major mathematical frameworks for modeling interactive beliefs: Harsanyi type spaces and possible-worlds style probability frames. Whi…
Logic and Topology for Knowledge, Knowability, and Belief
Adam Bjorndahl, Aybüke Özgün
In recent work, Stalnaker proposes a logical framework in which belief is realized as a weakened form of knowledge. Building on Stalnaker's core insights, and using frameworks deve…