The Philosopher Solomon Passy The face The background Branchs: Mathematical logic, Computer sciences The synopsis The works Combinatory Dynamic Logic (Modal Logic with Nominals)