Login / Signup
Cyclic Proof Systems for Modal Logics.
Bahareh Afshari
Published in:
AiML (2020)
Keyphrases
</>
modal logic
decision procedures
theorem proving
temporal logic
reasoning systems