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 |