Displaying modal logic:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Dordrecht [u.a.]
Kluwer Acad. Publ.
1998
|
| Series: | Trends in logic
3 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Bibliogr. S. 235 - 246 |
| Physical Description: | XI, 252 S. graph. Darst. |
| ISBN: | 079235205X |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012236713 | ||
| 003 | DE-604 | ||
| 005 | 19990910 | ||
| 007 | t | ||
| 008 | 981102s1998 d||| m||| 00||| eng d | ||
| 020 | |a 079235205X |9 0-7923-5205-X | ||
| 035 | |a (OCoLC)39391122 | ||
| 035 | |a (DE-599)BVBBV012236713 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-739 |a DE-29 |a DE-11 |a DE-188 |a DE-19 | ||
| 050 | 0 | |a BC199.M6 | |
| 082 | 0 | |a 160 |2 21 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Wansing, Heinrich T. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Displaying modal logic |c Heinrich Wansing |
| 246 | 1 | 3 | |a Proof-theoretic aspects of intensional and non-classical logics |
| 264 | 1 | |a Dordrecht [u.a.] |b Kluwer Acad. Publ. |c 1998 | |
| 300 | |a XI, 252 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Trends in logic |v 3 | |
| 500 | |a Bibliogr. S. 235 - 246 | ||
| 502 | |a Leipzig, Univ., Habil.-Schr., 1997 u.d.T.: Wansing, Heinrich: Proof-theoretic aspects of intensional and non-classical logics | ||
| 650 | 7 | |a Modale logica |2 gtt | |
| 650 | 4 | |a Modality (Logic) | |
| 650 | 0 | 7 | |a Modallogik |0 (DE-588)4074914-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Modallogik |0 (DE-588)4074914-9 |D s |
| 689 | 0 | 1 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Trends in logic |v 3 |w (DE-604)BV011512969 |9 3 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008291245&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008291245 | ||
Record in the Search Index
| _version_ | 1804126852849074176 |
|---|---|
| adam_text | HEINRICH WANSING INSTITUTE OF LOGIC AND PHILOSOPHY OF SCIENCE,
UNIVERSITY OF LEIPZIG, LEIPZIG, GERMANY DISPLAYING MODAL LOGIC II KLUWER
ACADEMIC PUBLISHERS DORDRECHT / BOSTON / LONDON CONTENTS CONTENTS V
PREFACE IX CHAPTER ONE / INTRODUCTION 1 1.1 THE PROBLEM OF GENTZENIZING
MODAL LOGIC 2 1.2 STANDARD SEQUENT SYSTEMS FOR NORMAL MODAL LOGICS 4 1.3
RULES AS MEANING ASSIGNMENTS 7 1.4 UNIQUENESS 10 1.5 MODULARITY AND THE
DOSEN PRINCIPLE 10 1.6 SUBFORMULA PROPERTY, CUT, AND ANALYTIC CUT 11 1.7
GENERALITY 13 CHAPTER TWO / SEQUENTS GENERALIZED 15 2.1 MODAL SIGNS 15
2.2 HIGHER-LEVEL SEQUENT SYSTEMS 16 2.3 HIGHER-DIMENSIONAL SEQUENT
SYSTEMS 17 2.4 HIGHER-ARITY SEQUENT SYSTEMS 18 2.5 HYPERSEQUENTS 22 2.6
NATURAL DEDUCTION SYSTEMS 24 CHAPTER THREE / DISPLAY LOGIC 27 3.1
GENTZEN TERMS 27 3.2 RESIDUATION 30 3.3 THE DISPLAY THEOREM 34 3.4
INTRODUCTION RULES 37 3.5 COMPLETENESS 43 CHAPTER FOUR / PROPERLY
DISPLAYABLE LOGICS, DISPLAYABLE LOGICS AND STRONG CUT-ELIMINATION 47 4.1
PROPERLY DISPLAYABLE LOGICS 47 4.2 A CASE DISTINCTION AND PRIMITIVE
REDUCTIONS 48 4.3 STRONG NORMALIZATION 51 4.4 DISPLAYABLE LOGICS 55 V VI
CONTENTS 4.5 CHARACTERIZATION OF THE PROPERLY DISPLAYABLE LOGICS 57 4.6
SCOPE OF THE METHOD 62 CHAPTER FIVE / A PROOF-THEORETIC PROOF OF
FUNCTIONAL COMPLETENESS FOR MANY MODAL AND TENSE LOGICS 65 5.1 THE
PROBLEM OF FUNCTIONAL COMPLETENESS 65 5.2 PROOF-THEORETIC SEMANTICS 67
5.3 FUNCTIONAL COMPLETENESS FOR KT AND K 71 CHAPTER SIX / MODAL TABLEAUX
BASED ON RESIDUATION 75 6.1 THE MODAL DISPLAY SYSTEM DKF 75 6.2 A
DISPLAY CALCULUS FOR PDL - 77 6.3 REDUCTION TO A SET OF CLAUSES 79 6.4
DECIDABILITY AND COMPLETENESS 82 6.5 IN THE ABSENCE OF PURITY 85 CHAPTER
SEVEN / STRONG CUT-ELIMINATION AND LABELLED MODAL TABLEAUX 87 7.1 THE
TABLEAU CALCULUS TQS5 88 7.2 PRIMITIVE REDUCTIONS 89 7.3 STRONG
NORMALIZATION 94 7.4 EXTENSIONS OF QUANTIFIED K 98 7.5 EQUIVALENCE WITH
FITTING S TABLEAUX 100 CHAPTER EIGHT / TARSKIAN STRUCTURED CONSEQUENCE
RELATIONS AND FUNCTIONAL COMPLETENESS 103 8.1 PRELIMINARIES 103 8.2
POSITIVE LOGICS 105 8.3 THE HIGHER-LEVEL SEQUENT CALCULUS G 107 8.4
POSITIVE PROOF-THEORETIC SEMANTICS 108 8.5 FUNCTIONAL COMPLETENESS FOR
|~ + 112 8.6 NEGATION AS REFUTATION 115 8.7 CONSTRUCTIVE LOGICS 115 8.8
THE HIGHER-LEVEL SEQUENT CALCULUS GC 119 8.9 CONSTRUCTIVE
PROOF-THEORETIC SEMANTICS 120 8.10 FUNCTIONAL COMPLETENESS FOR |~ C 122
CHAPTER NINE / CONSTRUCTIVE NEGATION AND THE MODAL LOGIC OF CONSISTENCY
127 9.1 DISPROOFS AND CONTRARIETY 128 9.2 NEGATION AS FALSITY 136
CONTENTS VII 9.3 NEGATION AS INCONSISTENCY 139 9.4 THE RELATION BETWEEN
NEGATION AS FALSITY AND NEGATION AS INCONSISTENCY 142 9.5
SEMANTICS-BASED NONMONOTONIC REASONING 144 9.6 CHOICE OF PARAMETERS 150
9.7 MODAL LOGIC OF CONSISTENCY OVER N4 154 CHAPTER TEN / DISPLAYING AS
TEMPORALIZING 155 10.1 SUBINTUITIONISTIC LOGICS 155 10.2 SEQUENT SYSTEMS
FOR SUBINTUITIONISTIC LOGICS 160 10.3 SOUNDNESS AND COMPLETENESS OF DK
(ER) 161 10.4 THE CONNECTION WITH TEMPORALIZATION 164 10.5 EXTENSIONS OF
K(A) AND KT(K( 10.6 PROOF OF STRONG COMPLETENESS 167 CHAPTER ELEVEN /
TRANSLATION OF HYPERSEQUENTS INTO DISPLAY SEQUENTS 171 11.1
HYPERSEQUENTIAL CALCULI 171 11.2 DISPLAY CALCULI 174 11.3 MAPPING
HYPERSEQUENTS INTO DISPLAY SEQUENTS 184 11.4 DISCUSSION 186 11.5 OTHER
TRANSLATIONS INTO DL 187 CHAPTER TWELVE / PREDICATE LOGICS ON DISPLAY
189 12.1 A SEQUENT CALCULUS FOR KFOL 191 12.2 DISPLAY OF PREDICATE
LOGICS 193 12.3 A ROUTE FROM KFOL TO FOL 195 12.4 ANOTHER ROUTE TO FOL
201 12.5 STRONG CUT-ELIMINATION 204 12.6 THE BARCAN FORMULA 205 12.7
REMAINING PROOFS 207 CHAPTER THIRTEEN / APPENDIX 211 13.1 DL AND
FITCH-STYLE NATURAL DEDUCTION 211 13.2 A NEW AXIOMATIZATION OF KT 226
13.3 N4 REDISPLAYED 229 13.4 FUTURE WORK 234 BIBLIOGRAPHY 235 INDEX 247
|
| any_adam_object | 1 |
| author | Wansing, Heinrich T. |
| author_facet | Wansing, Heinrich T. |
| author_role | aut |
| author_sort | Wansing, Heinrich T. |
| author_variant | h t w ht htw |
| building | Verbundindex |
| bvnumber | BV012236713 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC199 |
| callnumber-raw | BC199.M6 |
| callnumber-search | BC199.M6 |
| callnumber-sort | BC 3199 M6 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2500 CC 2600 SK 130 |
| ctrlnum | (OCoLC)39391122 (DE-599)BVBBV012236713 |
| 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 | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01940nam a2200493 cb4500</leader><controlfield tag="001">BV012236713</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990910 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">981102s1998 d||| m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">079235205X</subfield><subfield code="9">0-7923-5205-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)39391122</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012236713</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-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC199.M6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">21</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 2600</subfield><subfield code="0">(DE-625)17610:</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">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wansing, Heinrich T.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Displaying modal logic</subfield><subfield code="c">Heinrich Wansing</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Proof-theoretic aspects of intensional and non-classical logics</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Kluwer Acad. Publ.</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 252 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">Trends in logic</subfield><subfield code="v">3</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Bibliogr. S. 235 - 246</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Leipzig, Univ., Habil.-Schr., 1997 u.d.T.: Wansing, Heinrich: Proof-theoretic aspects of intensional and non-classical logics</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modale logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modality (Logic)</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">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</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="1"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Trends in logic</subfield><subfield code="v">3</subfield><subfield code="w">(DE-604)BV011512969</subfield><subfield code="9">3</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=008291245&sequence=000001&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-008291245</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV012236713 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:24:03Z |
| institution | BVB |
| isbn | 079235205X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008291245 |
| oclc_num | 39391122 |
| open_access_boolean | |
| owner | DE-12 DE-739 DE-29 DE-11 DE-188 DE-19 DE-BY-UBM |
| owner_facet | DE-12 DE-739 DE-29 DE-11 DE-188 DE-19 DE-BY-UBM |
| physical | XI, 252 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Kluwer Acad. Publ. |
| record_format | marc |
| series | Trends in logic |
| series2 | Trends in logic |
| spelling | Wansing, Heinrich T. Verfasser aut Displaying modal logic Heinrich Wansing Proof-theoretic aspects of intensional and non-classical logics Dordrecht [u.a.] Kluwer Acad. Publ. 1998 XI, 252 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Trends in logic 3 Bibliogr. S. 235 - 246 Leipzig, Univ., Habil.-Schr., 1997 u.d.T.: Wansing, Heinrich: Proof-theoretic aspects of intensional and non-classical logics Modale logica gtt Modality (Logic) Modallogik (DE-588)4074914-9 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Modallogik (DE-588)4074914-9 s Beweistheorie (DE-588)4145177-6 s DE-604 Trends in logic 3 (DE-604)BV011512969 3 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008291245&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Wansing, Heinrich T. Displaying modal logic Trends in logic Modale logica gtt Modality (Logic) Modallogik (DE-588)4074914-9 gnd Beweistheorie (DE-588)4145177-6 gnd |
| subject_GND | (DE-588)4074914-9 (DE-588)4145177-6 (DE-588)4113937-9 |
| title | Displaying modal logic |
| title_alt | Proof-theoretic aspects of intensional and non-classical logics |
| title_auth | Displaying modal logic |
| title_exact_search | Displaying modal logic |
| title_full | Displaying modal logic Heinrich Wansing |
| title_fullStr | Displaying modal logic Heinrich Wansing |
| title_full_unstemmed | Displaying modal logic Heinrich Wansing |
| title_short | Displaying modal logic |
| title_sort | displaying modal logic |
| topic | Modale logica gtt Modality (Logic) Modallogik (DE-588)4074914-9 gnd Beweistheorie (DE-588)4145177-6 gnd |
| topic_facet | Modale logica Modality (Logic) Modallogik Beweistheorie Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008291245&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV011512969 |
| work_keys_str_mv | AT wansingheinricht displayingmodallogic AT wansingheinricht prooftheoreticaspectsofintensionalandnonclassicallogics |