Joseph_Y.__Halpern
A counterexample to theorems of Cox and Fine
A critical reexamination of default logic, autoepistemic logic, and only knowing
A knowledge-based analysis of zero knowledge
A note on knowledge-based programs and specifications
A propositional modal logic of time intervals
A theory of knowledge and ignorance for many agents
Algorithmic knowledge
An analysis of First-Order Logics of Probability
Axiomatizing causal reasoning
Cox's Theorem Revisited
Decidability and expressiveness for first-order logics of probability
Defining relative likelihood in partially-ordered preferential structures
Knowledge and common knowledge in a distributed environment
Knowledge, probability, and adversaries
Levesque's axiomatization of only knowing is incomplete
Model checking vs. theorem proving: A manifesto
Modelling knowledge and action in distributed systems
Multi-agent only knowing
On the relationship between strand spaces and multi-agent systems
Presburger arithmetic with unary predicates is 1 complete
Reasoning about knowledge: An overview
Reasoning about noisy sensors and effectors in the situation calculus
Reasoning about noisy sensors in the situation calculus
Representation dependence in probabilistic inference
Semantic completeness for epistemic and conditional logic
The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
The relationship between knowledge, belief, and certainty
Towards a theory of knowledge and ignorance: Preliminary report
Using counterfactuals in Knowledge-based programming
Using first-order logic to reason about policies