Alle Kategorien
Bücher
(Land-)Karten
Spielzeug
Kalender
Gesellschaftsspiele
Schreibwaren
Schule & Lernen
0,00 €*
Cover: 9789027706560 | Investigations in Modal and Tense Logics with Applications to...
Dekorationsartikel gehören nicht zum Leistungsumfang.
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
Buch von Dov M. Gabbay
Sprache: Englisch

134,95 €*

-16 % UVP 160,49 €
inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
This book is intended to serve as an advanced text and reference work on modal logic, a subject of growing importance which has applications to philosophy and linguistics. Although it is based mainly on research which I carried out during the years 1969-1973, it also includes some related results obtained by other workers in the field (see the refer­ ences in Part 7). Parts 0, 1 and 2, can be used as the basis of a one year graduate course in modal logic. The material which they contain has been taught in such courses at Stanford since 1970. The remaining parts of the book contain more than enough material for a second course in modal logic. The exercises supplement the text and are usually difficult. I wish to thank Stanford University and Bar-Han University for making it possible for me to continue and finish this work, and A. Ungar for correcting the typescript. Bar-Ilan University, Israel Dov M. GABBA Y PART 0 AN INTRODUCTION TO GENERAL INTENSIONAL LOGICS CHAPTER 0 CONSEQUENCE RELATIONS Motivation We introduce the notions of a consequence relation (which is a generalization of the notion of a logical system) and of a semantics. We show that every consequence relation is complete for a canonical semantics. We define the notion of one semantics being Dian in another and study the basic properties of this notion. The concepts of this chapter are generalizations of the various notions of logical system and possible world semantics found in the literature.
This book is intended to serve as an advanced text and reference work on modal logic, a subject of growing importance which has applications to philosophy and linguistics. Although it is based mainly on research which I carried out during the years 1969-1973, it also includes some related results obtained by other workers in the field (see the refer­ ences in Part 7). Parts 0, 1 and 2, can be used as the basis of a one year graduate course in modal logic. The material which they contain has been taught in such courses at Stanford since 1970. The remaining parts of the book contain more than enough material for a second course in modal logic. The exercises supplement the text and are usually difficult. I wish to thank Stanford University and Bar-Han University for making it possible for me to continue and finish this work, and A. Ungar for correcting the typescript. Bar-Ilan University, Israel Dov M. GABBA Y PART 0 AN INTRODUCTION TO GENERAL INTENSIONAL LOGICS CHAPTER 0 CONSEQUENCE RELATIONS Motivation We introduce the notions of a consequence relation (which is a generalization of the notion of a logical system) and of a semantics. We show that every consequence relation is complete for a canonical semantics. We define the notion of one semantics being Dian in another and study the basic properties of this notion. The concepts of this chapter are generalizations of the various notions of logical system and possible world semantics found in the literature.
Inhaltsverzeichnis
0: An Introduction to General Intensional Logics.- 0 / Consequence Relations.- 1: An Introduction to One Dimensional Modal Logics.- 1 / Basic Notions.- 2 / General Theory of Unary Intensional Connectives.- 3 / Basic Necessity Systems.- 4 / Basic Tense Systems.- 5 / Possible Worlds with Varying Domains.- 6 / Equality and Proper Names.- 7 / Propositional Statability Operators.- 2: Technical Results for Propositional Calculi.- 8 / The Finite Model Property.- 9 / Selective Filtration.- 3: Introduction to Many Dimensionel Modal Logics and Applications.- 10 / Two Dimensional Propositional Tense Logics.- 11 / An Appendix.- 12 / Some Applications.- 4: Special Systems.- 13 / Relative Necessity Operators and the Subjunctive Conditional.- 14 / Propositional Quantifiers.- 15 / Basic Entailment Type Logics.- 5: The Decision Problem.- 16 / The Reduction Method.- 17 / Some Decidability Results.- 18 / The Decision Problem for Predicate Systems.- 6: Special Topics.- 19 / Completeness for Frames.- 20 / The Interpolation Theorem.- 7: Notes and Some References.- Scheme of the Book.- References.- Index of Names.
Details
Erscheinungsjahr: 1976
Fachbereich: Allgemeines
Genre: Importe, Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Buch
Inhalt: xi
312 S.
ISBN-13: 9789027706560
ISBN-10: 9027706565
Sprache: Englisch
Einband: Gebunden
Autor: Gabbay, Dov M.
Hersteller: Springer Netherland
Springer Netherlands
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 235 x 157 x 23 mm
Von/Mit: Dov M. Gabbay
Erscheinungsdatum: 30.09.1976
Gewicht: 0,629 kg
Artikel-ID: 101955248
Inhaltsverzeichnis
0: An Introduction to General Intensional Logics.- 0 / Consequence Relations.- 1: An Introduction to One Dimensional Modal Logics.- 1 / Basic Notions.- 2 / General Theory of Unary Intensional Connectives.- 3 / Basic Necessity Systems.- 4 / Basic Tense Systems.- 5 / Possible Worlds with Varying Domains.- 6 / Equality and Proper Names.- 7 / Propositional Statability Operators.- 2: Technical Results for Propositional Calculi.- 8 / The Finite Model Property.- 9 / Selective Filtration.- 3: Introduction to Many Dimensionel Modal Logics and Applications.- 10 / Two Dimensional Propositional Tense Logics.- 11 / An Appendix.- 12 / Some Applications.- 4: Special Systems.- 13 / Relative Necessity Operators and the Subjunctive Conditional.- 14 / Propositional Quantifiers.- 15 / Basic Entailment Type Logics.- 5: The Decision Problem.- 16 / The Reduction Method.- 17 / Some Decidability Results.- 18 / The Decision Problem for Predicate Systems.- 6: Special Topics.- 19 / Completeness for Frames.- 20 / The Interpolation Theorem.- 7: Notes and Some References.- Scheme of the Book.- References.- Index of Names.
Details
Erscheinungsjahr: 1976
Fachbereich: Allgemeines
Genre: Importe, Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Buch
Inhalt: xi
312 S.
ISBN-13: 9789027706560
ISBN-10: 9027706565
Sprache: Englisch
Einband: Gebunden
Autor: Gabbay, Dov M.
Hersteller: Springer Netherland
Springer Netherlands
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 235 x 157 x 23 mm
Von/Mit: Dov M. Gabbay
Erscheinungsdatum: 30.09.1976
Gewicht: 0,629 kg
Artikel-ID: 101955248
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9780071465793 | Linear Algebra Demystified | David Mcmahon | Taschenbuch | Englisch
Linear Algebra Demystified
EAN: 9780071465793
Sprache: Englisch
Von/Mit: David Mcmahon

32,45 €*

Lieferzeit 1-2 Wochen

Buch
-17 %
Cover: 9783662496862 | Financial Economics | Marc Oliver Rieger (u. a.) | Buch | xi | 2016
Financial Economics
A Concise Introduction to Classical and Behavioral Finance
EAN: 9783662496862
Sprache: Englisch
Von/Mit: Marc Oliver Rieger (u. a.)

106,95 €* UVP 128,39 €

Lieferzeit 1-2 Wochen

Buch
-10 %
Tipp
Cover: 9783319110851 | The Mathematical Theory of Time-Harmonic Maxwell's Equations | Buch
The Mathematical Theory of Time-Harmonic Maxwell's Equations
Expansion-, Integral-, and Variational Methods
EAN: 9783319110851
Sprache: Englisch
Von/Mit: Frank Hettlich (u. a.)

72,45 €* UVP 80,24 €

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780691036663 | The Mathematical Career of Pierre de Fermat, 1601-1665 | Mahoney
The Mathematical Career of Pierre de Fermat, 1601-1665
Second Edition
EAN: 9780691036663
Sprache: Englisch
Von/Mit: Michael Sean Mahoney

116,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780199268740 | Spandrels of Truth | J. C. Beall | Taschenbuch | Englisch | 2011
Spandrels of Truth
EAN: 9780199268740
Sprache: Englisch
Von/Mit: J. C. Beall

46,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Tipp
Cover: 9781781398579 | An Investigation of the Laws of Thought, on Which are Founded the...
An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities
EAN: 9781781398579
Sprache: Englisch
Von/Mit: George Boole

30,75 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780199204199 | The Law of Non-Contradiction | New Philisophical Essays | Taschenbuch
The Law of Non-Contradiction
New Philisophical Essays
EAN: 9780199204199
Sprache: Englisch
Von/Mit: Graham Priest (u. a.)

72,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780415155564 | Possible Worlds | John Divers | Taschenbuch | Englisch | 2002
Possible Worlds
EAN: 9780415155564
Sprache: Englisch
Von/Mit: John Divers

80,60 €*

Lieferzeit 1-2 Wochen

Buch
-14 %
Cover: 9783031556074 | Guide to Software Verification with Frama-C | Nikolai Kosmatov (u. a.)
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
EAN: 9783031556074
Sprache: Englisch
Von/Mit: Nikolai Kosmatov (u. a.)

59,60 €* UVP 69,54 €

Lieferzeit 1-2 Wochen

Buch
Cover: 9783662704479 | Magische Quadrate und ihre Konstruktion | Holger Danielsson | Buch
Magische Quadrate und ihre Konstruktion
Ein ausführlicher Überblick zu bekannten Konstruktionsverfahren
EAN: 9783662704479
Sprache: Deutsch
Von/Mit: Holger Danielsson

89,99 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...