Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistic Logic.
Paul TarauPublished in: LOPSTR (2020)
Keyphrases
- natural deduction
- theorem prover
- intuitionistic logic
- theorem proving
- cut elimination
- inference rules
- first order logic
- automated reasoning
- automated theorem proving
- sequent calculus
- term rewriting
- proof search
- formal semantics
- classical logic
- formal proof
- linear logic
- belief change
- fuzzy set theory
- knowledge base
- desirable properties
- description logics
- search space