Availability: Modal logic | Technische Universität München

Modal logic:

Saved in:

Bibliographic Details
Main Authors:	Blackburn, Patrick 1959- (Author), Rijke, Maarten de (Author), Venema, Yde (Author)
Format:	Book
Language:	English
Published:	Cambridge [u.a.] Cambridge Univ. Press 2002
Edition:	1. paperback ed.
Series:	Cambridge tracts in theoretical computer science 53
Subjects:	Modallogik
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010003680&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Physical Description:	XXII, 554 S. graph. Darst.
ISBN:	0521527147

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV014774328
003	DE-604
005	20200123
007	t\|
008	021004s2002 xx d\|\|\| \|\|\|\| 00\|\|\| eng d
020			\|a 0521527147 \|9 0-521-52714-7
035			\|a (OCoLC)248279462
035			\|a (DE-599)BVBBV014774328
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a eng
049			\|a DE-473 \|a DE-739 \|a DE-706 \|a DE-11
082	0		\|a 511.3
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a ST 125 \|0 (DE-625)143586: \|2 rvk
084			\|a 17,1 \|2 ssgn
100	1		\|a Blackburn, Patrick \|d 1959- \|e Verfasser \|0 (DE-588)174091478 \|4 aut
245	1	0	\|a Modal logic \|c Patrick Blackburn ; Maarten de Rijke ; Yde Venema
250			\|a 1. paperback ed.
264		1	\|a Cambridge [u.a.] \|b Cambridge Univ. Press \|c 2002
300			\|a XXII, 554 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Cambridge tracts in theoretical computer science \|v 53
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
700	1		\|a Rijke, Maarten de \|e Verfasser \|4 aut
700	1		\|a Venema, Yde \|e Verfasser \|4 aut
830		0	\|a Cambridge tracts in theoretical computer science \|v 53 \|w (DE-604)BV000754528 \|9 53
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=010003680&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-010003680

Record in the Search Index

_version_	1819290633677832192
adam_text	Contents Preface page xi 1 Basic Concepts 1 1.1 Relational Structures 2 1.2 Modal Languages 9 1.3 Models and Frames 16 1.4 General Frames 28 1.5 Modal Consequence Relations 31 1.6 Normal Modal Logics 33 1.7 Historical Overview 37 1.8 Summary of Chapter 1 48 2 Models 50 2.1 Invariance Results 51 2.2 Bisimulations 64 2.3 Finite Models 73 2.4 The Standard Translation 83 2.5 Modal Saturation via Ultrafilter Extensions 91 2.6 Characterization and Definability 100 2.7 Simulation and Safety 110 2.8 Summary of Chapter 2 117 Notes 118 3 Frames 123 3.1 Frame Definability 124 3.2 Frame Definability and Second Order Logic 130 3.3 Definable and Undefinable Properties 138 3.4 Finite Frames 143 3.5 Automatic First Order Correspondence 148 3.6 Sahlqvist Formulas 156 3.7 More about Sahlqvist Formulas 167 vii viii Contents 3.8 Advanced Frame Theory 178 3.9 Summary of Chapter 3 183 Notes 185 4 Completeness 188 4.1 Preliminaries 189 4.2 Canonical Models 196 4.3 Applications 201 4.4 Limitative Results 211 4.5 Transforming the Canonical Model 217 4.6 Step by Step 223 4.7 Rules for the Undefinable 229 4.8 Finitary Methods I 239 4.9 Finitary Methods II 247 4.10 Summary of Chapter 4 256 Notes 258 5 Algebras and General Frames 261 5.1 Logic as Algebra 262 5.2 Algebraizing Modal Logic 275 5.3 The Jonsson Tarski Theorem 283 5.4 Duality Theory 294 5.5 General Frames 303 5.6 Persistence 318 5.7 Summary of Chapter 5 326 Notes 327 6 Computability and Complexity 332 6.1 Computing Satisfiability 333 6.2 Decidability via Finite Models 338 6.3 Decidability via Interpretations 347 6.4 Decidability via Quasi models and Mosaics 356 6.5 Undecidability via Tiling 364 6.6 NP 373 6.7 PSPACE 381 6.8 EXPTIME 393 6.9 Summary of Chapter 6 406 Notes 407 7 Extended Modal Logic 413 7.1 Logical Modalities 414 7.2 Since and Until 426 7.3 Hybrid Logic 434 7.4 The Guarded Fragment 446 Contents ix 7.5 Multi Dimensional Modal Logic 458 7.6 A Lindstrom Theorem for Modal Logic 470 7.7 Summary of Chapter 7 476 Notes 477 Appendix A A Logical Toolkit 485 Appendix B An Algebraic Toolkit 497 Appendix C A Computational Toolkit 504 Appendix D A Guide to the Literature 516 Bibliography 524 List of Notation 544 Index 547
any_adam_object	1
author	Blackburn, Patrick 1959- Rijke, Maarten de Venema, Yde
author_GND	(DE-588)174091478
author_facet	Blackburn, Patrick 1959- Rijke, Maarten de Venema, Yde
author_role	aut aut aut
author_sort	Blackburn, Patrick 1959-
author_variant	p b pb m d r md mdr y v yv
building	Verbundindex
bvnumber	BV014774328
classification_rvk	SK 130 ST 125
ctrlnum	(OCoLC)248279462 (DE-599)BVBBV014774328
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Informatik Mathematik
edition	1. paperback ed.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01594nam a2200409 cb4500</leader><controlfield tag="001">BV014774328</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200123 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">021004s2002 xx d\|\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521527147</subfield><subfield code="9">0-521-52714-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248279462</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014774328</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</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">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">17,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Blackburn, Patrick</subfield><subfield code="d">1959-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)174091478</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modal logic</subfield><subfield code="c">Patrick Blackburn ; Maarten de Rijke ; Yde Venema</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. paperback ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 554 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">Cambridge tracts in theoretical computer science</subfield><subfield code="v">53</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="700" ind1="1" ind2=" "><subfield code="a">Rijke, Maarten de</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Venema, Yde</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">53</subfield><subfield code="w">(DE-604)BV000754528</subfield><subfield code="9">53</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=010003680&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-010003680</subfield></datafield></record></collection>
id	DE-604.BV014774328
illustrated	Illustrated
indexdate	2024-12-20T11:07:50Z
institution	BVB
isbn	0521527147
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-010003680
oclc_num	248279462
open_access_boolean
owner	DE-473 DE-BY-UBG DE-739 DE-706 DE-11
owner_facet	DE-473 DE-BY-UBG DE-739 DE-706 DE-11
physical	XXII, 554 S. graph. Darst.
publishDate	2002
publishDateSearch	2002
publishDateSort	2002
publisher	Cambridge Univ. Press
record_format	marc
series	Cambridge tracts in theoretical computer science
series2	Cambridge tracts in theoretical computer science
spellingShingle	Blackburn, Patrick 1959- Rijke, Maarten de Venema, Yde Modal logic Cambridge tracts in theoretical computer science Modallogik (DE-588)4074914-9 gnd
subject_GND	(DE-588)4074914-9
title	Modal logic
title_auth	Modal logic
title_exact_search	Modal logic
title_full	Modal logic Patrick Blackburn ; Maarten de Rijke ; Yde Venema
title_fullStr	Modal logic Patrick Blackburn ; Maarten de Rijke ; Yde Venema
title_full_unstemmed	Modal logic Patrick Blackburn ; Maarten de Rijke ; Yde Venema
title_short	Modal logic
title_sort	modal logic
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=010003680&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000754528
work_keys_str_mv	AT blackburnpatrick modallogic AT rijkemaartende modallogic AT venemayde modallogic

Availability

‌

Order via interlibrary loan Table of Contents