Title :
Temporal Logic applied to Information Systems
Author :
Rissino, S. ; Lambert-Torres, G. ; Martins, H.G. ; de Moraes, C.H.V.
Author_Institution :
Fed. Univ. at Rondonia, Rondonia
Abstract :
This paper presents a literature review where the potentialities of the use of 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 introducing an elementary introduction to modal logic, Kripke semantics, the features of temporal logic and its use in some areas of computer science.
Keywords :
computer science; temporal logic; Kripke semantics; computer science; information systems; modal logic; temporal logic; Application software; Artificial intelligence; Computer science; Information systems; Logic; Natural languages; Power distribution; Qualifications; Time factors; Applications; Information Systems; Kripke Semantics; Modal Logic; Temporal Logic;
Conference_Titel :
Power and Energy Society General Meeting - Conversion and Delivery of Electrical Energy in the 21st Century, 2008 IEEE
Conference_Location :
Pittsburgh, PA
Print_ISBN :
978-1-4244-1905-0
Electronic_ISBN :
1932-5517
DOI :
10.1109/PES.2008.4596303
