Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version).
Cormac FlanaganStephen N. FreundPublished in: CoRR (2024)
Keyphrases
- automated reasoning
- proof theory
- derivation rules
- logic programming
- modal logic
- multi valued
- logical framework
- computational properties
- intuitionistic logic
- predicate logic
- order of magnitude reasoning
- knowledge representation
- logical inference
- reasoning engine
- probabilistic logic
- human reasoning
- functional programs
- proof theoretic
- proof procedure
- commonsense reasoning
- formal theory
- knowledge representation formalisms
- reasoning about actions
- theorem proving