Login / Signup
A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq.
Ariel Agne Da Silveira
Rodrigo Ribeiro
Miguel Alfredo Nunes
Paulo Torrens
Karina Girardi Roggia
Published in:
SBLP (2022)
Keyphrases
</>
modal logic
inference rules
temporal logic
decision procedures
theorem prover
classical logic
situation calculus
nonmonotonic logics
epistemic logic
default logic
vector space
model checking
artificial intelligence
theorem proving
formal methods
conjunctive queries
action theories