Robuta

https://westminsterresearch.westminster.ac.uk/item/90vz1/combining-computation-tree-logic-and-deontic-logic-in-natural-deduction-style-calculus Combining computation tree logic and deontic logic in natural deduction style calculus :... computation tree logic natural deduction combining deontic style