An Algebraic Prolog for Reasoning about Possible Worlds

Open in new window