Stalnaker's Epistemic Logic.

Laura P. Gamboa Guzman

Published in: Arch. Formal Proofs (2022)

Keyphrases

epistemic logic
model checking
modal logic
dynamic epistemic logic
multi agent systems
inference rules
formal semantics
temporal logic
mathematical theory
multi faceted
logical framework
computation tree logic
formal verification
model checker