Modal logic and process algebra | lit.salon