34,450 Hits in 2.2 sec

Extended Temporal Logic Revisited [chapter]

Orna Kupferman, Nir Piterman, Moshe Y. Vardi
2001 Lecture Notes in Computer Science  
It is now recognized that a good language should extend linear temporal logic with the ability to specify all -regular properties.  ...  Wolper suggested to extend linear temporal logic by grammar operators. It is more convenient to think about Wolper's extension in terms of © -regular languages, as was later suggested in [VW94] 1 .  ...  Linear Temporal Logic The linear temporal logic LTL extends propositional logic by temporal operators like always ( ), eventually (¡ ), until ( ), and next-time ( ) [Pnu81] .  ... 
doi:10.1007/3-540-44685-0_35 fatcat:nrex2uqzpvbq5fq3ejmtcbptoa

Page 6638 of Mathematical Reviews Vol. , Issue 90K [page]

1990 Mathematical Reviews  
Vardi, Unified verification theory (pp. 202-212); Ron Koymans, Specify- ing message passing systems requires extending temporal logic (pp. 213-223); P. M.  ...  Melliar-Smith, Extending interval logic to real time systems (pp. 224-242); S. Khosla and T. S. E.  ... 

Methods for modalities 3

Carlos Areces
2006 Journal of Applied Logic  
The main result of the paper is a general tableaux method for a very expressive interval based temporal logic which can be easily tailored to most propositional interval temporal logics proposed in the  ...  The paper finishes with a complete axiomatization of the μ-logic extended with the existential bisimulation quantifier.  ... 
doi:10.1016/j.jal.2005.06.006 fatcat:voymp7oetvbrrid7zwsr2embte

Page 2065 of Mathematical Reviews Vol. , Issue 2003C [page]

2003 Mathematical Reviews  
temporal logic revisited.  ...  It is now recognized that a good language should extend linear temporal logic with the ability to specify all w-regular properties.  ... 

Page 1837 of Mathematical Reviews Vol. , Issue 98C [page]

1998 Mathematical Reviews  
1837 68 COMPUTER SCIENCE and phase transitions: Al meets physics (extended abstract) (998- 1002).  ...  Volume 2: Gerald DeJong and Scott Bennett, Extending clas- sical planning to real-world execution with machine learning (1153-1159); Russell Greiner, The complexity of theory revision (1162-1168); Dale  ... 

Proof theory and its role in programming language research

Frank Pfenning
2015 Proceedings of the Programming Languages Mentoring Workshop on - PLMW '15  
and lax logic -?? and temporal logic -?? and epistemic logic -??  ...  • AxiomaLcally, we find • This defines the intuiLonisLc modal logic S4 • ConservaLvely extends intuiLonisLc logic • We can have a type theory with quote/eval Validity and Necessity • Expression  ... 
doi:10.1145/2792434.2792438 dblp:conf/popl/Pfenning15 fatcat:wx2tpcnp2ffepfdlm4z62sigsm

Saturation-based theorem proving: Past successes and future potential [chapter]

Harald Ganzinger
1996 Lecture Notes in Computer Science  
and temporal logics p. 598 Tableaux and algorithms for propositional dynamic logic with converse p. 613 Reflection of formal tactics in a deductive reflection framework p. 628 Walther recursion  ...  Proof search with set variable instantiation in the calculus of constructions p. 658Search strategies for resolution in temporal logics p. 673Optimal axiomatizations for multiple-valued operators and quantifiers  ... 
doi:10.1007/3-540-61511-3_64 fatcat:iizfu32trnfadmj4z7xcvwds5y


Xuandong Li, Zhiming Liu
2017 Formal Aspects of Computing  
Guelev revisits properties of the known temporal projection operator in discrete-time Propositional Interval Temporal Logic (PITL) and how it is used to formalise interleaving concurrency.  ...  The Hybrid Hoare Logic for specification and reasoning about processes in HCSP is also extended to specify and reason about SHCSP processes.  ... 
doi:10.1007/s00165-017-0431-5 fatcat:eratizfw45b4hea6mimhnxdpzq

Effective timestamping in databases

Kristian Torp, Christian S. Jensen, Richard T. Snodgrass
2000 The VLDB journal  
This paper takes the next logical step: It considers the use of timestamping for capturing transaction and valid time in the context of transactions.  ...  During the past two decades, several dozen temporal data models have appeared, all with timestamps being integral components.  ...  Using an integrated DBMS architecture to implement a temporal data model that extends SQL with temporal support is a costly task, which only the major DBMS vendors can accomplish.  ... 
doi:10.1007/s007780050008 fatcat:hkt3qfqkaveyfmmfq2xgh3i5ae

Page 7845 of Mathematical Reviews Vol. , Issue 2003j [page]

2003 Mathematical Reviews  
In this paper an interpretation of default logic in temporal epis- temic logic is described.  ...  03B60 Engelfriet, Joeri (NL-VUAM; Amsterdam) ; Treur, Jan (NL-VUAM; Amsterdam) An interpretation of default logic in minimal temporal epistemic logic.  ... 

Page 6286 of Mathematical Reviews Vol. , Issue 2003h [page]

2003 Mathematical Reviews  
(NL-TWENI: Enschede Extending CTL with actions and real time. (English summary) International Conference on Temporal Logic, 2000 (Leipzig). J. Logic Comput. 12 (2002), no. 4, 607-621.  ...  We also mention the relationship between our games and temporal logic.  ... 

Page 3850 of Mathematical Reviews Vol. , Issue 98F [page]

1998 Mathematical Reviews  
Shallit, The compu- tational complexity of some problems of linear algebra (extended abstract) (451-462); Thomas Schwentick, Algebraic and logical characterizations of deterministic linear time classes  ...  abstract) (141-152); Luca de Alfaro, Arjun Kapur and Zohar Manna, Hybrid diagrams: a deductive-algorithmic approach to 68 COMPUTER SCIENCE 3850 hybrid system verification (153-164); Luca de Alfaro, Temporal  ... 

Page 495 of Mathematical Reviews Vol. , Issue 99a [page]

1991 Mathematical Reviews  
Ullman, Information integration using logical views (19-40); Heikki Mannila, Methods and problems in data mining (41-55); Chandra Chekuri and Anand Rajaraman, Conjunctive query containment revisited (extended  ...  O’Donnell, Introduction: logic and logic programming languages (1-67); Michael J. O’Donnell, Equational logic programming (69-161); Donald W.  ... 

GOAL for Games, Omega-Automata, and Logics [chapter]

Ming-Hsien Tsai, Yih-Kuen Tsay, Yu-Shiang Hwang
2013 Lecture Notes in Computer Science  
This paper introduces the second generation of GOAL, which is a graphical interactive tool for games, ω-automata, and logics.  ...  include game solving, manipulation of two-way alternating automata, translation of ACTL formulae and ω-regular expressions, test of language star-freeness, classification of ω-regular languages into the temporal  ...  Thomas, W.: Complementation of Büchi automata revisited. In: Jewels are Forever, pp. 109-120.  ... 
doi:10.1007/978-3-642-39799-8_62 fatcat:4xi3csp63fgbhn736yrrhzc3we

Page 1198 of Mathematical Reviews Vol. , Issue 90B [page]

1990 Mathematical Reviews  
It builds (Chapter Four) the “Logic of temporal knowledge, TK”.  ...  The logic is illustrated through a simple example about the effects of firing a loaded gun in a sec- tion entitled “The shooting scenario revisited”.  ... 
« Previous Showing results 1 — 15 out of 34,450 results