The Resource Partiality, modality, and nonmonotonicity, [edited by] Patrick Doherty

Partiality, modality, and nonmonotonicity, [edited by] Patrick Doherty

Label
Partiality, modality, and nonmonotonicity
Title
Partiality, modality, and nonmonotonicity
Statement of responsibility
[edited by] Patrick Doherty
Contributor
Subject
Language
eng
Cataloging source
DLC
Dewey number
006.3/3
Illustrations
illustrations
Index
index present
LC call number
QA9.46
LC item number
.P37 1996
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1957-
http://library.link/vocab/relatedWorkOrContributorName
Doherty, Patrick
Series statement
Studies in logic, language, and information.
http://library.link/vocab/subjectName
  • Modality (Logic)
  • Formal languages
  • Commonsense reasoning
Label
Partiality, modality, and nonmonotonicity, [edited by] Patrick Doherty
Instantiates
Publication
Bibliography note
Includes bibliographical references and indexes
Contents
1. How Different is Partial Logic? / Tore Langholm -- 2. Sequent Formalizations of Three-Valued Logic / Douglas Busch -- 3. Modalities for Reasoning about Knowledge and Uncertainties / Wiebe van der Hoek and John-Jules Meyer -- 4. Fundamentals of Partial Modal Logic / Jan Jaspars and Elias Thijsse -- 5. A Study in Modal Embeddings of NML3 / Patrick Doherty and Witold Lukaszewicz -- 6. A Model-based Approach to Predictive Causal Reasoning / John Bell -- 7. Partial Semantics for Truth Maintenance / Cees Witteveen -- 8. Combining Partial and Classical Semantics. A Hybrid Approach to Belief and Awareness / Elias Thijsse -- 9. Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning / Ilkka Niemela
Dimensions
24 cm.
Extent
x, 300 p.
Isbn
9781575860305
Isbn Type
(pbk : acidfree paper)
Lccn
95050863
Other physical details
ill.
System control number
  • (CaMWU)u969226-01umb_inst
  • (Sirsi) AJP-0757
  • 05169
  • (OCoLC)34079964
Label
Partiality, modality, and nonmonotonicity, [edited by] Patrick Doherty
Publication
Bibliography note
Includes bibliographical references and indexes
Contents
1. How Different is Partial Logic? / Tore Langholm -- 2. Sequent Formalizations of Three-Valued Logic / Douglas Busch -- 3. Modalities for Reasoning about Knowledge and Uncertainties / Wiebe van der Hoek and John-Jules Meyer -- 4. Fundamentals of Partial Modal Logic / Jan Jaspars and Elias Thijsse -- 5. A Study in Modal Embeddings of NML3 / Patrick Doherty and Witold Lukaszewicz -- 6. A Model-based Approach to Predictive Causal Reasoning / John Bell -- 7. Partial Semantics for Truth Maintenance / Cees Witteveen -- 8. Combining Partial and Classical Semantics. A Hybrid Approach to Belief and Awareness / Elias Thijsse -- 9. Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning / Ilkka Niemela
Dimensions
24 cm.
Extent
x, 300 p.
Isbn
9781575860305
Isbn Type
(pbk : acidfree paper)
Lccn
95050863
Other physical details
ill.
System control number
  • (CaMWU)u969226-01umb_inst
  • (Sirsi) AJP-0757
  • 05169
  • (OCoLC)34079964

Library Locations

  • Albert D. Cohen Management LibraryBorrow it
    181 Freedman Crescent, Winnipeg, MB, R3T 5V4, CA
    49.807878 -97.129961
  • Architecture/Fine Arts LibraryBorrow it
    84 Curry Place, Winnipeg, MB, CA
    49.807716 -97.136226
  • Archives and Special CollectionsBorrow it
    25 Chancellors Circle (Elizabeth Dafoe Library), Room 330, Winnipeg, MB, R3T 2N2, CA
    49.809961 -97.131878
  • Bibliothèque Alfred-Monnin (Université de Saint-Boniface)Borrow it
    200, avenue de la Cathédrale, Local 2110, Winnipeg, MB, R2H 0H7, CA
    49.888861 -97.119735
  • Bill Larson Library (Grace Hospital)Borrow it
    300 Booth Drive, G-227, Winnipeg, MB, R3J 3M7, CA
    49.882400 -97.276436
  • Carolyn Sifton - Helene Fuld Library (St. Boniface General Hospital)Borrow it
    409 Tache Avenue, Winnipeg, MB, R2H 2A6, CA
    49.883388 -97.126050
  • Concordia Hospital LibraryBorrow it
    1095 Concordia Avenue, Winnipeg, MB, R2K 3S8, CA
    49.913252 -97.064683
  • Donald W. Craik Engineering LibraryBorrow it
    75B Chancellors Circle (Engineering Building E3), Room 361, Winnipeg, MB, R3T 2N2, CA
    49.809053 -97.133292
  • E.K. Williams Law LibraryBorrow it
    224 Dysart Road, Winnipeg, MB, R3T 5V4, CA
    49.811829 -97.131017
  • Eckhardt-Gramatté Music LibraryBorrow it
    136 Dafoe Road (Taché Arts Complex), Room 257, Winnipeg, MB, R3T 2N2, CA
    49.807964 -97.132222
  • Elizabeth Dafoe LibraryBorrow it
    25 Chancellors Circle, Winnipeg, MB, R3T 2N2, CA
    49.809961 -97.131878
  • Fr. H. Drake Library (St. Paul's College)Borrow it
    70 Dysart Road, Winnipeg, MB, R3T 2M6, CA
    49.810605 -97.138184
  • J.W. Crane Memorial Library (Deer Lodge Centre)Borrow it
    2109 Portage Avenue, Winnipeg, MB, R3J 0L3, CA
    49.878000 -97.235520
  • Libraries Annex (not open to the public; please see web page for details)Borrow it
    25 Chancellors Circle (in the Elizabeth Dafoe Library), Winnipeg, MB, R3T 2N2, CA
    49.809961 -97.131878
  • Neil John Maclean Health Sciences LibraryBorrow it
    727 McDermot Avenue (Brodie Centre), 200 Level, Winnipeg, MB, R3E 3P5, CA
    49.903563 -97.160554
  • Sciences and Technology LibraryBorrow it
    186 Dysart Road, Winnipeg, MB, R3T 2M8, CA
    49.811526 -97.133257
  • Seven Oaks General Hospital LibraryBorrow it
    2300 McPhillips Street, Winnipeg, MB, R2V 3M3, CA
    49.955177 -97.148865
  • Sister St. Odilon Library (Misericordia Health Centre)Borrow it
    99 Cornish Avenue, Winnipeg, MB, R3C 1A2, CA
    49.879592 -97.160425
  • St. John's College LibraryBorrow it
    92 Dysart Road, Winnipeg, MB, R3T 2M5, CA
    49.811242 -97.137156
  • Victoria General Hospital LibraryBorrow it
    2340 Pembina Highway, Winnipeg, MB, R3T 2E8, CA
    49.806755 -97.152739
  • William R Newman Library (Agriculture)Borrow it
    66 Dafoe Road, Winnipeg, MB, R3T 2R3, CA
    49.806936 -97.135525
Processing Feedback ...