Epistemic logic with identifiers.

James McLelland

Published in: Notre Dame J. Formal Log. (1976)

Keyphrases

epistemic logic
modal logic
model checking
multi agent systems
dynamic epistemic logic
logical framework
inference rules
source code
multi faceted
formal semantics
mathematical theory
computation tree logic
temporal logic
complex systems
model checker
logic programs
multi agent
image processing