MoL-2013-15: Pico, Maurice (2013) Completeness proofs via canonical models on increasingly generalized settings. [Report]