Dov M. Gabbay
Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones–Pörn deontic logic system]
Reactive intuitionistic tableaux
2011
Synthese 179/2
Mathematical problems from applied logic I: logics for the XXIst century
2006
with Goncharov Sergei, Zakharyaschev Michael (ed)
Dordrecht, Springer