Tableaux for Acceptance Logic. - Mathijs de Boer; Andreas Herzig; Tiago de Lima; Emiliano Lorini (DALT, 2009)

Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]. - Mathijs de Boer; Dov M. Gabbay; Xavier Parent 001; Marija Slavkovic 001 (Synth., 2012)