Alternating Projection Temporal Epistemic Logic.

Haiyang Wang Jin Liu Jing Liu

Published in: SOFL+MSVL (2022)

Keyphrases

epistemic logic
temporal epistemic
model checking
modal logic
dynamic epistemic logic
multi agent systems
logical framework
computation tree logic
temporal information
multi faceted
inference rules
formal semantics
temporal properties
temporal reasoning
temporal logic