36 citations · 80 across the 8 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 4 cited
Probabilistic logics based on Riesz spaces
Robert Furber, Radu Mardare, Matteo Mio
We introduce a novel real-valued endogenous logic for expressing properties of probabilistic transition systems called Riesz modal logic. The design of the syntax and semantics of…
cs.LO2019★ 2 cited
Categorical Equivalences from State-Effect Adjunctions
Robert Furber
From every pair of adjoint functors it is possible to produce a (possibly trivial) equivalence of categories by restricting to the subcategories where the unit and counit are isomo…