Interactive and Automated Proofs in Modal Separation Logic (Invited Talk).
Robbert KrebbersPublished in: ITP (2023)
Keyphrases
- invited talk
- modal logic
- nonmonotonic logics
- automated theorem provers
- natural deduction
- selected papers
- knowledge discovery and data mining
- cut elimination
- sequent calculus
- computer algebra
- proof search
- user interaction
- inference rules
- information systems
- classical logic
- dynamic logic
- logic programming
- metadata
- modal operators
- program committee
- learning process
- theorem proving
- computer science
- expert systems
- default logic
- case based reasoning