Towards a Coq Formalization of a Quantified Modal Logic.

Ana de Almeida Borges

Published in: ARQNL@IJCAR (2022)

Keyphrases

modal logic
inference rules
temporal logic
decision procedures
theorem prover
epistemic logic
classical logic
nonmonotonic logics
conditional logic
formal methods
formal model
logical framework
operational semantics
situation calculus
autoepistemic logic
dynamic logic
prime implicates
machine learning