Stalnaker's Epistemic Logic in Isabelle/HOL.
Laura P. Gamboa GuzmanKristin Y. RozierPublished in: CoRR (2024)
Keyphrases
- epistemic logic
- inference rules
- natural deduction
- theorem prover
- modal logic
- formal semantics
- logical framework
- dynamic epistemic logic
- first order logic
- automated reasoning
- theorem proving
- computation tree logic
- model checking
- multi agent systems
- temporal logic
- mathematical theory
- multi faceted
- computational model
- object oriented
- reinforcement learning