TY - JOUR AU - Chellas, Brian F. IS - 2 JA - Journal of Symbolic Logic PB - Association for Symbolic Logic PY - 1980 TI - Imperatives and their Logics VL - 45 ER -