The gamut of dynamic logics [chapter]

Jan van Eijck, Martin Stokhof
2006 Handbook of the History of Logic  
doi:10.1016/s1874-5857(06)80033-6 fatcat:cxjzfgmh4bgiviw7hharvgmao4