DocumentCode
3201884
Title
Hybrid Ockhamist temporal logic
Author
Blackburn, Patrick ; Goranko, Valentin
Author_Institution
INRIA, Nancy, France
fYear
2001
fDate
2001
Firstpage
183
Lastpage
188
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 fill system is expressively equivalent to the first-order logic over trees extended with branch quantifiers which was proved decidable previously
Keywords
semantic networks; temporal logic; Ockhamist semantics; axiomatic system; binders; branch quantifiers; branches; first-order logic; hybrid Ockhamist temporal logic; quantifiers; satisfaction operators; Africa; Computational complexity; Logic; Mathematics; Modems;
fLanguage
English
Publisher
ieee
Conference_Titel
Temporal Representation and Reasoning, 2001. TIME 2001. Proceedings. Eighth International Symposium on
Conference_Location
Cividale del Friuli
Print_ISBN
0-7695-1107-4
Type
conf
DOI
10.1109/TIME.2001.930716
Filename
930716
Link To Document