Book

Truth and modality for knowledge representation

by Raymond Turner