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.
|Konference||8th International Symposium on Temporal Representation and Reasoning, TIME 2001|
|By||Cividale del Friuli|
|Periode||14/06/2001 → 16/06/2001|
|Navn||Proceedings of the International Workshop on Temporal Representation and Reasoning|