Towards a Coq formalization of a quantified modal logic.
Ana de Almeida BorgesPublished in: CoRR (2022)
Keyphrases
- modal logic
- inference rules
- decision procedures
- temporal logic
- theorem prover
- conditional logic
- formal methods
- classical logic
- default logic
- epistemic logic
- nonmonotonic logics
- situation calculus
- prime implicates
- model checking
- sequent calculus
- machine learning
- formal model
- knowledge representation
- operational semantics
- logical framework
- data model
- multi agent
- artificial intelligence