Modal Logic with Descriptions

Imre Rusza

ISBN 10: 9024724732 / ISBN 13: 9789024724734

Published by Springer Netherlands, Springer Netherlands Sep 1981, 1981

About this Item

This item is printed on demand - Print on Demand Titel. Neuware -Inhaltsangabe 0 The pre-history of the topic.- 1 The grammar of the Q systems.- 2 The semantics of the Q systems.- 3 Descriptions.- 4 Statability atoms.- 5 Relevance conditions.- 6 Some irrefutable and refutable sentences.- 7 The Q calculi.- 8 Basic metatheorems on the Q calculi.- 9 Deductions. Further derived rules.- 10 Consistent and complete sets.- 11 Hypercomplete and compossible sets.- 12 Alternatives and successors of hypercomplete sets.- 13 Tree structures.- 14 The completeness theorem.- Appendix 1: Deontic logic.- References.- List of symbols.- List of abbreviations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 140 pp. Englisch.

Seller Inventory # 9789024724734

Bibliographic Details

• Title: Modal Logic with Descriptions
• Publisher: Springer Netherlands, Springer Netherlands Sep 1981
• Publication Date: 1981
• Language: English
• ISBN 10: 9024724732
• ISBN 13: 9789024724734
• Binding: Buch
• Condition: Neu
• Dimensions: 241W x 160H x 13D millimeters 241 millimeters width by 160 millimeters height by 13 millimeters depth
• Weight: 383 grams

About this title

Synopsis

Format Library Binding Subject Literary Collections Publisher Kluwer Academic Print on Demand