Formalizing a Seligman-Style Tableau System for Hybrid Logic.
Asta Halkjær FromPublished in: Arch. Formal Proofs (2019)
Keyphrases
- description logics
- automated theorem proving
- proof procedure
- modal logic
- proof search
- logic programming
- classical logic
- control system
- machine learning
- multi valued
- automated reasoning
- defeasible logic
- asynchronous circuits
- information systems
- search engine
- database
- tableau calculus
- sound and complete axiomatization