Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.3233/978-1-58603-936-3-28 | ADVANCES IN TECHNOLOGICAL APPLICATIONS OF LOGICAL AND INTELLIGENT SYSTEM |
Keywords | Field | DocType |
Temporal Logic Temporal,Modal Logic,Kripke Semantic,Information Systems,Temporal Database,Applications | Information system,Temporal logic of actions,Interval temporal logic,Computer science,Multimodal logic,Artificial intelligence,Temporal logic | Conference |
Volume | ISSN | Citations |
186 | 0922-6389 | 0 |
PageRank | References | Authors |
0.34 | 1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Silvia Rissino | 1 | 0 | 0.34 |
Germano Lambert-torres | 2 | 59 | 19.17 |
Helga Gonzaga Martins | 3 | 18 | 7.63 |