A Separation Logic for Fictional Sequential Consistency.

Filip Sieczkowski Kasper Svendsen Lars Birkedal Jean Pichon-Pharabod

Published in: ESOP (2015)

Keyphrases

logic programming
consistency checking
classical logic
database
modal logic
game play
automated reasoning
digital circuits
multi agent systems
constraint networks
computational properties
path consistency
deontic logic