45,430 Hits in 2.2 sec

Hybrid languages and temporal logic

P Blackburn
1999 Logic Journal of the IGPL  
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

Reichenbach, Prior and hybrid tense logic

Patrick Blackburn, Klaus Frovin Jørgensen
2015 Synthese  
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

Representation, reasoning, and relational structures: a hybrid logic manifesto

P Blackburn
2000 Logic Journal of the IGPL  
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

Situation Calculus as Hybrid Logic: First Steps [chapter]

Patrick Blackburn, Jaap Kamps, Maarten Marx
2001 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

Hybrid Logic as extension of Modal and Temporal Logic

Daniel Álvarez Domínguez
2019 Revista de Humanidades de Valparaíso  
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

Model checking hybrid logics (with an application to semistructured data)

Massimo Franceschet, Maarten de Rijke
2006 Journal of Applied Logic  
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

Temporal Reasoning and MAS

Clara Smith, Antonino Rotolo, Giovanni Sartor
2011 Social Science Research Network  
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

Methods for modalities 3

Carlos Areces
2006 Journal of Applied Logic  
"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

Bringing them all Together

C. Areces
2001 Journal of Logic and Computation  
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

Arthur Prior and Hybrid Logic

Patrick Blackburn
2006 Synthese  
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

Model-based self-monitoring embedded programs with temporal logic specifications

Li Tan
2005 Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05  
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

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

1998 Mathematical Reviews  
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.  ... 

Page 7068 of Mathematical Reviews Vol. , Issue 2003i [page]

2003 Mathematical Reviews  
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.  ... 

Page 23 of Mathematical Reviews Vol. , Issue 2002A [page]

2002 Mathematical Reviews  
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.”  ... 

Subject Index

2006 Journal of Applied Logic  
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