Deakstadieđáhus: Philosophical logic: