Modal logic formalization, multiple kinds of possibilitiesEmil O. W. KirkegaardJun 14, 2009ShareFormatting requires a PDF file.modal-logic-formalization