Investigations in modal and tense logics with applications to problems in philosophy and linguistics:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Dordrecht u.a.
Reidel
1976
|
| Schriftenreihe: | Synthese library
92 |
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000808996&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | X, 306 S. graph. Darst. |
| ISBN: | 9027706565 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV001337817 | ||
| 003 | DE-604 | ||
| 005 | 19910724 | ||
| 007 | t| | ||
| 008 | 890628s1976 xx d||| |||| 00||| eng d | ||
| 020 | |a 9027706565 |9 90-277-0656-5 | ||
| 035 | |a (OCoLC)185840410 | ||
| 035 | |a (DE-599)BVBBV001337817 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-384 |a DE-29T |a DE-M468 |a DE-20 |a DE-29 |a DE-83 |a DE-11 |a DE-188 | ||
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a CC 4800 |0 (DE-625)17631: |2 rvk | ||
| 084 | |a ER 620 |0 (DE-625)27737: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Gabbay, Dov M. |d 1945- |e Verfasser |0 (DE-588)124196314 |4 aut | |
| 245 | 1 | 0 | |a Investigations in modal and tense logics with applications to problems in philosophy and linguistics |
| 264 | 1 | |a Dordrecht u.a. |b Reidel |c 1976 | |
| 300 | |a X, 306 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Synthese library |v 92 | |
| 650 | 0 | 7 | |a Modallogik |0 (DE-588)4074914-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Intensionale Logik |0 (DE-588)4161959-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Tempus |0 (DE-588)4059446-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modalität |g Linguistik |0 (DE-588)4155830-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Philosophie |0 (DE-588)4045791-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Modalität |g Linguistik |0 (DE-588)4155830-3 |D s |
| 689 | 0 | 1 | |a Tempus |0 (DE-588)4059446-4 |D s |
| 689 | 0 | 2 | |a Intensionale Logik |0 (DE-588)4161959-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 1 | 1 | |a Philosophie |0 (DE-588)4045791-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Modallogik |0 (DE-588)4074914-9 |D s |
| 689 | 2 | |5 DE-604 | |
| 830 | 0 | |a Synthese library |v 92 |w (DE-604)BV000005044 |9 92 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000808996&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-000808996 | |
Datensatz im Suchindex
| _version_ | 1819358966690349056 |
|---|---|
| adam_text | Titel: Investigations in modal and tense logics with applications to problems in philosophy and linguistics
Autor: Gabbay, Dov M.
Jahr: 1976
TABLE OF CONTENTS
PREFACE XI
PART 0: AN INTRODUCTION TO GENERAL INTENSIONAL LOGICS
chapter 0 / Consequence Relations 3
0. Basic Notions 4
1. Basic Completeness Theorem 14
2. Dependence of One Semantics on Another 21
PART 1: AN INTRODUCTION TO ONE DIMENSIONAL MODAL LOGICS
chapter 1 / Basic Notions 27
3. The Syntax 27
4. The Interpretation 30
5. The Completeness Theorem 31
chapter 2 / General Theory of Unary Intensional Connectives 36
6. Neighbourhood Systems 37
7. Kripke Systems 39
chapter 3 / Basic Necessity Systems 44
8. The Main Predicate Calculi 44
9. The Barcan Formula 48
10. Special Topics 52
chapter 4 / Basic Tense Systems 61
11. Basic Tense Systems 62
12. Exercises 69
chapter 5 / Possible Worlds with Varying Domains 71
13. Neighbourhood Structures with Varying Domains 71
14. Kripke Structures with Varying Domains 75
15. Exercises 79
VIII TABLE OF CONTENTS
chapter 6 / Equality and Proper Names 81
16. Pure Theory of Equality 81
17. Equality in Kripke Structures 84
18. Proper Names 92
chapter 7 / Propositional Statability Operators 94
19. Tensed Statability Operators 94
20. Modal Statability Operators 103
PART 2: TECHNICAL RESULTS FOR PROPOSITIONAL CALCULI
chapter 8 / The Finite Model Property 109
21. Ordinary Filtration 109
22. Extensions of S4.3 113
23. Lack of the Finite Model Property 117
24. An Extension of S4 Without the Finite Model Property 121
chapter 9 / Selective Filtration 124
25. Selective Filtration in Non-reflexive World Structures 124
26. Reflexive Systems 132
27. Exercises 134
PART 3: INTRODUCTION TO MANY DIMENSIONEL MODAL
LOGICS AND APPLICATIONS
chapter 10 / Two Dimensional Propositional Tense Logics 139
28. The Systems G4 and G24 141
29. The Systems GJ4 and G2J4 142
30. The System K24 146
31. The System K2J4 150
32. The System G2 153
chapter 11 / An Appendix 157
33. A Theory of Proper Names and Conceptual Change 157
chapter 12 / Some Applications 165
34. Tense Logics and the Tenses of English 165
TABLE OF CONTENTS IX
PART 4: SPECIAL SYSTEMS
chapter 13 / Relative Necessity Operators and the Subjunctive
Conditional 179
35. n-ry Entailment and Necessity Operators 179
36. A General Theory of the Conditional in Terms of a
Ternary Operator 187
chapter 14 / Propositional Quantifiers 193
37. Systems Without the Comprehension Axiom 193
38. The Comprehension Axiom 198
chapter 15 / Basic Entailment Type Logics 202
39. Weak Entailment Systems 202
PART 5: THE DECISION PROBLEM
chapter 16 / The Reduction Method 215
40. The Reduction Method for Modal Systems 217
41. Some Completeness Theorems 223
chapter 17 / Some Decidability Results 230
42. Simple Results 230
43. More Decidability Results 232
44. Transfer Property 238
45. Exercises 248
46. On Decidable, Finitely, Axiomatizable, Modal and Tense
Logics Without the Finite Model Property 248
chapter 18 / The Decision Problem for Predicate Systems 266
47. Undecidability Results 266
48. Decidability Results 271
PART 6: SPECIAL TOPICS
chapter 19 / Completeness for Frames 275
X TABLE OF CONTENTS
49. Completeness for Kripke Frames 275
50. Completeness for Neighborhood Frames 278
chapter 20 / The Interpolation Theorem 282
51. The Interpolation Theorem 282
PART 7: NOTES AND SOME REFERENCES
SCHEME OF THE BOOK 299
REFERENCES 301
INDEX OF NAMES 305
|
| any_adam_object | 1 |
| author | Gabbay, Dov M. 1945- |
| author_GND | (DE-588)124196314 |
| author_facet | Gabbay, Dov M. 1945- |
| author_role | aut |
| author_sort | Gabbay, Dov M. 1945- |
| author_variant | d m g dm dmg |
| building | Verbundindex |
| bvnumber | BV001337817 |
| classification_rvk | CC 2500 CC 4800 ER 620 |
| ctrlnum | (OCoLC)185840410 (DE-599)BVBBV001337817 |
| discipline | Sprachwissenschaft Philosophie Literaturwissenschaft |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02102nam a2200517 cb4500</leader><controlfield tag="001">BV001337817</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19910724 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">890628s1976 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9027706565</subfield><subfield code="9">90-277-0656-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)185840410</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001337817</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-M468</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 4800</subfield><subfield code="0">(DE-625)17631:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ER 620</subfield><subfield code="0">(DE-625)27737:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gabbay, Dov M.</subfield><subfield code="d">1945-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124196314</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Investigations in modal and tense logics with applications to problems in philosophy and linguistics</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht u.a.</subfield><subfield code="b">Reidel</subfield><subfield code="c">1976</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 306 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Synthese library</subfield><subfield code="v">92</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intensionale Logik</subfield><subfield code="0">(DE-588)4161959-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Tempus</subfield><subfield code="0">(DE-588)4059446-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modalität</subfield><subfield code="g">Linguistik</subfield><subfield code="0">(DE-588)4155830-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Modalität</subfield><subfield code="g">Linguistik</subfield><subfield code="0">(DE-588)4155830-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Tempus</subfield><subfield code="0">(DE-588)4059446-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Intensionale Logik</subfield><subfield code="0">(DE-588)4161959-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Synthese library</subfield><subfield code="v">92</subfield><subfield code="w">(DE-604)BV000005044</subfield><subfield code="9">92</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000808996&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000808996</subfield></datafield></record></collection> |
| id | DE-604.BV001337817 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T07:34:37Z |
| institution | BVB |
| isbn | 9027706565 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000808996 |
| oclc_num | 185840410 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-384 DE-29T DE-M468 DE-20 DE-29 DE-83 DE-11 DE-188 |
| owner_facet | DE-19 DE-BY-UBM DE-384 DE-29T DE-M468 DE-20 DE-29 DE-83 DE-11 DE-188 |
| physical | X, 306 S. graph. Darst. |
| publishDate | 1976 |
| publishDateSearch | 1976 |
| publishDateSort | 1976 |
| publisher | Reidel |
| record_format | marc |
| series | Synthese library |
| series2 | Synthese library |
| spellingShingle | Gabbay, Dov M. 1945- Investigations in modal and tense logics with applications to problems in philosophy and linguistics Synthese library Modallogik (DE-588)4074914-9 gnd Intensionale Logik (DE-588)4161959-6 gnd Semantik (DE-588)4054490-4 gnd Tempus (DE-588)4059446-4 gnd Modalität Linguistik (DE-588)4155830-3 gnd Philosophie (DE-588)4045791-6 gnd |
| subject_GND | (DE-588)4074914-9 (DE-588)4161959-6 (DE-588)4054490-4 (DE-588)4059446-4 (DE-588)4155830-3 (DE-588)4045791-6 |
| title | Investigations in modal and tense logics with applications to problems in philosophy and linguistics |
| title_auth | Investigations in modal and tense logics with applications to problems in philosophy and linguistics |
| title_exact_search | Investigations in modal and tense logics with applications to problems in philosophy and linguistics |
| title_full | Investigations in modal and tense logics with applications to problems in philosophy and linguistics |
| title_fullStr | Investigations in modal and tense logics with applications to problems in philosophy and linguistics |
| title_full_unstemmed | Investigations in modal and tense logics with applications to problems in philosophy and linguistics |
| title_short | Investigations in modal and tense logics with applications to problems in philosophy and linguistics |
| title_sort | investigations in modal and tense logics with applications to problems in philosophy and linguistics |
| topic | Modallogik (DE-588)4074914-9 gnd Intensionale Logik (DE-588)4161959-6 gnd Semantik (DE-588)4054490-4 gnd Tempus (DE-588)4059446-4 gnd Modalität Linguistik (DE-588)4155830-3 gnd Philosophie (DE-588)4045791-6 gnd |
| topic_facet | Modallogik Intensionale Logik Semantik Tempus Modalität Linguistik Philosophie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000808996&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000005044 |
| work_keys_str_mv | AT gabbaydovm investigationsinmodalandtenselogicswithapplicationstoproblemsinphilosophyandlinguistics |