Andreja Prijatelj Representation theorem for models of dynamic intensional logic__
2005
To start with (I) : the additional primitive symbols and syntactic rules in volved with new syntactic categories, added to those of the syntactic system of EL are given below: (i) { .} ./. where V M denotes the set of discourse markers of type (s, e) and {^4/x} a state switcher acting on any term of an arbirtary type t.