Jun 25, 2010 · This paper presents the first terminating tableau system for hybrid logic with eventualities. The system employs a novel clausal form that ...
We present the first terminating tableau system for hybrid logic with eventualities. The system is designed as a basis for gracefully degrading reasoners.
scholar.google.com › citations
We present the first terminating tableau system for hybrid logic with eventualities. The system is designed as a basis for gracefully degrading reasoners.
First, we introduce formulas, interpreta- tions, and the clausal form. We then present the tableau system and its correct- ness proof in three steps, first for ...
Dec 3, 2010 · We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies.
Missing: Eventualities. | Show results with:Eventualities.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev. Hosted as a part of SLEBOK on ...
Abstract. We present the first terminating tableau calculus for ba- sic hybrid logic with the difference modality and converse modalities.
Missing: Eventualities. | Show results with:Eventualities.
In this article we present the implementation of a terminating tableaux algorithm for the hybrid logic H ( @ , A ) . The performance of the tableaux algorithm ...
Missing: Eventualities. | Show results with:Eventualities.
Mar 21, 2011 · We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies.
Missing: Eventualities. | Show results with:Eventualities.
Their paper gives tableau-based decision procedures for basic hybrid logic (with unary modalities) and the basic logic extended with the global modality. All ...