- Start
- Modal Logic with Descriptions
Modal Logic with Descriptions
Angebote / Angebote:
�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.
Folgt in ca. 5 Arbeitstagen