Title: From Modal Logic to Logic Programming