A Formal Proof of Modal Completeness for Provability Logic.
Marco MaggesiCosimo Perini BrogiPublished in: ITP (2021)
Keyphrases
- formal proof
- modal logic
- theorem prover
- nonmonotonic logics
- automated reasoning
- inference rules
- classical logic
- logic programming
- epistemic logic
- multi valued
- data quality
- transition systems
- temporal logic
- theorem proving
- default logic
- neural network
- delay insensitive
- proof theory
- real time
- natural deduction
- order sorted
- dynamic logic
- predicate logic
- probabilistic logic
- graphical models
- information systems
- artificial intelligence
- data sets