Title: Intentional Logic
First published: May 1994