Hybrid languages and temporal logic
نویسندگان
چکیده
منابع مشابه
Hybrid Languages and Temporal Logic
Hybridization is a method invented by Arthur Prior for extending the expressive power of modal languages. Although developed in interesting ways by Robert Bull, and by the Sofia school (notably, George Gargov, Valentin Goranko, Solomon Passy and Tinko Tinchev) the method remains little known. In our view this has deprived temporal logic of a valuable tool. The aim of the paper is to explain why...
متن کاملHybrid Languages and Temporal Logic (full Version)
Hybridization is a method invented by Arthur Prior for extending the expressive power of modal languages. Although developed in interesting ways by Robert Bull, and by the Sooa school (notably, George Gargov, Valentin Goranko, Solomon Passy and Tinko Tinchev), the method remains little known. In our view this has deprived temporal logic of a valuable tool. The aim of the paper is to explain why...
متن کاملHybrid Ockhamist Temporal Logic
We introduce hybrid Ockhamist temporal logic, which combines the mechanisms of hybrid logic with Ockhamist semantics by employing nominals, satisfaction operators, binders, and quantifiers over branches. We provide a complete (with respect to bundled trees semantics) axiomatic system for the basic hybrid Ockhamist temporal logic (HOT) and for some of its extensions, including the full hybrid Oc...
متن کاملVectorial Languages and Linear Temporal Logic
Determining for a given deterministic complete automaton the sequence of visited states while reading a given word is the core of important problems with automata-based solutions, such as approximate string matching. The main di3culty is to do this computation e3ciently. Considering words as vectors and working on them using vectorial operations allows to solve the problem faster than using loc...
متن کاملTemporal Logic in Database Query Languages
DEFINITION The term “temporal logic” is used, in the area of formal logic, to describe systems for representing and reasoning about propositions and predicates whose truth depends on time. These systems are developed around a set of temporal connectives, such as sometime in the future or until, that provide implicit references to time instants. First-order temporal logic is a variant of tempora...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic Journal of IGPL
سال: 1999
ISSN: 1367-0751,1368-9894
DOI: 10.1093/jigpal/7.1.27