Geometry.Net - the online learning center
Home  - Science - Temporal Logic

e99.com Bookstore
  
Images 
Newsgroups
Page 5     81-100 of 104    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

         Temporal Logic:     more books (100)
  1. Verifying temporal properties without using temporal logic (Technical report. Cornell University. Dept. of Computer Science) by Bowen Lewis Alpern, 1985
  2. A temporal-logic based compositional proof system for real-time message passing (Technical report. Cornell University. Dept. of Computer Science) by Jozef Hooman, 1988
  3. The treatment of macro expansions in the temporal logic of parallel programs (Technical report. Technische Universität München. Institut für Informatik) by A Kausche, 1985
  4. Temporal logic programming is complete and expressive (Report / Stanford University. Computer Science Dept) by Marianne Baudinet, 1988
  5. A really temporal logic (Report / Stanford University. Computer Science Dept) by Rajeev Alur, 1989
  6. Alternating-time temporal logic (Memorandum) by Rajeev Alur, 1998
  7. Synchronization of multiagent plans using a temporal logic theorem prover (Technical note. SRI International) by Christopher Stuart, 1985
  8. Semantics for reified temporal logic (Research paper. University of Edinburgh. Department of Artificial Intelligence) by Han Reichgelt, 1986
  9. An improved algorithm for the automatic verification of finite state systems using temporal logic (Research report. Carnegie-Mellon University. Dept. of Computer Science) by Michael C Browne, 1986
  10. Temporal logic specification and verification of a virtual ring LAN access protocol ([Report] / Université P. et M. Curie, Laboratoire Informatique Théorique et Programmation) by Ana R Cavalli, 1985
  11. Temporal Logic: Logic, Modal Logic, Computer Science, Principle of Bivalence, Formal Verification, Linear Temporal Logic, Computation Tree Logic, Model Checking, Logical Connective
  12. Temporal Logic by Dov M. Gabbay, 2000
  13. On the expressive power of temporal logic ([Report]. Universite P. et M. Curie. Institut de Programmation. Laboratoire Informatique Theorique et Programmation) by D Perrin, 1986
  14. A study of an extended temporal logic and a temporal fixed point calculus (Technical report series. University of Manchester. Dept. of Computer Science) by B Banieqbal, 1986

81. The Temporal Logic Of Actions I
The temporal logic of Actions I. Wolfgang Provability; Rigid Variables and Quantifiers;The Enabled Predicate; Simple temporal logic; Temporal Formulas;
http://www.risc.uni-linz.ac.at/courses/ss2001/formalpar/tla1/
The Temporal Logic of Actions I
Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 Linz, Austria
  • Introduction
  • Logic Versus Programming
  • Goals of a Programming Logic
  • The Logic of Actions ...
  • Additional Rules Author: Wolfgang Schreiner
    Last Modification: May 14, 1998 Up RISC-Linz University Search
  • 82. Temporal Logic Research
    University of Greenwich. to CMS homepage temporal logic Research in the School ofComputing and Mathematical Sciences Publications in the temporal logic area
    http://cms1.gre.ac.uk/research/temp_logic/
    Temporal Logic Research in the School of Computing and Mathematical Sciences:
    Publications in the Temporal Logic area

    83. Temporal Logic
    temporal logic for Specification. temporal logic is ordinary logic extended withtemporal operators (read henceforth) and (read eventually).
    http://cs.wwc.edu/~aabyan/TL/
    Temporal Logic for Specification
    Anthony Aaby
    Walla Walla College
    aabyan@wwc.edu

    var theDate="" theDate = document.lastModified document.write(" Last Modified: ") document.write(theDate) document.write(". ")
    Comments and content invited: aabyan@wwc.edu
    Temporal logic is ordinary logic extended with temporal operators [] (read henceforth ) and (read eventually ). The formula [] P asserts that P is true now and at all future times, and the formula P asserts that P is true now or at some future time. Since P is eventually true if and only if it is not always false, P   is equivalent to ~[]~ P Temporal logic, as it has been defined here, cannot formally specify things like average response time and probability of failure. However, it is useful for the specification of safety and liveness properties. Safety properties assert what the system is allowed to do, or equivalently, what it may not do. Safety properties are satisfied by a system which does nothing. Restriction to only producing correct answers is an example of a safety property. Liveness properties assert what the system must do. Termination is an example of a liveness property.

    84. Temporal Logics
    Without the addition of additional temporal operators, temporal logic cannot expressall regular expressions. Syntax. temporal logic and the Next time operator.
    http://cs.wwc.edu/~aabyan/Logic/Temporal.html
    Temporal Logics
    Connections Temporal logics are designed to express temporal progression. It is customary to add the operator [] with the interpretation determined by the logic. A second operator is the dual of the first i.e. A = ¬[]¬A and []A = ¬ ¬A. Figure 1 illustrates some readings of the formulas []A and A. Temporal logic plays an important role in the specification, derivation, and verification of programs as programs may be viewed as progressing through a sequence of states, a new state after each event in the system. They have a particularly useful role in the specification and verification of communication protocols and reactive systems. Propositional temporal logics have the finite model property making them useful for the derivation of programs from formal specifications.  The derived model resembles a finite state machine hovever, the model accepts infinite strings and belongs to the class of w -automata. Without the addition of additional temporal operators, temporal logic cannot express all regular expressions.

    85. Temporal Logic With Past Is Exponentially More Succinct
    LSV. LSV, temporal logic with Past is Exponentially More Succinct. Whatis temporal logic with past? It is temporal logic where future
    http://www.lsv.ens-cachan.fr/~markey/PLTL.php
    Temporal Logic with Past is Exponentially More Succinct
    Main Menu
    Abstract : The old question whether temporal logic with past-time modalities is exponentially more succinct than pure-future temporal logic has recently been answered positively
    What is temporal logic with past?
    It is temporal logic where future-time modalities, such as F sometimes in the future G always in the future U until "), ... are complemented with their past-time counterparts ( P or F for " once in the past H or G for " always in the past S or U for " since
    Is it useful?
    Yes. Indeed, specifications expressed in natural language often use references to events that occured in the past. One finds it natural to express that "every request is eventually granted" by G (request => F grant) Thus we woud like to express that "every grant is preceeded by a request" by the formula G (grant => F request)
    Is it really useful?
    It is possible to express the property of formula (2) without past-time modalities, and write U Formula (3) only uses future modalities, and is equivalent to formula (2) when interpreted at the beginning of a path. This is a general pattern. Gabbay

    86. A Temporal Logic For The Specification And Verification Of Distributed Behaviour
    TU Braunschweig Informatik Abt. Programmierung A temporal logic for the Specificationand Verification of Distributed Behaviour. Peter Niebert Abstract.
    http://www.cs.tu-bs.de/ips/niebert/Niebert1999-abstract_en.shtml
    [TU Braunschweig] [Informatik] [Abt. Programmierung]
    A Temporal Logic for the Specification and Verification of Distributed Behaviour
    Peter Niebert Abstract In this work we develop a temporal logic with fixpoints for distributed processes or distributed systems. Here, we extend this approach to distributed processes, which represent the causal relation of events occurring in a run of a system as partial order. A key problem is the proper generalisation of the ``Next'' operator. Within a general framework we identify several syntactic subclasses of the logic. Both theoretical and pragmatic aspects of the resulting logics are investigated. Informatik-Bericht 99-02, TU Braunschweig Page provided by Thomas Firley firley@ips.cs.tu-bs.de

    87. Temporal Logic
    A B C D E F G H I J K L M N O P Q R S T U V W X Y Z. temporal logic. Modallogic approaches to temporal logic.
    http://www.seop.leeds.ac.uk/archives/win1999/entries/logic-temporal/
    Stanford Encyclopedia of Philosophy
    A B C D ... Z
    Temporal Logic
    The term Temporal Logic has been broadly used to cover all approaches to the representation of temporal information within a logical framework, and also more narrowly to refer specifically to the modal-logic type of approach introduced around 1960 by Arthur Prior under the name of Tense Logic and subsequently developed further by logicians and computer scientists. Applications of Temporal Logic include its use as a formalism for clarifying philosophical issues about time, as a framework within which to define the semantics of temporal expressions in natural language, as a language for encoding temporal knowledge in artificial intelligence, and as a tool for handling the temporal aspects of the execution of computer programs.
    Modal-logic approaches to temporal logic
    Tense Logic
    The logical language of Tense Logic contains, in addition to the usual truth-functional operators, four modal operators with intended meanings as follows: P "It has at some time been the case that ..."

    88. Introduction To Temporal Logic Propositional Checker
    Introduction to temporal logic Propositional Checker by Hugh McGuire.Without too much ado, here's the Unixstyle manual-page for
    http://www.cs.ucsb.edu/~mcguire/tl_sat/intro_to_impl.html
    Introduction to Temporal Logic Propositional Checker by Hugh McGuire
    Without too much ado, here's the Unix-style manual-page for this program (or actually, set of programs), comprising instructions and then examples of use. ( My dissertation provides more information and examples.) Click here if you want to get these programs (they are free). (This page was last updated 1996:June:22.)

    89. GUP: TLC - Temporal Logic Checker
    TLC temporal logic Checker. This is an Austrian - Hungarian joint projectto develop a temporal logic assertion checker. Ofiicial Project Page,
    http://www.gup.uni-linz.ac.at/research/logic/index.php
    TLC - Temporal Logic Checker
    Project Definition
    Integrating Temporal Specifications as Runtime Assertions into Parallel Debugging Tools
    This is an Austrian - Hungarian joint project to develop a temporal logic assertion checker.
    Ofiicial Project Page The TLC (Temporal Logic Checker) project page
    Description Debugging nondeterministic parallel programs is a difficult and tedious task. In this project we propose to investigate the use of program specifications , which can serve as enhanced debugging aids in existing parallel debugging tools. The principal idea is to formulate a specification of expected program behavior, translate this specification into runtime assertions , and check them during execution . With this sophisticated approach, the user may select a subset of all possible executions on which checking should be performed and collect for each check a consistent global state of the observed application.
    Members
    Deliverables
    Download
    Talks
    • : Talk about "

    90. Temporal Logic
    8. Intuitions about actions and events. 9. Interval temporal logic 10. Time infirst order predicate logic 11. Conclusion 16. References. temporal logic.
    http://guthulamurali.freeservers.com/temp.html
    Free Web site hosting - Freeservers.com
    CONTENTS
    1. Abstract
    2. Knowledge and Knowledge representation
    3. Introduction to Temporal Logic
    4. Modeling Time
    5. Reasoning About Time and The Situation Calculus
    6. James F. Allen and George Ferguson theory
    7. Representing Actions and Events.
    8. Intuitions about actions and events.
    9. Interval temporal logic 10. Time in first order predicate logic 11. Temporal logic based on modality 12. An Example of Reasoning of temporal logic : Study room 13. Advantages and disadvantages 14. Applications 15. Conclusion 16. References TEMPORAL LOGIC ABSTRACT: In temporal logic we will consider how it will effect the world which is developing very fast. Now a days it is very important to consider time as basic unit. Every plan depends on time. In this topic we will explain various temporal logic in which time plays important role we will also deal with various author theories in which they explain by taking time in to account. We consider various robot actions, planning, natural language understanding scheduling, and genetics. At last we will explain about reasoning of study room using temporal logic. Knowledge 'Knowledge is the symbolic representation of aspects of some named universe of discourse.' The universe of discourse may be the actual universe or some non-actual universe such as a universe in the future, a make -believe depicted in fiction, a universe existing in an individual's beliefs, etc.

    91. Temporal Logic From FOLDOC
    temporal logic. logic An extension There are two types of temporal logicused branching time and linear time. The basic propositional
    http://www.instantweb.com/foldoc/foldoc.cgi?temporal logic

    92. Richard Zach A Complete First-order Temporal Logic Of Time With
    A complete firstorder temporal logic of time with gaps. Theoretical ComputerScience 160 (1996) 241-270 (with Matthias Baaz and Alexander Leitsch).
    http://www.ucalgary.ca/~rzach/papers/gaptime.html
    Richard Zach Home CV Teaching Publications ... Philosophy Department
    A complete first-order temporal logic of time with gaps
    Theoretical Computer Science
    (with Matthias Baaz and Alexander Leitsch) Abstract: The first-order temporal logics with and o of time structures isomorphic to omega (discrete linear time) and trees of omega-segments (linear time with branching gaps) and some of its fragments are compared: The first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov. Download:
    Home
    CV Teaching Publications ... Philosophy Department

    Last updated March 22, 2003

    93. RR-2804 : Interactive Theorem Proving With Temporal Logic
    Translate this page logo inria. RR-2804 - Interactive Theorem Proving with temporal logic. Abstract In this paper, we present a theorem prover for linear temporal logic.
    http://www.inria.fr/rrrt/rr-2804.html

    RR-2804 - Interactive Theorem Proving with Temporal Logic
    Felty, Amy
    Les rapports de cet auteur Rapport de recherche de l'INRIA- Sophia Antipolis Page d'accueil de l'unité de recherche Fichier PostScript / PostScript file Fichier postscript du document :
    165 Ko Fichier PDF / PDF file Fichier PDF du document :
    344 Ko Page d'accueil du projet

    94. RR-0881 : Compiling Temporal Logic Specifications Into Observers
    Translate this page logo inria. RR-0881 - Compiling temporal logic specifications into observers.Drissi-Kaitouni, O. - Jard, Claude Les rapports de cet auteur.
    http://www.inria.fr/rrrt/rr-0881.html

    RR-0881 - Compiling temporal logic specifications into observers
    Drissi-Kaitouni, O. Jard, Claude
    Les rapports de cet auteur Rapport de recherche de l'INRIA- Rennes Page d'accueil de l'unité de recherche
    Pour obtenir la version papier
    (Donnez votre adresse postale et le no de rapport)
    19 pages - Juillet 1988 - Document en anglais

    95. A Nonmonotonic Temporal Logic And Its Kripke Semantics
    A Nonmonotonic temporal logic and Its Kripke Semantics. FUJIWARA Thispaper proposes a logic for nonmonotonic temporal reasoning. The
    http://www.ipsj.or.jp/members/JInfP/Eng/1401/article002.html
    Last Update¡§Tue Jun 19 17:31:48 2001 Journal of Information Processing Abstract Vol.14 No.01 - 002
    A Nonmonotonic Temporal Logic and Its Kripke Semantics
    FUJIWARA YASUSHI HONIDEN SHINICHI
    Human commonsense reasoning is at the same time nonmonotonic and temporal. This paper proposes a logic for nonmonotonic temporal reasoning. The nonmonotonic temporal logic "autoepistemic temporal logic"(ATL) is an extension of both autoepistemic logic, a kind of nonmonotonic logic, and propositional temporal logic (PTL). A spatio-temporal logic ST5, which is suitable for reasoning about multiprocess networks, is also proposed, and a close relationship is exhibited between the semantics of ATL and ST5. Stable expansions of premises of a certain type are then characterized in terms of statewise autoepistemic stable expansions. The result may also provide a general approach to constructing nonmonotonic logics with possible-world semantics.
    Text ¢¬Index Vol.14 No.01
    Journal of Information Processing Contents Web Members Service Menu
    Comments are welcome. Mail to address editj@ips j.or.jp

    96. Alur/Henzinger/Kupferman: Alternating Temporal Logic
    Alternating temporal logic. Rajeev Alur, Thomas A. Henzinger, and OrnaKupferman temporal logic comes in two varieties lineartime
    http://www.cis.upenn.edu/~alur/Focs97.html
    Alternating Temporal Logic
    Rajeev Alur, Thomas A. Henzinger, and Orna Kupferman Temporal logic comes in two varieties: linear-time temporal logic assumes implicit universal quantification over all paths that are generated by system moves; branching-time temporal logic allows explicit existential and universal quantification over all paths. We introduce a third, more general variety of temporal logic: alternating-time temporal logic no matter how the environment behaves A preliminary version appears in the Proceedings of the 38th Annual IEEE Symposium on Foundations of Computer Science (FOCS'97), pp. 100-109, 1997. An extended version appears in Compositionality The Significant Difference, LNCS 1536, pp. 2360, Springer-Verlag, 1999.

    97. IFCoLog Automata And Temporal Logic Societies | DFKI SB
    Computational Logic IFCoLog is supported and coordinated by the CompulogNet Office at DFKI, Saarbrücken Automata and temporal logic.
    http://www.ifcolog.org/Areas/Area4/
    The International Federation of Computational Logic IFCoLog is supported and coordinated
    by the Compulog Net Office at DFKI Automata and Temporal Logic Register a new Society Go back to Areas Page IFCoLog Main Page Feel free to add your institution or society to this list. Your entry will be checked and inserted automatically. e-mail us if you have any questions. admin@ifcolog.org Webpage-Maintainer: Webadmins : P.Franke, Sep.'99

    98. Model Theory Of Temporal Logic
    Model Theory of temporal logic. Part of this project is carried out aspart of the Graduiertenkolleg on language, information, and logics.
    http://www.pst.informatik.uni-muenchen.de/projekte/proj-desc/modelltheorie-e.htm

    99. Reglo Manual Pages -- 3.1 Temporal Logic
    Up Go up to 3 Examples 3.1 temporal logic. Reglo was developped forprogramming of synchronous observers. Such an observer checks
    http://www-verimag.imag.fr/~raymond/tools/reglo-manual/reglo-manual_14.html
    Go up to 3 Examples
    3.1 Temporal logic
    Reglo was developped for programming of synchronous observers . Such an observer checks if a sequence of configurations meets some safety property . Here are some simple observers:
    Once
    Let a be a Boolean variable, we want to describe the set of sequences containing at least one configuration where a is true: Once(a) = [-a]*.a.~~ ; The preceding equation outlines the first occurence of a . The following definition denotes the same property, but outlines the last occcurence of a Once(a) = ~~.a.[-a]* ; Finally, the following definition outlines "some" occurence, but it is still equivalent: Once(a) = ~~.a.~~ ;
    After
    We now want to define the set of traces where a has been true at least once in the past. In order to express the delay, we can use the "true" monomial , which represents any configuration (do not confuse with the "any sequence" macro After(a) = [-a]*.a.[].~~ ; After(a) = ~~.a.[].~~ ;
    Pascal.Raymond@imag.fr
    April 19, 2000
    This html document was produced using Hyperlatex

    100. Abstract For Interactive Theorem Proving With Temporal Logic
    Interactive Theorem Proving with temporal logic Amy Felty and Laurent Théry,April. Journal of Symbolic Computation, 23(4)367397, April 1997.
    http://www.site.uottawa.ca/~afelty/abstracts/jsc96.html

    A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

    Page 5     81-100 of 104    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20

    free hit counter