Holdings: Modal logic :: THWS Bibkatalog

Modal logic: an introduction to its syntax and semantics

Saved in:

Bibliographic Details
Main Author:	Cocchiarella, Nino B. (Author)
Format:	Electronic eBook
Language:	English
Published:	New York Oxford University Press 2008
Subjects:	Modality (Logic) Modallogik Einführung
Online Access:	KUBA1 KUBA4 Volltext
Item Description:	A variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven Includes bibliographical references and index
Physical Description:	1 Online-Ressource (xi, 268 p.)
ISBN:	0199851891 9780199851898
DOI:	10.1093/acprof:oso/9780195366587.001.0001

Staff View

MARC


LEADER	00000nmm a2200000zc 4500
001	BV042172054
003	DE-604
005	00000000000000.0
007	cr\|uuu---uuuuu
008	141106s2008 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 0199851891 \|c ebook \|9 0-19-985189-1
020			\|a 9780199851898 \|c ebook \|9 978-0-19-985189-8
024	7		\|a 10.1093/acprof:oso/9780195366587.001.0001 \|2 doi
035			\|a (OCoLC)826675515
035			\|a (DE-599)BVBBV042172054
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-Y3 \|a DE-Y2
082	0		\|a 160 \|2 22
084			\|a CC 2400 \|0 (DE-625)17608: \|2 rvk
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
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 New York \|b Oxford University Press \|c 2008
300			\|a 1 Online-Ressource (xi, 268 p.)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
500			\|a A variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven
500			\|a Includes bibliographical references and index
650		4	\|a Modality (Logic)
650	0	7	\|a Modallogik \|0 (DE-588)4074914-9 \|2 gnd \|9 rswk-swf
655		7	\|8 1\p \|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		\|8 2\p \|5 DE-604
700	1		\|a Freund, Max A. \|e Sonstige \|4 oth
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-0-19-536658-7
856	4	0	\|u https://doi.org/10.1093/acprof:oso/9780195366587.001.0001 \|x Verlag \|3 Volltext
912			\|a ZDB-28-OSP
999			\|a oai:aleph.bib-bvb.de:BVB01-027611466
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
966	e		\|u https://doi.org/10.1093/acprof:oso/9780195366587.001.0001 \|l KUBA1 \|p ZDB-28-OSP \|q KHI \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1093/acprof:oso/9780195366587.001.0001 \|l KUBA4 \|p ZDB-28-OSP \|q BHR \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1804152676580065280
any_adam_object
author	Cocchiarella, Nino B.
author_facet	Cocchiarella, Nino B.
author_role	aut
author_sort	Cocchiarella, Nino B.
author_variant	n b c nb nbc
building	Verbundindex
bvnumber	BV042172054
classification_rvk	CC 2400 ST 130
collection	ZDB-28-OSP
ctrlnum	(OCoLC)826675515 (DE-599)BVBBV042172054
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
doi_str_mv	10.1093/acprof:oso/9780195366587.001.0001
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02396nmm a2200493zc 4500</leader><controlfield tag="001">BV042172054</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">141106s2008 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0199851891</subfield><subfield code="c">ebook</subfield><subfield code="9">0-19-985189-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199851898</subfield><subfield code="c">ebook</subfield><subfield code="9">978-0-19-985189-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1093/acprof:oso/9780195366587.001.0001</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)826675515</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042172054</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="049" ind1=" " ind2=" "><subfield code="a">DE-Y3</subfield><subfield code="a">DE-Y2</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">22</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="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">New York</subfield><subfield code="b">Oxford University Press</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xi, 268 p.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">A variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</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="8">1\p</subfield><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="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Freund, Max A.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-19-536658-7</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1093/acprof:oso/9780195366587.001.0001</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-28-OSP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027611466</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1093/acprof:oso/9780195366587.001.0001</subfield><subfield code="l">KUBA1</subfield><subfield code="p">ZDB-28-OSP</subfield><subfield code="q">KHI</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1093/acprof:oso/9780195366587.001.0001</subfield><subfield code="l">KUBA4</subfield><subfield code="p">ZDB-28-OSP</subfield><subfield code="q">BHR</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	1\p (DE-588)4151278-9 Einführung gnd-content
genre_facet	Einführung
id	DE-604.BV042172054
illustrated	Not Illustrated
indexdate	2024-07-10T01:14:30Z
institution	BVB
isbn	0199851891 9780199851898
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027611466
oclc_num	826675515
open_access_boolean
owner	DE-Y3 DE-Y2
owner_facet	DE-Y3 DE-Y2
physical	1 Online-Ressource (xi, 268 p.)
psigel	ZDB-28-OSP ZDB-28-OSP KHI ZDB-28-OSP BHR
publishDate	2008
publishDateSearch	2008
publishDateSort	2008
publisher	Oxford University 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 New York Oxford University Press 2008 1 Online-Ressource (xi, 268 p.) txt rdacontent c rdamedia cr rdacarrier A variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven Includes bibliographical references and index Modality (Logic) Modallogik (DE-588)4074914-9 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Modallogik (DE-588)4074914-9 s 2\p DE-604 Freund, Max A. Sonstige oth Erscheint auch als Druckausgabe 978-0-19-536658-7 https://doi.org/10.1093/acprof:oso/9780195366587.001.0001 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Cocchiarella, Nino B. Modal logic an introduction to its syntax and semantics 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_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	Modality (Logic) Modallogik (DE-588)4074914-9 gnd
topic_facet	Modality (Logic) Modallogik Einführung
url	https://doi.org/10.1093/acprof:oso/9780195366587.001.0001
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! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items