46 citations · 104 across the 12 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 2 cited
Categories for Dynamic Epistemic Logic
Kohei Kishida
The primary goal of this paper is to recast the semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in category-theoretic terms. We first review the category…
quant-ph2017
Minimum quantum resources for strong non-locality
Samson Abramsky, Rui Soares Barbosa, Giovanni Carù +3
We analyse the minimum quantum resources needed to realise strong non-locality, as exemplified e.g. by the classical GHZ construction. It was already known that no two-qubit system…