Deontic Logics as Axiomatic Extensions of First-Order Predicate Logic: An Approach Inspired by Wolniewicz's Formal Ontology of Situations. - Andrzej Malec (Axioms, 2019)