On interval modal logic with “after” relation

Resumo

This paper is devoted to study of the logic corresponding to intervals of the real line, where the modality is interpreted as “after.” Since this logic is finitely axiomatizable, the proof of the finite model property given in the paper implies its decidability. Also, a description of the class of finite rooted Kripke frames corresponding to this logic is provided.