Sign in
Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic.
Guido Fiorino
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