10 citations · 14 across the 4 of their papers we have counts for
4 papers
Reasoning about Unreliable Actions
Graham White
We analyse the philosopher Davidson's semantics of actions, using a strongly typed logic with contexts given by sets of partial equations between the outcomes of actions. This prov…
The Consumption of Reference Resources
G. A. White, J. A. Vaccaro, H. M. Wiseman
Under the operational restriction of the U(1)-superselection rule, states that contain coherences between eigenstates of particle number constitute a resource. Such resources can b…
Optimal reference states for maximum accessible entanglement under the local particle number superselection rule
G. A. White, J. A. Vaccaro, H. M. Wiseman
Global conservation laws imply superselection rules (SSR) which restrict the operations that are possible on any given state. Imposing the additional constraint of local operations…
Causality, Modality and Explanation
Graham White
We present a sequent calculus system for a modal reformulation of a system of nonmonotonic logic due to McCain and Turner: we prove cut elimination for our system. The proof system…