Modal Logic Programming.

D. Kato, T. Kikuchi, R. Nakajima, J. Sawada, H. Tsuiki

Browse the full FM paper archive.