Analysis of Risk-Based Operational Bird Strike Prevention

Bird strike prevention in civil aviation has traditionally focused on the airport perimeter. Since the risk of especially damaging bird strikes outside the airport boundaries is rising, this paper investigates the safety potential of operational bird strike prevention involving pilots and controllers. In such a concept, controllers would be...

Anderson's Relevant Deontic and Eubouliatic Systems

We present axiomatizations of the deontic fragment of Anderson's relevant deontic logic (the logic of obligation and related concepts) and the eubouliatic fragment of Anderson's eubouliatic logic (the logic of prudence, safety, risk, and related concepts).

Scenarios in the design process