Develops new semantical characterisations of many logical systems with quantification that are incomplete under the traditional Kripkean possible worlds interpretation.
Develops new semantical characterisations of many logical systems with quantification that are incomplete under the traditional Kripkean possible worlds interpretation.
Robert Goldblatt is a Professor of Pure Mathematics at the Victoria University of Wellington, New Zealand, and a Fellow of the Royal Society of New Zealand. He has served as the Co-ordinating Editor of the Journal of Symbol Logic and has been a Managing Editor of Studia Logica for the past two decades.
Inhaltsangabe
Introduction and overview 1. Logics with actualist quantifiers 2. The Barcan formulas 3. The existence predicate 4. Propositional functions and predicate substitution 5. Identity 6. Cover semantics for relevant logic References Index.
Introduction and overview 1. Logics with actualist quantifiers 2. The Barcan formulas 3. The existence predicate 4. Propositional functions and predicate substitution 5. Identity 6. Cover semantics for relevant logic References Index.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
