Formal Semantics of Temporal Epistemic Reflection.

Wiebe van der Hoek John-Jules Ch. Meyer Jan Treur

Published in: META (1994)

Keyphrases

formal semantics
epistemic logic
temporal epistemic
computation tree logic
modeling language
formal language
logical language
operational semantics
logical reasoning
theorem prover
modelling language
first order logic
machine learning
database