14 citations · 16 across the 7 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2018
On the Semantics of Snapshot Isolation
Azalea Raad, Ori Lahav, Viktor Vafeiadis
Snapshot isolation (SI) is a standard transactional consistency model used in databases, distributed systems and software transactional memory (STM). Its semantics is formally defi…
cs.LO2017
Sequent systems for negative modalities
Ori Lahav, João Marcos, Yoni Zohar
Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the rep…
cs.LO2016★ 2 cited
It ain't necessarily so: Basic sequent systems for negative modalities
Ori Lahav, João Marcos, Yoni Zohar
We look at non-classical negations and their corresponding adjustment connectives from a modal viewpoint, over complete distributive lattices, and apply a very general mechanism in…