αρχείο Email: Modal logic and process algebra