Buch, Englisch, Band 23, 255 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 406 g
Reihe: Applied Logic Series
In Honour of Karel Lambert
Buch, Englisch, Band 23, 255 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 406 g
Reihe: Applied Logic Series
ISBN: 978-90-481-5915-4
Verlag: Springer Netherlands
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
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.