Ramon Jansana Abstract modal logics. 273-299 1995 55 Studia Logica 2 db/journals/sLogica/sLogica55.html#Jansana95 http://dx.doi.org/10.1007/BF01061238