Originally the study of deductive behavior of the expressions `it is necessary that' and `it is pos...
Several normal propositional modal logics are systematically presented in the calculus of structure...
Discussion of Ernst Mally's logic of obligation; from the Stanford Encyclopedia by Gert-Jan Lokhors...