Login / Signup
An Epistemic Logic with Quantification over Names.
Andrew R. Haas
Published in:
Comput. Intell. (1995)
Keyphrases
</>
epistemic logic
modal logic
model checking
logical framework
multi agent systems
dynamic epistemic logic
inference rules
multi faceted
formal semantics
mathematical theory
computation tree logic
temporal logic
image processing
programming language
description logics
mathematical models