Logika onticky neurčitých domén