Skip to content

General Dynamic Dynamic Logic.

Patrick Girard, Jeremy Seligman, Fenrong Liu

VenueBAiML
Year2012
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.