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 application/pdf.
Filters
Hybrid languages and temporal logic
1999
Logic Journal of the IGPL
Preserved Fulltext
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
2015
Synthese
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2000
Logic Journal of the IGPL
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2019
Revista de Humanidades de Valparaíso
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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)
2006
Journal of Applied Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
Social Science Research Network
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2006
Journal of Applied Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
"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
2001
Journal of Logic and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
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
2006
Synthese
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2005
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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