Truth and modality for knowledge representation / ; By Turner, Raymond

Format: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.
Copyright:1990
ISBN:0273031864
LCCN:B840.T90L
Publisher:London : Pitman,
Physical Details: V, 119 p. ; 25 cm.
Record No.:3119
Type/Format Call Number Location Due Date Last Seen Barcode
Books B840.T90L Istituto di Ingegneria Biomedica 2010-04-13 LADSEB3807