Searching for "The guarded fragment with transitive guards." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Nivelle. A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
- …A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards Yevgeny Kazakov…
- Cited by 4 (2 self) – Add To MetaCart
-
A Resolution Decision Procedure for the Transitive Guards
- …A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards Yevgeny Kazakov…
- Add To MetaCart
-
Using Resolution as Decision Procedure
- … is not in the guarded fragment. This can be shown by observing that transitivity is not preserved by guarded…
- Add To MetaCart
-
editors. Methods for Modalities 3
- … bounds for the guarded fragment with transitive guards were obtained in [17] and [31], however…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 4.
