most citedOptimal reference states for maximum accessible entanglement under the local particle number superselection rule

10 citations · 14 across the 4 of their papers we have counts for

collaborators
Showing math.LOShow all

2 papers · 1 filter

math.LO2012

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…

math.LO2008

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…