Diamonds and defaults: studies in pure and applied intensional logic
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Dordrecht [u.a.]
Kluwer Academic Publishers
1993
|
| Series: | Synthese Library
229 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | IX, 388 Seiten graph. Darst. |
| ISBN: | 0792323424 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008333481 | ||
| 003 | DE-604 | ||
| 005 | 20201117 | ||
| 007 | t | ||
| 008 | 931116s1993 d||| |||| 10||| eng d | ||
| 020 | |a 0792323424 |9 0-7923-2342-4 | ||
| 035 | |a (OCoLC)243770757 | ||
| 035 | |a (DE-599)BVBBV008333481 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-739 |a DE-29 |a DE-19 |a DE-11 |a DE-188 | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a SI 990 |0 (DE-625)143213: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 245 | 1 | 0 | |a Diamonds and defaults |b studies in pure and applied intensional logic |c Edited by Maarten de Rijke, Institute for Logic, Language and Computation, University of Amsterdam |
| 264 | 1 | |a Dordrecht [u.a.] |b Kluwer Academic Publishers |c 1993 | |
| 300 | |a IX, 388 Seiten |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Synthese Library |v 229 | |
| 650 | 0 | 7 | |a Intensionale Logik |0 (DE-588)4161959-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modallogik |0 (DE-588)4074914-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1990 |z Amsterdam |2 gnd-content | |
| 689 | 0 | 0 | |a Modallogik |0 (DE-588)4074914-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Intensionale Logik |0 (DE-588)4161959-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Rijke, Maarten de |d 1961- |0 (DE-588)1157364152 |4 edt | |
| 830 | 0 | |a Synthese Library |v 229 |w (DE-604)BV000005044 |9 229 | |
| 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=005504881&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005504881 | |
Record in the Search Index
| _version_ | 1811034357896314880 |
|---|---|
| adam_text |
TABLE OF CONTENTS
Preface vii
JOHAN VAN BENTHEM
Beyond Accessibility: Functional Models for Modal Logic 1
Patrick Blackburn
Modal Logic and Attribute Value Structures 19
Tun Borghuis
Interpreting Modal Natural Deduction in Type Theory 67
Kosta Dosen
Modal Translations in K and D 103
Jan O.M. Jaspars
Logical Omniscience and Inconsistent Belief 129
Catholijn Jonker
Cautious Backtracking in Truth Maintenance Systems 147
Marcus Kracht
How Completeness and Correspondence Theory
Got Married 175
Dirk Roorda
Dyadic Modalities and Lambek Calculus 215
Valentin Shehtman
A Logic with Progressive Tenses 255
Edith Spaan
The Complexity of Propositional Tense Logics 287
Elias Thijsse
On Total Awareness Logics 309
Yde Venema
Completeness via Completeness: Since and Until 349
Gerard Vreeswijk
The Feasibility of Defeat in Defeasible Reasoning 359
Index 381 |
| any_adam_object | 1 |
| author2 | Rijke, Maarten de 1961- |
| author2_role | edt |
| author2_variant | m d r md mdr |
| author_GND | (DE-588)1157364152 |
| author_facet | Rijke, Maarten de 1961- |
| building | Verbundindex |
| bvnumber | BV008333481 |
| classification_rvk | CC 2600 CC 2500 SI 990 |
| ctrlnum | (OCoLC)243770757 (DE-599)BVBBV008333481 |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV008333481</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20201117</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">931116s1993 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792323424</subfield><subfield code="9">0-7923-2342-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)243770757</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008333481</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-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</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">SI 990</subfield><subfield code="0">(DE-625)143213:</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="245" ind1="1" ind2="0"><subfield code="a">Diamonds and defaults</subfield><subfield code="b">studies in pure and applied intensional logic</subfield><subfield code="c">Edited by Maarten de Rijke, Institute for Logic, Language and Computation, University of Amsterdam</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Kluwer Academic Publishers</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 388 Seiten</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">229</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">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1990</subfield><subfield code="z">Amsterdam</subfield><subfield code="2">gnd-content</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="689" ind1="1" ind2="0"><subfield code="a">Intensionale Logik</subfield><subfield code="0">(DE-588)4161959-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rijke, Maarten de</subfield><subfield code="d">1961-</subfield><subfield code="0">(DE-588)1157364152</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Synthese Library</subfield><subfield code="v">229</subfield><subfield code="w">(DE-604)BV000005044</subfield><subfield code="9">229</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=005504881&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-005504881</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift 1990 Amsterdam gnd-content |
| genre_facet | Aufsatzsammlung Konferenzschrift 1990 Amsterdam |
| id | DE-604.BV008333481 |
| illustrated | Illustrated |
| indexdate | 2024-09-24T00:15:53Z |
| institution | BVB |
| isbn | 0792323424 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005504881 |
| oclc_num | 243770757 |
| open_access_boolean | |
| owner | DE-12 DE-739 DE-29 DE-19 DE-BY-UBM DE-11 DE-188 |
| owner_facet | DE-12 DE-739 DE-29 DE-19 DE-BY-UBM DE-11 DE-188 |
| physical | IX, 388 Seiten graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Kluwer Academic Publishers |
| record_format | marc |
| series | Synthese Library |
| series2 | Synthese Library |
| spelling | Diamonds and defaults studies in pure and applied intensional logic Edited by Maarten de Rijke, Institute for Logic, Language and Computation, University of Amsterdam Dordrecht [u.a.] Kluwer Academic Publishers 1993 IX, 388 Seiten graph. Darst. txt rdacontent n rdamedia nc rdacarrier Synthese Library 229 Intensionale Logik (DE-588)4161959-6 gnd rswk-swf Modallogik (DE-588)4074914-9 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift 1990 Amsterdam gnd-content Modallogik (DE-588)4074914-9 s DE-604 Intensionale Logik (DE-588)4161959-6 s Rijke, Maarten de 1961- (DE-588)1157364152 edt Synthese Library 229 (DE-604)BV000005044 229 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005504881&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Diamonds and defaults studies in pure and applied intensional logic Synthese Library Intensionale Logik (DE-588)4161959-6 gnd Modallogik (DE-588)4074914-9 gnd |
| subject_GND | (DE-588)4161959-6 (DE-588)4074914-9 (DE-588)4143413-4 (DE-588)1071861417 |
| title | Diamonds and defaults studies in pure and applied intensional logic |
| title_auth | Diamonds and defaults studies in pure and applied intensional logic |
| title_exact_search | Diamonds and defaults studies in pure and applied intensional logic |
| title_full | Diamonds and defaults studies in pure and applied intensional logic Edited by Maarten de Rijke, Institute for Logic, Language and Computation, University of Amsterdam |
| title_fullStr | Diamonds and defaults studies in pure and applied intensional logic Edited by Maarten de Rijke, Institute for Logic, Language and Computation, University of Amsterdam |
| title_full_unstemmed | Diamonds and defaults studies in pure and applied intensional logic Edited by Maarten de Rijke, Institute for Logic, Language and Computation, University of Amsterdam |
| title_short | Diamonds and defaults |
| title_sort | diamonds and defaults studies in pure and applied intensional logic |
| title_sub | studies in pure and applied intensional logic |
| topic | Intensionale Logik (DE-588)4161959-6 gnd Modallogik (DE-588)4074914-9 gnd |
| topic_facet | Intensionale Logik Modallogik Aufsatzsammlung Konferenzschrift 1990 Amsterdam |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005504881&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000005044 |
| work_keys_str_mv | AT rijkemaartende diamondsanddefaultsstudiesinpureandappliedintensionallogic |