Logics for Artificial Intelligence (Irvington Social Relations Series)