Robert Trypuz

• Krister Segerberg On Logic Of Actions
• Formal ontology of action