247 citations · 1.8k across the 152 of their papers we have counts for
14 papers · 1 filter
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…
Partial Awareness
Joseph Y. Halpern, Evan Piermont
We develop a modal logic to capture partial awareness. The logic has three building blocks: objects, properties, and concepts. Properties are unary predicates on objects; concepts…
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…
A Symbolic Logic with Concrete Bounds for Cryptographic Protocols
Anupam Datta, Joseph Y. Halpern, John C. Mitchell +2
We present a formal logic for quantitative reasoning about security properties of network protocols. The system allows us to derive concrete security bounds that can be used to cho…
Knowledge-Based Synthesis of Distributed Systems Using Event Structures
Mark Bickford, Robert Constable, Joseph Halpern +1
To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification exists. Thi…