Title: Partial logic and modal logic
First published: 1990