A Proof System with Names for Modal Mu-calculus.
Colin StirlingPublished in: Festschrift for Dave Schmidt (2013)
Keyphrases
- modal logic
- sequent calculus
- cut elimination
- inference rules
- proof search
- temporal logic
- transition systems
- person names
- nonmonotonic logics
- classical logic
- linear time temporal logic
- keywords
- situation calculus
- model checker
- database
- data sets
- development environment
- relational calculus
- linear logic
- search procedure
- model checking
- co occurrence
- default logic
- modal operators
- automated theorem proving
- natural deduction
- provably correct
- computer algebra
- case study
- knowledge base
- artificial intelligence
- machine learning