Hybrid Ockhamist temporal logic

Patrick Blackburn, Valentin Goranko

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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.

Original languageEnglish
Title of host publicationProceedings 8th International Symposium on Temporal Representation and Reasoning, TIME 2001
EditorsClaudio Bettini, Angelo Montanari
Number of pages6
PublisherIEEE
Publication date2001
Pages183-188
Article number930716
ISBN (Print)0769511074, 9780769511078
DOIs
Publication statusPublished - 2001
Externally publishedYes
Event8th International Symposium on Temporal Representation and Reasoning, TIME 2001 - Cividale del Friuli, Italy
Duration: 14 Jun 200116 Jun 2001

Conference

Conference8th International Symposium on Temporal Representation and Reasoning, TIME 2001
Country/TerritoryItaly
CityCividale del Friuli
Period14/06/200116/06/2001
SeriesProceedings of the International Workshop on Temporal Representation and Reasoning

Cite this