Call Me by Your Name: Epistemic Logic with Assignments and Non-rigid Names.

Jeremy Seligman Yanjing Wang

Published in: CoRR (2018)

Keyphrases

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