Title: Executable modal and temporal logics
Subjects: Congresses, Logic programming, Prolog (Computer program language)