Lexical Axioms in Episodic Logic

Nominal Axioms