Epistemic logic without closure.

Stephan Leuenberger Martin Smith

Published in: Synth. (2021)

Keyphrases

epistemic logic
model checking
modal logic
multi agent systems
dynamic epistemic logic
inference rules
logical framework
multi faceted
computation tree logic
formal semantics
temporal logic
formal specification
mathematical theory
model checker
artificial intelligence
domain independent
state space