The Community for Technology Leaders
Temporal Representation and Reasoning, International Syposium on (2001)
Cividale Del Friuli, Italy
June 14, 2001 to June 16, 2001
ISBN: 0-7695-1107-4
pp: 0183
Valentin Goranko , Rand Afrikaans University
Patrick Blackburn , INRIA, Lorraine
ABSTRACT
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 Ockhamist temporal logic. The full system is expressively equivalent to the first-order logic over trees extended with branch quantifiers which was proved decidable by Gurevich and Shelah.
INDEX TERMS
CITATION
Valentin Goranko, Patrick Blackburn, "Hybrid Ockhamist Temporal Logic", Temporal Representation and Reasoning, International Syposium on, vol. 00, no. , pp. 0183, 2001, doi:10.1109/TIME.2001.930716
89 ms
(Ver 3.3 (11022016))