Rohit Chadha Damiano Macedonio Vladimiro Sassone A Hybrid Intuitionistic Logic: Semantics and Decidability. 27-59 2006 16 J. Log. Comput. 1 http://dx.doi.org/10.1093/logcom/exi071 db/journals/logcom/logcom16.html#ChadhaMS06