Buch

---

Übersicht

---

Verlag	:	Springer Netherland
Buchreihe	:	Applied Logic Series (Bd. 7)
Sprache	:	Englisch
Erschienen	:	06. 12. 2010
Seiten	:	294
Einband	:	Kartoniert
Höhe	:	235 mm
Breite	:	155 mm
Gewicht	:	474 g
ISBN	:	9789048148974
Sprache	:	Englisch

---

Inhaltsverzeichnis

---

Modal Quantification over Structured Domains.- Modal Logic and Model-Theoretic Syntax.- The Functional Interpretation of Modal Necessity.- Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic.- The Logic of Correct Description.- Modal Logics of Arrows.- A Full-Circle Theorem for Simple Tense Logic.- Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline.- The Modal Object Calculus and its Interpretation.- Name Index.

Deine Buchhandlung

---