Modal Logic with Descriptions von Imre Rusza | ISBN 9789401722940

Modal Logic with Descriptions

von Imre Rusza
Buchcover Modal Logic with Descriptions | Imre Rusza | EAN 9789401722940 | ISBN 94-017-2294-3 | ISBN 978-94-017-2294-0

Modal Logic with Descriptions

von Imre Rusza

Inhaltsverzeichnis

  • §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.