A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
We show how well-known refinements of ordered resolution, in particular redundancy elimination and ordering constraints in combination with a selection function, can be used to obtain a decision procedure for the guarded fragment with transitive guards. Another contribution of the paper is a special...
| 主要な著者: | , |
|---|---|
| フォーマット: | Conference item |
| 出版事項: |
Springer
2004
|
Search Result 1
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
出版事項 2004
Conference item