Holdings: Modal logic :: THWS Bibkatalog

Modal logic: an introduction to its syntax and semantics

Saved in:

Bibliographic Details
Main Authors:	Cocchiarella, Nino B. (Author), Freund, Max A. (Author)
Format:	Book
Language:	English
Published:	Oxford [u.a.] Oxford Univ. Press 2008
Subjects:	Modale logica Modality (Logic) Modallogik Einführung
Online Access:	Inhaltsverzeichnis
Item Description:	Includes bibliographical references (p. ) and index
Physical Description:	XI, 268 S.
ISBN:	9780195366570 9780195366587

Staff View

MARC


LEADER	00000nam a2200000zc 4500
001	BV035019873
003	DE-604
005	20100608
007	t
008	080825s2008 xxu \|\|\|\| 00\|\|\| eng d
010			\|a 2008007187
020			\|a 9780195366570 \|9 978-0-19-536657-0
020			\|a 9780195366587 \|9 978-0-19-536658-7
035			\|a (OCoLC)179802853
035			\|a (DE-599)BVBBV035019873
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
044			\|a xxu \|c US
049			\|a DE-29 \|a DE-92 \|a DE-11 \|a DE-355
050		0	\|a BC199.M6
082	0		\|a 160
084			\|a CC 2400 \|0 (DE-625)17608: \|2 rvk
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a 5,1 \|2 ssgn
100	1		\|a Cocchiarella, Nino B. \|e Verfasser \|4 aut
245	1	0	\|a Modal logic \|b an introduction to its syntax and semantics \|c Nino B. Cocchiarella and Max A. Freund
264		1	\|a Oxford [u.a.] \|b Oxford Univ. Press \|c 2008
300			\|a XI, 268 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
500			\|a Includes bibliographical references (p. ) and index
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
655		7	\|0 (DE-588)4151278-9 \|a Einführung \|2 gnd-content
689	0	0	\|a Modallogik \|0 (DE-588)4074914-9 \|D s
689	0		\|5 DE-604
700	1		\|a Freund, Max A. \|e Verfasser \|4 aut
856	4	2	\|m V:DE-604 \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016689010&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-016689010

Record in the Search Index

_version_	1804137945572048896
adam_text	CONTENTS 1 INTRODUCTION 1.1 THE METALANGUAGE . . . . . . . . 1.2 LOGICAL SYNTAX . 1.2.1 SYMBOLS AND EXPRESSIONS 1.2.2 CONCATENATION . 1.2.3 FORMAL LANGUAGES AND SYSTEMS 1.2.4 THE LOGISTIC METHOD . 1.3 TAUTOLOGOUS IMPLICATION . . . . . . . . 2 THE SYNTAX OF MODAL SENTENTIAL CALCULI 2.1 SENTENTIAL MODAL LOGIC . 2.1.1 MODAL CN-FORMULAS . 2.1.2 MODAL-FREE AND MODALLY-CLOSED FORMULAS 2.2 MODAL CN-CALCULI . 2.2.1 CLASSICAL MODAL CALCULI . 2.2.2 REGULAR AND NORMAL MODAL CALCULI . 2.2.3 THE MP RULE . 2.2.4 THE SYSTEMS I: K . 2.3 SOME STANDARD NORMAL MODAL CN-CALCULI . 2.3.1 THE MODAL SYSTEM KR . 2.3.2 THE MODAL SYSTEM M 2.3.3 THE MODAL SYSTEM ER . 2.3.4 THE MODAL SYSTEM S4 . 2.3.5 THE MODAL SYSTEM S4.2 2.3.6 THE MODAL SYSTEM S4.3 2.3.7 THE MODAL SYSTEM S5 2.4 THE SYSTEMS SI, S2, AND S3 2.5 MODALITIES . 3 MATRIX SEMANTICS 3.1 CN-MATRICES . 3.2 THE STANDARD TWO-VALUED CN-MATRIX 1 1 4 4 5 6 8 13 15 15 16 17 18 19 20 22 23 27 28 30 31 33 34 34 36 37 42 45 46 48 X 3.3 MODAL CN-MATRIEES ... 3.4 HENLE MODAL CN-MATRIEES 4 SEMANTICS FOR LOGICAL NECESSITY 4.1 THE PROBLEM OF A SEMANTIES FOR LOGIEAL NEEESSITY . 4.2 CARNAP S ADEQUAEY CRITERION ... 4.3 LOGIEAL ATOMISM AND MODAL LOGIE 5 SEMANTICS FOR 85 5.1 ALL POSSIBLE WORLDS CUT DOWN 5.2 MATRIX SEMANTIES FOR 55 .. 5.3 DEEIDABILITY OF L AT AND 85 . 6 RELATIONAL WORLD SYSTEMS 6.1 RELATIONAL WORLD SYSTEMS DEFINED ..... 6.2 THE CLASS OF ALL RELATIONAL WORLD SYSTEMS 6.3 REFLEXIVITY AND AEEESSIBILITY . . 6.4 TRANSITIVE WORLD SYSTEMS . . . 6.5 QUASI-ORDERED WORLD SYSTEMS. 6.6 SYMMETRIE WORLD SYSTEMS ... 6.7 REFLEXIVE AND SYMMETRIE WORLD SYSTEMS 6.8 TRANSITIVE AND SYMMETRIE WORLD SYSTEMS 6.9 PARTITIONED WORLD SYSTEMS 6.10 CONNEXITY AND AEEESSIBILITY 6.11 CONNECTABLE AEEESSIBILITY 7 QUANTIFIED MODAL LOGIC 7.1 LOGIEAL SYNTAX .... 7.2 FIRST-ORDER LANGUAGES 7.3 PROPER SUBSTITUTION . 7.4 QUANTIFIED MODAL CN-CA1CULI 7.5 QUANTIFIED EXTENSIONS OF KR . 7.6 OMEGA-COMPLETENESS IN MODAL LOGIE . 8 THE SEMANTICS OF QUANTIFIED MODAL LOGIC 8.1 SEMANTIES OF STANDARD MODAL-FREE FORMULAS 8.2 THE SEMANTIES OF LOGIEAL NEEESSITY . 8.3 THE THESIS OF ANTI-ESSENTIALISM . 8.4 INEOMPLETENESS OF THE PRIMARY SEMANTIES 8.5 SEEONDARY SEMANTIES FOR NEEESSITY .... 8.6 AETUALIST-POSSIBILIST SEEONDARY SEMANTIES 8.7 RELATIONAL MODEL STRUCTURES . . . . . . . . CONTENTS 52 55 61 62 64 66 71 71 75 78 81 81 89 92 96 98 100 101 102 103 107 113 119 120 122 124 128 140 147 153 154 158 159 162 164 169 177 CONTENTS XL 9 SECOND-ORDER MODAL LOGIC 183 9.1 SECOND-ORDER LOGICAL SYNTAX 184 9.2 SECOND-ORDER LANGUAGES . . . 185 9.3 PROPER SUBSTITUTION ..... 188 9.4 SECOND-ORDER CN-MODAL CALCULI 192 9.5 SECOND-ORDER EXTENSIONS OF KR . 202 9.6 SECOND-ORDER OMEGA-COMPLETENESS . 209 10 SEMANTICS OF SECOND-ORDER MODAL LOGIC 215 10.1 SEMANTICS OF MODAL-FREE SECOND-ORDER FORMULAS 216 10.2 GENERAL MODELS . . . . . . . . . . . . . . . . . . . 221 10.3 SEMANTICS OF STANDARD SECOND-ORDER MODAL LANGUAGES . 224 10.4 ACTUALIST-POSSIBILIST SECOND-ORDER SEMANTICS 231 10.5 SECOND-ORDER RELATIONAL WORLD SYSTEMS . . . . . . . . . 243 AFTERWORD 253 BIBLIOGRAPHY 257 INDEX 263
adam_txt	CONTENTS 1 INTRODUCTION 1.1 THE METALANGUAGE . . . . . . . . 1.2 LOGICAL SYNTAX . 1.2.1 SYMBOLS AND EXPRESSIONS 1.2.2 CONCATENATION . 1.2.3 FORMAL LANGUAGES AND SYSTEMS 1.2.4 THE LOGISTIC METHOD . 1.3 TAUTOLOGOUS IMPLICATION . . . . . . . . 2 THE SYNTAX OF MODAL SENTENTIAL CALCULI 2.1 SENTENTIAL MODAL LOGIC . 2.1.1 MODAL CN-FORMULAS . 2.1.2 MODAL-FREE AND MODALLY-CLOSED FORMULAS 2.2 MODAL CN-CALCULI . 2.2.1 CLASSICAL MODAL CALCULI . 2.2.2 REGULAR AND NORMAL MODAL CALCULI . 2.2.3 THE MP RULE . 2.2.4 THE SYSTEMS I: K . 2.3 SOME STANDARD NORMAL MODAL CN-CALCULI . 2.3.1 THE MODAL SYSTEM KR . 2.3.2 THE MODAL SYSTEM M 2.3.3 THE MODAL SYSTEM ER . 2.3.4 THE MODAL SYSTEM S4 . 2.3.5 THE MODAL SYSTEM S4.2 2.3.6 THE MODAL SYSTEM S4.3 2.3.7 THE MODAL SYSTEM S5 2.4 THE SYSTEMS SI, S2, AND S3 2.5 MODALITIES . 3 MATRIX SEMANTICS 3.1 CN-MATRICES . 3.2 THE STANDARD TWO-VALUED CN-MATRIX 1 1 4 4 5 6 8 13 15 15 16 17 18 19 20 22 23 27 28 30 31 33 34 34 36 37 42 45 46 48 X 3.3 MODAL CN-MATRIEES . 3.4 HENLE MODAL CN-MATRIEES 4 SEMANTICS FOR LOGICAL NECESSITY 4.1 THE PROBLEM OF A SEMANTIES FOR LOGIEAL NEEESSITY . 4.2 CARNAP'S ADEQUAEY CRITERION . 4.3 LOGIEAL ATOMISM AND MODAL LOGIE 5 SEMANTICS FOR 85 5.1 ALL POSSIBLE WORLDS "CUT DOWN" 5.2 MATRIX SEMANTIES FOR 55 . 5.3 DEEIDABILITY OF L AT AND 85 . 6 RELATIONAL WORLD SYSTEMS 6.1 RELATIONAL WORLD SYSTEMS DEFINED . 6.2 THE CLASS OF ALL RELATIONAL WORLD SYSTEMS 6.3 REFLEXIVITY AND AEEESSIBILITY . . 6.4 TRANSITIVE WORLD SYSTEMS . . . 6.5 QUASI-ORDERED WORLD SYSTEMS. 6.6 SYMMETRIE WORLD SYSTEMS . 6.7 REFLEXIVE AND SYMMETRIE WORLD SYSTEMS 6.8 TRANSITIVE AND SYMMETRIE WORLD SYSTEMS 6.9 PARTITIONED WORLD SYSTEMS 6.10 CONNEXITY AND AEEESSIBILITY 6.11 CONNECTABLE AEEESSIBILITY 7 QUANTIFIED MODAL LOGIC 7.1 LOGIEAL SYNTAX . 7.2 FIRST-ORDER LANGUAGES 7.3 PROPER SUBSTITUTION . 7.4 QUANTIFIED MODAL CN-CA1CULI 7.5 QUANTIFIED EXTENSIONS OF KR . 7.6 OMEGA-COMPLETENESS IN MODAL LOGIE . 8 THE SEMANTICS OF QUANTIFIED MODAL LOGIC 8.1 SEMANTIES OF STANDARD MODAL-FREE FORMULAS 8.2 THE SEMANTIES OF LOGIEAL NEEESSITY . 8.3 THE THESIS OF ANTI-ESSENTIALISM . 8.4 INEOMPLETENESS OF THE PRIMARY SEMANTIES 8.5 SEEONDARY SEMANTIES FOR NEEESSITY . 8.6 AETUALIST-POSSIBILIST SEEONDARY SEMANTIES 8.7 RELATIONAL MODEL STRUCTURES . . . . . . . . CONTENTS 52 55 61 62 64 66 71 71 75 78 81 81 89 92 96 98 100 101 102 103 107 113 119 120 122 124 128 140 147 153 154 158 159 162 164 169 177 CONTENTS XL 9 SECOND-ORDER MODAL LOGIC 183 9.1 SECOND-ORDER LOGICAL SYNTAX 184 9.2 SECOND-ORDER LANGUAGES . . . 185 9.3 PROPER SUBSTITUTION . 188 9.4 SECOND-ORDER CN-MODAL CALCULI 192 9.5 SECOND-ORDER EXTENSIONS OF KR . 202 9.6 SECOND-ORDER OMEGA-COMPLETENESS . 209 10 SEMANTICS OF SECOND-ORDER MODAL LOGIC 215 10.1 SEMANTICS OF MODAL-FREE SECOND-ORDER FORMULAS 216 10.2 GENERAL MODELS . . . . . . . . . . . . . . . . . . . 221 10.3 SEMANTICS OF STANDARD SECOND-ORDER MODAL LANGUAGES . 224 10.4 ACTUALIST-POSSIBILIST SECOND-ORDER SEMANTICS 231 10.5 SECOND-ORDER RELATIONAL WORLD SYSTEMS . . . . . . . . . 243 AFTERWORD 253 BIBLIOGRAPHY 257 INDEX 263
any_adam_object	1
any_adam_object_boolean	1
author	Cocchiarella, Nino B. Freund, Max A.
author_facet	Cocchiarella, Nino B. Freund, Max A.
author_role	aut aut
author_sort	Cocchiarella, Nino B.
author_variant	n b c nb nbc m a f ma maf
building	Verbundindex
bvnumber	BV035019873
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 2400 ST 130
ctrlnum	(OCoLC)179802853 (DE-599)BVBBV035019873
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	Informatik Philosophie
discipline_str_mv	Informatik Philosophie
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01650nam a2200457zc 4500</leader><controlfield tag="001">BV035019873</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100608 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">080825s2008 xxu \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2008007187</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780195366570</subfield><subfield code="9">978-0-19-536657-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780195366587</subfield><subfield code="9">978-0-19-536658-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)179802853</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035019873</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-355</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></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">ST 130</subfield><subfield code="0">(DE-625)143588:</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">Cocchiarella, Nino B.</subfield><subfield code="e">Verfasser</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 to its syntax and semantics</subfield><subfield code="c">Nino B. Cocchiarella and Max A. Freund</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford [u.a.]</subfield><subfield code="b">Oxford Univ. Press</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 268 S.</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">Includes bibliographical references (p. ) and index</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</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="700" ind1="1" ind2=" "><subfield code="a">Freund, Max A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">V:DE-604</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=016689010&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-016689010</subfield></datafield></record></collection>
genre	(DE-588)4151278-9 Einführung gnd-content
genre_facet	Einführung
id	DE-604.BV035019873
illustrated	Not Illustrated
index_date	2024-07-02T21:46:10Z
indexdate	2024-07-09T21:20:21Z
institution	BVB
isbn	9780195366570 9780195366587
language	English
lccn	2008007187
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-016689010
oclc_num	179802853
open_access_boolean
owner	DE-29 DE-92 DE-11 DE-355 DE-BY-UBR
owner_facet	DE-29 DE-92 DE-11 DE-355 DE-BY-UBR
physical	XI, 268 S.
publishDate	2008
publishDateSearch	2008
publishDateSort	2008
publisher	Oxford Univ. Press
record_format	marc
spelling	Cocchiarella, Nino B. Verfasser aut Modal logic an introduction to its syntax and semantics Nino B. Cocchiarella and Max A. Freund Oxford [u.a.] Oxford Univ. Press 2008 XI, 268 S. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references (p. ) and index Modale logica gtt Modality (Logic) Modallogik (DE-588)4074914-9 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Modallogik (DE-588)4074914-9 s DE-604 Freund, Max A. Verfasser aut V:DE-604 application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016689010&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Cocchiarella, Nino B. Freund, Max A. Modal logic an introduction to its syntax and semantics Modale logica gtt Modality (Logic) Modallogik (DE-588)4074914-9 gnd
subject_GND	(DE-588)4074914-9 (DE-588)4151278-9
title	Modal logic an introduction to its syntax and semantics
title_auth	Modal logic an introduction to its syntax and semantics
title_exact_search	Modal logic an introduction to its syntax and semantics
title_exact_search_txtP	Modal logic an introduction to its syntax and semantics
title_full	Modal logic an introduction to its syntax and semantics Nino B. Cocchiarella and Max A. Freund
title_fullStr	Modal logic an introduction to its syntax and semantics Nino B. Cocchiarella and Max A. Freund
title_full_unstemmed	Modal logic an introduction to its syntax and semantics Nino B. Cocchiarella and Max A. Freund
title_short	Modal logic
title_sort	modal logic an introduction to its syntax and semantics
title_sub	an introduction to its syntax and semantics
topic	Modale logica gtt Modality (Logic) Modallogik (DE-588)4074914-9 gnd
topic_facet	Modale logica Modality (Logic) Modallogik Einführung
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016689010&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT cocchiarellaninob modallogicanintroductiontoitssyntaxandsemantics AT freundmaxa modallogicanintroductiontoitssyntaxandsemantics

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items