Deakstadieđáhus: Modal logic