The Resource Modal logic : an introduction to its syntax and semantics, Nino B. Cocchiarella and Max A. Freund

Modal logic : an introduction to its syntax and semantics, Nino B. Cocchiarella and Max A. Freund

Label
Modal logic : an introduction to its syntax and semantics
Title
Modal logic
Title remainder
an introduction to its syntax and semantics
Statement of responsibility
Nino B. Cocchiarella and Max A. Freund
Creator
Contributor
Subject
Language
eng
Summary
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
Cataloging source
KIJ
Dewey number
160
Index
index present
LC call number
BC199.M6
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Target audience
specialized
Label
Modal logic : an introduction to its syntax and semantics, Nino B. Cocchiarella and Max A. Freund
Publication
Bibliography note
Includes bibliographical references (pages 257-261) and index
http://library.link/vocab/branchCode
  • net
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
other
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Contents; 1 Introduction; 2 The Syntax of Modal Sentential Calculi; 3 Matrix Semantics; 4 Semantics for Logical Necessity; 5 Semantics for S5; 6 Relational World Systems; 7 Quantified Modal Logic; 8 The Semantics of Quantified Modal Logic; 9 Second-Order Modal Logic; 10 Semantics of Second-Order Modal Logic; Afterword; Bibliography; Index
Control code
ocn249078277
Dimensions
unknown
Extent
1 online resource (xi, 268 pages)
Form of item
online
Isbn
9781281529381
Media category
computer
Media MARC source
rdamedia
Media type code
c
http://library.link/vocab/ext/overdrive/overdriveId
152938
http://library.link/vocab/recordID
.b36006014
Specific material designation
remote
System control number
  • (OCoLC)249078277
  • pebcs0199710635

Library Locations

    • Deakin University Library - Geelong Waurn Ponds CampusBorrow it
      75 Pigdons Road, Waurn Ponds, Victoria, 3216, AU
      -38.195656 144.304955
Processing Feedback ...