Return to Article Details Tableaux for some deontic logics with the explicit permission operator Download Download PDF