Login / Signup
A formal proof of modal completeness for provability logic.
Marco Maggesi
Cosimo Perini Brogi
Published in:
CoRR (2021)
Keyphrases
</>
formal proof
modal logic
theorem prover
nonmonotonic logics
classical logic
temporal logic
inference rules
epistemic logic
dynamic logic
modal operators
automated reasoning
logic programming
predicate logic
transition systems
digital circuits
pairwise
multi valued
logical framework
databases
formal theory