háttarökfræði

== Icelandic == === Etymology === From háttur (“modality, mode”) +‎ rökfræði (“logic”). === Pronunciation === IPA(key): /ˈhauhtaˌrœk.fraiːðɪ/ === Noun === háttarökfræði f (genitive singular háttarökfræði, no plural) (logic) modal logic; (any formal system that attempts to deal with modalities such as possibility and necessity, but also obligation and permission) ==== Declension ====