10 citations · 27 across the 12 of their papers we have counts for
12 papers
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…
Bayesian Games with Intentions
Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass
We show that standard Bayesian games cannot represent the full spectrum of belief-dependent preferences. However, by introducing a fundamental distinction between intended and actu…
Language-based Games
Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass
We introduce language-based games, a generalization of psychological games [6] that can also capture reference-dependent preferences [7]. The idea is to extend the domain of the ut…
Topological Subset Space Models for Public Announcements
Adam Bjorndahl
We reformulate a key definition given by Wang and Agotnes (2013) to provide semantics for public announcements in subset spaces. More precisely, we interpret the precondition for a…