HistMSO is a new MSO logic that expresses 39 of 42 consistency models and reduces satisfiability and model-checking to MSO over words via the MONA tool.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
extension 1
citation-polarity summary
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1roles
extension 1polarities
extend 1representative citing papers
citing papers explorer
-
HistMSO: A Logic for Reasoning about Consistency Models with MONA
HistMSO is a new MSO logic that expresses 39 of 42 consistency models and reduces satisfiability and model-checking to MSO over words via the MONA tool.