Towards Concurrent Quantitative Separation Logic.
Ira FesefeldtJoost-Pieter KatoenThomas NollPublished in: CoRR (2022)
Keyphrases
- modal logic
- predicate logic
- logic programming
- classical logic
- qualitative and quantitative
- probabilistic logic
- automated reasoning
- multi valued
- inference rules
- digital circuits
- defeasible logic
- sound and complete axiomatization
- epistemic logic
- natural deduction
- delay insensitive
- concurrent programming
- database
- quantitative measures
- logical framework
- temporal logic
- knowledge base
- machine learning
- data sets