Re: state is how you behave to events ++ the first antibodhi law

as a law
  this can all be formalised in computational semantics

in fact
  it has

the classical correspondence morphisms
  between denotational and operational semantics
necessarily obey this law

that is the heart of the correspondence between behavior and state

also
  when reasoning about agents
it is common to use a language of behaviors
but when reasoning in epistemic or belief logics
  the common language is often one of states of affairs

agency logics that take advantage of the is_omorphism
can therefore be fully reflective reasoning systems

this type of reflection is needed
  for instance
in belief revision logics
and learning theory

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
galathaea: prankster, fablist, magician, liar