Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

Truth and modality for knowledge representation /

by Turner, Raymond
Normal View ISBD View
Published by : Pitman, (London : ) Physical details: V, 119 p. ; 25 cm. Year : 1990
No tags for this title. Log in to add tags.
Item type Location Call Number Copy Status Date Due
Books Istituto di Ingegneria Biomedica B840.T90L (Browse Shelf) 1 Available

Contents. 1. Reasoning agents. 2. Truth and paradox. 3. Truth through fixpoint. 4. Stable truth. 5. Frege structures. 6. Modal logic. 7. Truth in modal logic. 8. Predicative modality. 9. Conclusion.

There are no comments for this item.

Log in to your account to post a comment.
Important links here.