Sign in
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