• DocumentCode
    2535265
  • 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
  • fYear
    2008
  • fDate
    20-24 July 2008
  • Firstpage
    1
  • Lastpage
    5
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Power and Energy Society General Meeting - Conversion and Delivery of Electrical Energy in the 21st Century, 2008 IEEE
  • Conference_Location
    Pittsburgh, PA
  • ISSN
    1932-5517
  • Print_ISBN
    978-1-4244-1905-0
  • Electronic_ISBN
    1932-5517
  • Type

    conf

  • DOI
    10.1109/PES.2008.4596303
  • Filename
    4596303
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2535265