Modal logic: an introduction
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge ; London ; New York ; New Rochelle ; Melbourne ; Sydney
Cambridge University Press
[1980]
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Hier auch später erschienene, unveränderte Nachdrucke |
| Physical Description: | xii, 295 Seiten Diagramme |
| ISBN: | 0521224764 0521295157 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV003366988 | ||
| 003 | DE-604 | ||
| 005 | 20220718 | ||
| 007 | t | ||
| 008 | 900725s1980 |||| |||| 00||| eng d | ||
| 020 | |a 0521224764 |9 0-521-22476-4 | ||
| 020 | |a 0521295157 |9 0-521-29515-7 | ||
| 035 | |a (OCoLC)470875000 | ||
| 035 | |a (DE-599)BVBBV003366988 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-384 |a DE-473 |a DE-703 |a DE-739 |a DE-29 |a DE-29T |a DE-19 |a DE-706 |a DE-83 |a DE-188 | ||
| 082 | 0 | |a 160 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 03B45 |2 msc | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Chellas, Brian F. |0 (DE-588)1255814780 |4 aut | |
| 245 | 1 | 0 | |a Modal logic |b an introduction |c Brian F. Chellas |
| 264 | 1 | |a Cambridge ; London ; New York ; New Rochelle ; Melbourne ; Sydney |b Cambridge University Press |c [1980] | |
| 264 | 4 | |c © 1980 | |
| 300 | |a xii, 295 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Hier auch später erschienene, unveränderte Nachdrucke | ||
| 650 | 0 | 7 | |a Modallogik |0 (DE-588)4074914-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Modallogik |0 (DE-588)4074914-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-0-511-62119-2 |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002126944&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002126944 | ||
| 980 | 4 | |a (DE-12)AK04030337 | |
Record in the Search Index
| _version_ | 1804117716781498368 |
|---|---|
| adam_text | CONTENTS
Preface
xi
PART I
1
Introduction
3
1.1
Truth and possible worlds
4
Exercises
10
1.2
The system
55
14
Exercises
21
2
Logical preliminaries
25
2.1
Syntax
25
Exercises
32
2.2
Models, truth, and validity
34
Exercises
39
2.3
Filtrations
41
Exercises
43
2.4
Systems of modal logic
45
Exercises
49
2.5
Axiomatizability
51
Exercises
53
2.6
Maximality and Lindenbaum s lemma
53
Exercises
59
2.7
Soundness, completeness, and canonical models
59
Exercises
61
2.8
Decidability and the finite model property
62
Exercises
64
PART II
3
Standard models for modal logics
67
3.1
Standard models
67
71
viii Contents
3.2
The
schemas D, T, B,
4,
and S
76
Exercises
82
3.3
The schema
G*· · ··
85
Exercises
90
3.4
Generated models
95
Exercises
98
3.5
Filtrations
100
Exercises
104
3.6
Filtrations,
continued
105
Exercises
111
4
Normal
systems of
modal
logic
113
4.1
Normal
systems
114
Exercises
121
4.2
Replacement
and duality
125
Exercises
130
4.3
The
schemas
D,
T, B,
4,
and
5
131
Exercises
140
4.4
Modalities
147
Exercises
155
4.5
Maximal sets in normal systems
157
Exercises
160
5
Determination and decidability for normal systems
162
5.1
Soundness
162
Exercises
165
5.2
Postscript on modalities
169
Exercises
170
5.3
Completeness: basic theorems
171
Exercises
174
5.4
Determination
175
Exercises
180
5.5
KG -1·™·«
182
Exercises
185
5.6
Decidability
187
Exercises
189
6
Deontic logic
190
6.1
Standard deontic logic
190
Exercises
192
6.2
Further principles
193
Exercises
195
Contents ix
6.3 Obligation
and time
195
Exercises
198
6.4
Past tense obligation
198
Exercises
200
6.5
Shortcomings
200
Exercises
202
PART III
7
Minimal models for modal logics
207
7.1
Minimal models
207
Exercises
210
7.2
The
schemas
M, C,
and
Ν
214
Exercises
217
7.3
Augmentation
220
Exercises
223
7.4
The
schemas
D,
T, B,
4,
and
5 223
Exercises
225
7.5
Filtrations
227
Exercises
229
8
Classical systems of modal logic
231
8.1
Classical systems
231
Exercises
233
8.2
Monotonie
and regular systems
234
Exercises
240
8.3
Other
schemas
245
Exercises
246
9
Determination and decidability for classical systems
248
9.1
Soundness
248
Exercises
250
9.2
Completeness: basic theorems
252
Exercises
255
9.3
Determination
257
Exercises
260
9.4
The
schemas
D,
T, B,
4,
and
5 261
Exercises
264
9.5
Decidability
264
Exercises
266
10
Conditional logic
268
Contents
10.1 Conditionality 268
Exercises
270
10.2
Conditional obligation
272
Exercises
275
10.3
Conditional obligation defined
275
Exercises
276
Select bibliography
278
Index of symbols
281
Index of
schemas,
rules, and systems
283
Index of subjects
287
|
| any_adam_object | 1 |
| author | Chellas, Brian F. |
| author_GND | (DE-588)1255814780 |
| author_facet | Chellas, Brian F. |
| author_role | aut |
| author_sort | Chellas, Brian F. |
| author_variant | b f c bf bfc |
| building | Verbundindex |
| bvnumber | BV003366988 |
| classification_rvk | CC 2400 CC 2500 SK 130 |
| ctrlnum | (OCoLC)470875000 (DE-599)BVBBV003366988 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01694nam a2200433 c 4500</leader><controlfield tag="001">BV003366988</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220718 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900725s1980 |||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521224764</subfield><subfield code="9">0-521-22476-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521295157</subfield><subfield code="9">0-521-29515-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)470875000</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003366988</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</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">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B45</subfield><subfield code="2">msc</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">Chellas, Brian F.</subfield><subfield code="0">(DE-588)1255814780</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modal logic</subfield><subfield code="b">an introduction</subfield><subfield code="c">Brian F. Chellas</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge ; London ; New York ; New Rochelle ; Melbourne ; Sydney</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">[1980]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 1980</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xii, 295 Seiten</subfield><subfield code="b">Diagramme</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="500" ind1=" " ind2=" "><subfield code="a">Hier auch später erschienene, unveränderte Nachdrucke</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="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-0-511-62119-2</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg</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=002126944&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002126944</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK04030337</subfield></datafield></record></collection> |
| id | DE-604.BV003366988 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:58:50Z |
| institution | BVB |
| isbn | 0521224764 0521295157 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002126944 |
| oclc_num | 470875000 |
| open_access_boolean | |
| owner | DE-12 DE-384 DE-473 DE-BY-UBG DE-703 DE-739 DE-29 DE-29T DE-19 DE-BY-UBM DE-706 DE-83 DE-188 |
| owner_facet | DE-12 DE-384 DE-473 DE-BY-UBG DE-703 DE-739 DE-29 DE-29T DE-19 DE-BY-UBM DE-706 DE-83 DE-188 |
| physical | xii, 295 Seiten Diagramme |
| publishDate | 1980 |
| publishDateSearch | 1980 |
| publishDateSort | 1980 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Chellas, Brian F. (DE-588)1255814780 aut Modal logic an introduction Brian F. Chellas Cambridge ; London ; New York ; New Rochelle ; Melbourne ; Sydney Cambridge University Press [1980] © 1980 xii, 295 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Hier auch später erschienene, unveränderte Nachdrucke Modallogik (DE-588)4074914-9 gnd rswk-swf Modallogik (DE-588)4074914-9 s DE-604 Erscheint auch als Online-Ausgabe 978-0-511-62119-2 Digitalisierung UB Bamberg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002126944&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Chellas, Brian F. Modal logic an introduction Modallogik (DE-588)4074914-9 gnd |
| subject_GND | (DE-588)4074914-9 |
| title | Modal logic an introduction |
| title_auth | Modal logic an introduction |
| title_exact_search | Modal logic an introduction |
| title_full | Modal logic an introduction Brian F. Chellas |
| title_fullStr | Modal logic an introduction Brian F. Chellas |
| title_full_unstemmed | Modal logic an introduction Brian F. Chellas |
| title_short | Modal logic |
| title_sort | modal logic an introduction |
| title_sub | an introduction |
| topic | Modallogik (DE-588)4074914-9 gnd |
| topic_facet | Modallogik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002126944&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT chellasbrianf modallogicanintroduction |