What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?
Tanguy BozecNicolas PeltierQuentin PetitjeanMihaela SighireanuPublished in: IJCAR (2) (2024)
Keyphrases
- linear time temporal logic
- logic programming
- automata theoretic
- modal logic
- first order logic
- automated reasoning
- classical logic
- function symbols
- database
- logic programs
- connected components
- multi valued
- action theories
- sound and complete axiomatization
- cut elimination
- asynchronous circuits
- predicate logic
- datalog programs
- computational properties
- data model
- databases