Buch

---

Übersicht

---

Verlag	:	Springer Netherland
Buchreihe	:	Applied Logic Series (Bd. 23)
Sprache	:	Englisch
Erschienen	:	31. 12. 2001
Seiten	:	255
Einband	:	Gebunden
Höhe	:	234 mm
Breite	:	156 mm
Gewicht	:	1220 g
ISBN	:	9781402002168
Sprache	:	Englisch

---

Inhaltsverzeichnis

---

Free Logic: A Fifty-Year Past and an Open Future.- I / Names and Definite Descriptions.- Free Logic and Definite Descriptions.- Calculi of Names: Free and Modal.- II / Modalities.- Free Logic and Quantification in Syntactic Modal Contexts.- Substitution, Quantifiers and Identity in Modal Logic.- Free Epistemic Logic.- III / Semantics and Programming.- Supervaluational Free Logic and the Logic of Information Growth.- “No Input, No Output” Logic.- Free Logic in Program Specification and Verification.- IV / History.- Existence and Reference in Medieval Logic.- Can Meinongian Logic Be Free?.- V / Comments.- Comments.- Index of Persons.

Deine Buchhandlung

---