Ein Beispiel für nichtextensionale Logik ist die Modallogik, die die einstelligen nichtextensionalen Operatoren „es ist notwendig, dass“ und „es ist möglich, dass“ einführt.
aɪn bˈaɪʃpiːl fyːɾ nˌɪçtɛkstˌɛnzɪoːnˈɑːlə lˈoːɡɪk ɪst diː mˈoːdalˌoːɡɪk, diː diː ˈaɪnʃtˌɛlɪɡən nˌɪçtɛkstˌɛnzɪoːnˈɑːlən ˌoːpeːratˈoːrən ɛsɪst nˈoːtvɛndˌɪç, dˈas“ ʊnt ɛsɪst mˈøːklɪç, dˈas“ ˈaɪnfˌyːɾt.