Stav dette: A new introduction to modal logic