As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
This chapter presents a revision of logic temporal, where the potentialities and used in temporal logic in information systems are presented, mainly what refers to its development. The purpose of this work is to show how Temporal logic is applied to an Information System besides introduction an elementary introduction of Modal Logic, Kripke Semantics, the features of Temporal Logic and it use in some areas of Computer Science.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.