The Work Combinatory Dynamic Logic (Modal Logic with Nominals) The details The Author Solomon Passy The offers
