Email Record: A short introduction to modal logic /