Modality Definition Synthesis for Epistemic Intuitionistic Logic via a Theorem Prover.
Paul TarauPublished in: CoRR (2019)
Keyphrases
- theorem prover
- natural deduction
- intuitionistic logic
- theorem proving
- inference rules
- first order logic
- automated reasoning
- cut elimination
- term rewriting
- sequent calculus
- automated theorem proving
- formal proof
- proof search
- formal semantics
- classical logic
- linear logic
- artificial intelligence
- boolean algebra
- predicate calculus
- bayesian networks