Mechanizing proofs with logical relations - Kripke-style.
Andrew CaveBrigitte PientkaPublished in: Math. Struct. Comput. Sci. (2018)
Keyphrases
- logical structure
- inference rules
- modal logic
- desirable properties
- decision procedures
- temporal logic
- theorem prover
- theorem proving
- logical theories
- model checking
- automated theorem provers
- data sets
- logical properties
- logical framework
- preference relations
- spatial relations
- description logics
- relational databases
- case study
- decision trees
- information systems