Home  - Science - Logic Temporal

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

1-20 of 61    1  | 2  | 3  | 4  | 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

Logic Temporal:     more books (100)

The Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Manna, Amir Pnueli, 1991-12-18 Temporal Logic: From Ancient Ideas to Artificial Intelligence (Studies in Linguistics and Philosophy) by Peter Øhrstrøm, P. Hasle, 1995-09-30 Specifying Message Passing and Time-Critical Systems with Temporal Logic (Lecture Notes in Computer Science) by Ron Koymans, 1992-12-17 Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science) Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) by Fred Kröger, Stephan Merz, 2008-04 Practical Formal Methods Using Temporal Logic by Michael Fisher, 2008-07-08 Temporal Logics and Their Applications Representing Musical Time: A Temporal-Logic Approach (Studies on New Music Research, 4) by Alan Marsden, 2000-01-01 Temporal Logic (Library of exact philosophy) by Nicholas Rescher, 1971-06 Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2 by Dov. M. Gabbay, Mark A. Reynolds, et all 2000-05-15 Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) by Brent T. Hailpern, 1982-07 Temporal Logic: First International Conference, Ictl '94 Bonn, Germany, July 11-14, 1994 : Proceedings (Lecture Notes in Computer Science) by Dov M. Gabbay, 1994-06 Integrating Functional and Temporal Domains in Logic Design:: The False Path Problem and Its Implications (The Springer International Series in Engineering and Computer Science) by Patrick C. McGeer, Robert K. Brayton, 1991-05-31 Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science)

lists with details

1. Temporal Logic - Wikipedia, The Free Encyclopedia
   In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in  
   http://en.wikipedia.org/wiki/Temporal_logic
   
   Extractions: Jump to: navigation search In logic , the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time . It is sometimes also used to refer to tense logic , a particular modal logic -based system of temporal logic introduced by Arthur Prior in the . Subsequently it has been developed further by computer scientists , notably Amir Pnueli , and logicians Temporal logic was first studied in depth by Aristotle , whose writings are filled with a crude form of first-order temporal modal binary logic. Any logic which uses the existential quantifier or the universal quantifier is said to be a first-order logic . Any logic which views time as a sequence of states is a temporal logic, and any logic which uses only two truth values is a binary logic Consider the statement: "I am hungry." Though its meaning is constant in time, the truth value of the statement can vary in time. Sometimes the statement is true, and sometimes the statement is false, but the statement is never true and false simultaneously. In a temporal logic, statements can have a truth value which can vary in time. Contrast this with an atemporal logic, which can only handle statements whose truth value is constant in time. In a temporal logic we can then express statements like "I am always hungry", "I will

2. CiteULike: Tag Temporal-logic [39 Articles]
   posted to temporallogic temporal semantics quantitative partial-order modal-logic logics ideal-domains domain-theory by scis0000001 on 2007-01-27 134616  
   http://www.citeulike.org/tag/temporal-logic
   
   Extractions: Register Log in FAQ Recent papers classified by the tag temporal-logic. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers (19 July 2002) by Leslie Lamport posted to formal-methods temporal-logic by tautologico on 2005-09-06 20:45:59 as along with 1 person ljcamargos Extending JML Specifications with Temporal Logic Vol. 2422/2002 (September 2002), 334. by K Trentelman , M Huisman posted to temporal-logic softnet jml java ... design-by-contract by sjgaller on 2007-06-05 07:25:21 as along with 1 person and 2 groups pdagarwal Context-driven-testers Desgin-by-Contract ... JAG : J ML A nnotation G eneration for Verifying Temporal Properties Fundamental Approaches to Software Engineering (2006), pp. 373-376. by Alain Giorgetti , Julien Groslambert posted to temporal-logic specification-generation specification softnet ... java by sjgaller on 2007-09-11 07:17:02 as along with 2 groups Context-driven-testers Desgin-by-Contract Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report) (1997), pp. 525-535. by Lalita J Jagadeesan , Adam A Porter , Carlos Puchol , Christopher J Ramming , Lawrence G Votta posted to finite-state-machine test-case-generation temporal-logic softnet ... formalization by sjgaller on 2007-06-06 13:15:50 as along with 2 groups Context-driven-testers Desgin-by-Contract JML-based verification of liveness properties on a class in isolation (2006), pp. 41-48.

3. . Temporal Logics (ResearchIndex)
   References E. Cerny, X. Song of Temporal logic temporal Logics Temporal logic is a special type of modal logic which was originally developed by  
   http://citeseer.ist.psu.edu/258871.html

4. Cookies Required
   We demonstrate the performance of the proposed temporal filter that uses fuzzy logic motion detection and corresponding fuzzy logic temporal filtering,  
   http://link.aip.org/link/?JEIME5/15/023008/1

5. Alur/Henzinger/Kupferman: Alternating-time Temporal Logic
   Temporal logic comes in two varieties lineartime temporal logic assumes implicit universal quantification over all paths that are generated by system  
   http://www.eecs.berkeley.edu/~tah/Publications/alternating-time_temporal_logic.h
   
   Extractions: 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 offers selective quantification over those paths that are possible outcomes of games, such as the game in which the system and the environment alternate moves. While linear-time and branching-time logics are natural specification languages for closed systems, alternating-time logics are natural specification languages for open systems. For example, by preceding the temporal operator "eventually" with a selective path quantifier, we can specify that in the game between the system and the environment, the system has a strategy to reach a certain state. The problems of receptiveness, realizability, and controllability can be formulated as model-checking problems for alternating-time formulas. Depending on whether or not we admit arbitrary nesting of selective path quantifiers and temporal operators, we obtain the two alternating-time temporal logics ATL and ATL*. ATL and ATL* are interpreted over concurrent game structures Journal of the ACM 49:672-713, 2002. Preliminary versions appeared in the

6. Pathways To Philosophical Logic And The Philosophy Of Logic
   Temporal logic Yde Venema 203; 11. Intuitionistic logic Dirk Van Dalen 224; 12. Free logics Karel Lambert 258; 13. Relevant logics Edwin D. Mares and  
   http://www.formalontology.it/pathways_logic.htm
   
   Extractions: Home Site Map INTRODUCTORY READINGS Priest Graham. Logic: a very short introduction . Oxford: Oxford University Press 2000. From the Preface: "This book is an introduction to logic, as contemporary logicians now understand the subject. It does not attempt to be a textbook, however. There are numerous such books currently available. The point of this one is to explore the roots of logic, which sink deep into philosophy. Some format logic will be explained along the way. In each of the main chapters, I start by taking up some particular philosophical problem or logical puzzle. I then explain one approach to it. Often this is a fairly standard one; but in some of the areas there is no standard answer: logicians still disagree. In such cases, I have just chosen one that is interesting. Nearly all the approaches, whether standard or not, may be challenged. I finish each chapter with some problems for the approach that I have explained. Sometimes these problems are standard; sometimes they are not. Sometimes they may have easy answers; sometimes they may not. The aim is to challenge you to figure out what you make of the matter. Modern logic is a highly mathematical subject. I have tried to write the material in such a way as to avoid nearly all mathematics. The most that is required is a little high-school algebra in the last few chapters. It is true that you will need the determination to master some symbolism that may be new to you; but this is a lot less than is required to have a basic grasp of any new language. And the perspicuity that the symbolism gives to difficult questions makes any trouble one may have in mastering it well worth it. One warning, though: reading a book on logic or philosophy is not like reading a novel. There will be times when you will have to read slowly and carefully. Sometimes you may have to stop and think about things; and you should be prepared to go back and reread a paragraph if necessary.

7. Temporal Logic (Stanford Encyclopedia Of Philosophy)
   The term temporal logic has been broadly used to cover all approaches to the representation of temporal information within a logical framework,  
   http://plato.stanford.edu/entries/logic-temporal/
   
   Extractions: Please Read How You Can Help Keep the Encyclopedia Free First published Mon Nov 29, 1999; substantive revision Thu Dec 11, 2003 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. 1.1 Tense Logic

8. Foundations Of Temporal Logic - The WWW-site For Prior-studies
   Foundations of temporal logic The WWW-site for Prior-studies.  
   http://www.kommunikation.aau.dk/prior/index2.htm

9. TLA - The Temporal Logic Of Actions
   TLA (the temporal logic of Actions) is a logic for specifying and reasoning about concurrent and reactive systems. It is the basis for TLA+,  
   http://research.microsoft.com/users/lamport/tla/tla.html
   
   Extractions: Last modified 9 February 2004 The TLA+ book is available here The TLA+ tools are available here TLA (the Temporal Logic of Actions) is a logic for specifying and reasoning about concurrent and reactive systems. It is the basis for TLA+, a complete specification language. This Web page will be updated to reflect new work on TLA. I hope that all work on TLA and TLA tools will be accessible from here. If you want to be notified of changes to this page, or if you want your work to be represented here, please send e-mail to Leslie Lamport Introduction to TLA 16 December 1994 A short (7-page) introduction to what TLA formulas mean. It should allow you to understand TLA specifications. A Summary of TLA+ This is a 7-page "cheat sheet" that briefly describes all the constructs and built-in operators of TLA+ and the operators defined in the common standard modules, and that lists the user-definable operator symbols and the ascii representations of symbols.

10. Applied Logic :: Temporal Logic --  Britannica Online Encyclopedia
    Britannica online encyclopedia article on applied logic, temporal logic The object of temporal logicvariously called chronological logic or tense logicis  
    http://www.britannica.com/eb/article-65908/applied-logic
    
    Extractions: Close Enable free complete viewings of Britannica premium articles when linked from your website or blog-post. Now readers of your website, blog-post, or any other web content can enjoy full access to this article on applied logic , or any Britannica premium article for free, even those readers without a premium membership. Just copy the HTML code fragment provided below to create the link and then paste it within your web content. For more details about this feature, visit our

11. Bctl A Branching Clock Temporal Logic - Temporal Representation
    Your browser may not have a PDF reader available. Google recommends visiting our text version of this document.  
    http://ieeexplore.ieee.org/iel3/4758/13186/00600795.pdf?arnumber=600795

12. Temporal Logic Case Study
    A case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building.  
    http://www.sei.cmu.edu/publications/documents/89.reports/89.tr.024.html
    
    Extractions: PostScript File This report is a case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building. The goal of the study was to understand the application of temporal logic in a problem domain that is appropriate for the method, and to determine some of the strengths and weaknesses of temporal logic in this domain. The case study uses a finite state machine language to build a model of the system specification, and verifies that the temporal logic specifications are consistent using this model. The specification aspires to be complete, consistent, and unambiguous. Privacy Statement

13. Search Results For "temporal Logic" €“ FacetedDBLP
    33, Naoshi Uchihira, Shinichi Honiden Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE.  
    http://dblp.l3s.de/?q=temporal logic&resultsPerPage=100

14. Diagnosing Java Code: Assertions And Temporal Logic In Java Programming
    Although traditional assertions can increase the amount of checking that can be done over Java code, there are many checks you just can t perform with them.  
    http://www.ibm.com/developerworks/java/library/j-diag0723.html
    
    Extractions: var emailAbstract = "Although traditional assertions can increase the amount of checking that can be done over Java code, there are many checks you just can't perform with them. One way to fill this gap is with temporal logic, a formalism used to describe how a program state will change over time. In this article, Eric Allen discusses assertions, introduces temporal logic, and describes a tool for processing temporal logic assertions in your programs."; Country/region select All of dW AIX and UNIX IBM Systems Information Mgmt Lotus Rational Tivoli WebSphere Architecture Autonomic computing Grid computing Java technology Linux Open source Power Architecture Web development XML dW forums alphaWorks All of IBM Home Products My IBM developerWorks ... Rate this page

15. Interval Temporal Logic
    A flexible notation for both propositional and firstorder reasoning about periods of time found in descriptions of hardware and software systems.  
    http://www.cse.dmu.ac.uk/~cau/itlhomepage/
    
    Extractions: ITL-course: A not so short introduction to ITL Abstract Interval Temporal Logic (ITL) is a flexible notation for both propositional and first-order reasoning about periods of time found in descriptions of hardware and software systems. Unlike most temporal logics, ITL can handle both sequential and parallel composition and offers powerful and extensible specification and proof techniques for reasoning about properties involving safety, liveness and projected time . Timing constraints are expressible and furthermore most imperative programming constructs can be viewed as formulas in a slightly modified version of ITL . Tempura provides an executable framework for developing and experimenting with suitable ITL specifications. In addition, ITL and its mature executable subset Tempura have been extensively used to specify the properties of real-time systems where the primitive circuits can directly be represented by a set of simple temporal formulae. In addition, various researchers have applied Tempura

16. IngentaConnect Compositional Verification Of Multi-Agent Systems In Temporal Mul
    The specification of a system, its properties and their proofs are of a compositional nature, and are formalized within a compositional temporal logic  
    http://www.ingentaconnect.com/content/klu/jlli/2002/00000011/00000002/00334141;j

17. Temporal Logic
    Definition of temporal logic, possibly with links to more information and implementations.  
    http://www.nist.gov/dads/HTML/temporllogic.html
    
    Extractions: (definition) Definition: A logic with a notion of time included. The formulas can express facts about past, present, and future states. The formulas are interpreted over Kripke structures, which can model computation; hence temporal logic is very useful in formal verification Author: SKS The SMV model checker. Go to the Dictionary of Algorithms and Data Structures home page. If you have suggestions, corrections, or comments, please get in touch with Paul E. Black Entry modified 17 December 2004.

18. Logic For Computer Scientists/Modal Logic/Temporal Logics - Wikibooks, Collectio
    edit temporal logics. The two modalities \square and \diamond cannot be used to distinguish between past and future. For this we need a multimodal logic  
    http://en.wikibooks.org/wiki/Logic_for_Computer_Scientists/Modal_Logic/Temporal_
    
    Extractions: The semantics is then given as before, by giving constraints for the three reachability relations or by giving appropriate axioms, e.g. In addition there are many other aspects of temporal logics. E.g. one can distinguish between left- and rightlinear structures or between dense and discrete time structures. Retrieved from " http://en.wikibooks.org/wiki/Logic_for_Computer_Scientists/Modal_Logic/Temporal_Logics

19. Temporal Linear Logic As A Basis For Flexible Agent Interactions
    Your browser may not have a PDF reader available. Google recommends visiting our text version of this document.  
    http://portal.acm.org/ft_gateway.cfm?id=1329159&type=pdf&coll=&dl=GUIDE&CFID=151

20. LISTSERV 14.4
    Subject 10.1581, Calls Modal logic/temporal logic, Cognitive Typology Moderators Anthony Rodrigues Aristar Wayne State U. log in to unmask Helen Dry  
    http://listserv.linguistlist.org/cgi-bin/wa?A2=ind9910c&L=linguist&P=6985

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

1-20 of 61    1  | 2  | 3  | 4  | Next 20