Telefona gönder: A new introduction to modal logic/