Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic.

Published in: J. Autom. Reason. (2023)

Keyphrases

epistemic logic
inference rules
logical framework
theorem prover
model checking
dynamic epistemic logic
modal logic
multi agent systems
formal semantics
natural deduction
theorem proving
desirable properties
fuzzy set theory
first order logic
multi faceted
search space
reinforcement learning
model checker