Description

Among the many approaches to formal reasoning about programs, Dynamic Logic enjoysthe singular advantage of being strongly related to classical logic. Its variants constitute naturalgeneralizations and extensions of classical formalisms. For examp...

Read more