Modal Logic with Descriptions

�The pre-history of the topic.- �The grammar of the Q systems.- �The semantics of the Q systems.- �Descriptions.- �Statability atoms.- �Relevance conditions.- �Some irrefutable and refutable sentences.- �The Q calculi.- �Basic metatheorems on the Q calculi.- �Deductions. Further derived rules.- � Consistent and complete sets.- � Hypercomplete and compossible sets.- � Alternatives and successors of hypercomplete sets.- � Tree structures.- � The completeness theorem.- Appendix 1: Deontic logic.- References.- List of symbols.- List of abbreviations.

List of contents

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.

Product details

• Authors: Imre Rusza, Imre Ruzsa
• Assisted by: Imre Ruzsa (Editor)
• Publisher: Springer Netherlands
• Languages: English
• Product format: Paperback / Softback
• Released: 18.10.2010
• EAN: 9789048182664
• ISBN: 978-90-481-8266-4
• No. of pages: 125
• Illustrations: X, 125 p.
• Series: Nijhoff International Philosophy Series; Nijhoff International Philosophy Series
• Subjects: Humanities, art, music > Philosophy > General, dictionaries; Non-fiction book > Philosophy, religion > Philosophy: general, reference works