様相論理学- 可能的なことと必然的なことについての命題を扱う論理学
Logik, die sich mit Sätzen über Mögliches und Notwendiges beschäftigt