Report - ABSTRACT...W.P. Koole: a two sorted modal logic, called Locative Temporal Logic (LTL) where the two modalities are used to reason about locative and temporal properties. In this paper

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form