A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
In our view this has deprived temporal logic of a valuable tool. The aim of the paper is to explain why hybridization is useful in temporal logic. ... To illustrate this, we discuss the advantages and disadvantages of a simple hybrid language which can quantify over paths. ... De nition 15 (Standard models and assignments) Let ML + # + @ + + be a hybrid language built over PROP, SVAR, NOM, PVAR and PNOM. ...doi:10.1093/jigpal/7.1.27 fatcat:ik4rdidzozhntk2fyvhw4khvye
We do so by combining the central insights of Prior and Reichenbach in the framework of hybrid tense logic. ... Keywords Arthur Prior · Hans Reichenbach · point of reference · hybrid logic Introduction Arthur Prior's Past, Present and Future (Prior 1967), henceforth PPF, contains the first detailed work on hybrid ... Tense, Temporal Reference and Tense Logic, Journal of Semantics 11: 83-101. Blackburn, P. (2006). Arthur Prior and Hybrid Logic, Synthese 150: 329-372. ...doi:10.1007/s11229-015-0920-0 fatcat:3bekiznlcjcpvden6clcpujbh4
This paper is about the good side of modal logic, the bad side of modal logic, and how hybrid logic takes the good and fixes the bad. ... In their simplest form, hybrid logics are upgraded modal logics in which reference to individual nodes is possible. But hybrid logic is a rather unusual modal upgrade. ... Acknowledgments In writing this paper I have tried to remain faithful to the spirit of my M4M talk, which means I have drawn on many discussions of modal logic, relational structures, hybrid logic, and ...doi:10.1093/jigpal/8.3.339 fatcat:knzw6fq32bhd3dwhpkleufrm6y
Lecture Notes in Computer Science
The main contribution of this paper is a new quantified hybrid logic with temporal operators and action modalities, tailor-made for expressing the fluents of situation calculus. ... In particular, we will show that quantified hybrid logic, QHL, is able to express situation calculus formulas often more natural and concise than the original formulations. ... In temporal QHL, Prior's temporal operators F and P are added to the language: whenever φ is a formula, also Fφ and Pφ are formulas. ...doi:10.1007/3-540-45329-6_26 fatcat:mduti63gibexxfcsokbskplngy
La lógica temporal fue creada por Arthur Prior para representar información temporal en un sistema lógico mediante operadores modales-temporales como P, F, H o G. ... La lógica temporal, al basarse en ella, tampoco puede hacerlo. Pero la lógica de primer orden sí es capaz gracias a las constantes y a la relación de identidad. ... Modal Logic and Temporal Logic Hybrid Logic is largely an extension of Modal Logic and it also comes up due to Arthur Prior and his studies in Temporal Logic. ...doi:10.22370/rhv2019iss13pp34-67 fatcat:apkuikv6ajeezdx5mmxkq2k6d4
We complement and motivate our complexity results with an application of model checking in hybrid logic to the problems of query and constraint evaluation for semistructured data. ... We investigate the complexity of the model checking problem for hybrid logics. ... Acknowledgements We are very grateful to Carlos Areces, Daniel Gorín, Maarten Marx and the anonymous referees for helpful comments and suggestions. ...doi:10.1016/j.jal.2005.06.010 fatcat:o6bhiaj73jbt7nyo6cozffz6iq
Keywords hybrid modal logic, deontic logic, temporal reasoning, deadlines, multi agent systems 1 1. ... We also explore a new variant of deontic tense logic by using a hybrid tense logic. ... A hybrid temporal language helps us to treat points in time as "first class objects", by naming them individually and directly. ...doi:10.2139/ssrn.1785412 fatcat:n4kj2gdti5chdms7vvljcujtqm
"Model checking hybrid logics (with and application to semistructured data)" by Franceschet and de Rijke. ... In addition, the paper shows how model checking for hybrid languages can be used in two different applications (query and constraint evaluation) concerning semistructured data. ...doi:10.1016/j.jal.2005.06.006 fatcat:voymp7oetvbrrid7zwsr2embte
Acknowledgements First of all we want to thank our anonymous reviewers for their helpful and often very detailed comments. ... contribution to the panel discussion helped make HyLo 2000 such a success: Dov Gabbay, Valentin Goranko, Alexander Koller, Geert-Jan Kruijff, Guillaume Malod, Maarten Marx, Drew Moshier, Luciano Serafini, and ... Hybrid logic was introduced by Arthur Prior, the inventor of temporal logic, in the mid 1960s, and it played a fundemental role in his philosophical work. ...doi:10.1093/logcom/11.5.657 fatcat:vaqismzq2zas7pqssvyepaht6m
Contemporary hybrid logic is based on the idea of using formulas as terms, an idea invented and explored by Arthur Prior in the mid 1960s. ... In this paper I introduce hybrid logic from a contemporary perspective, and then examine the role it played in Prior's work. relations as likes, loves, respects, loathes, and so on). ... Acknowledgements I would like to thank Kit Fine and Per Hasle for discussing earlier versions of this work with me during the Logic of Time and Modality Conference, Roskilde University, November 2003. ...doi:10.1007/s11229-005-5512-y fatcat:73dl72qs4rdrdodhgw2722ormy
We propose a model-based framework for developing selfmonitoring embedded programs with temporal logic specifications. ... a system model and its requirement specification. ... Section 2 provides a brief introduction to hybrid automaton and the modeling language Charon. Section 3 defines the temporal logic MEDL and its semantic extension in context of hybrid automaton. ...doi:10.1145/1101908.1101975 dblp:conf/kbse/Tan05 fatcat:wlwjyae73fc4rid77xjturqx4q
We also show that is an expressive language both as a logic programming and as a process specification language.” ... Summary: “Three natural equivalence relations on the infinite state space of a hybrid automaton are language equivalence, simulation equivalence, and bisimulation equivalence. ...
temporal logic, provided no temporal operator appears in the scope of a quantifier.” 2003i:68085 68Q60 68Q45 Bouyer, Patricia (F-ENSET-SV; Cachan) A logical characterization of data languages. ... To help with the design of correct controllers, we present a methodology that en- ables the verification of linear-time temporal logic properties of general, non-linear hybrid systems. ...
The basic hybrid language enables the transfer of classic Gabbay-style labelled de- duction methods from the metalanguage to the object language, and the logical handling of labelling discipline. ... I argue that this shift to hybrid logic has consequences for both modal and dialogical logic, and I discuss these in detail.” ...
Deduction chains for common knowledge, 331 Temporal and epistemic logics Using temporal logics of knowledge for specification and verification-a case study, 50 Temporal data mining Efficient spatio-temporal ... , 39; Model checking hybrid logics (with an application to semistructured data), 279 Modelling mathematical language and reasoning Supporting the formal verification of mathemati- cal texts, 592 Monadic ...doi:10.1016/s1570-8683(06)00055-3 fatcat:yeph4llopfdgjoimxiakdzqqxm
« Previous Showing results 1 — 15 out of 45,430 results