Browse wiki
From International Center for Computational Logic
The Triguarded Fragment (TGF) is among the … The Triguarded Fragment (TGF) is among the most expressive decidable fragments of first-order logic, subsuming both its two-variable and guarded fragments without equality.</br>We show that the TGF has the finite model property (providing a tight doubly exponential bound on the model size) and hence finite satisfiability coincides with satisfiability known to be N2ExpTime-complete. Using similar constructions, we also establish 2ExpTime-completeness for finite satisfiability of the constant-free (tri)guarded fragment with transitive guards.i)guarded fragment with transitive guards. +
Sebastian Rudolph + and Emanuel Kieroński +
@inproceedings{KR2021,
author = {Emanuel Kiero{\'{n}}ski and Sebastian Rudolph},
title = {Finite Model Theory of the Triguarded Fragment and Related Logics},
editor = {IEEE},
booktitle = {Proceedings of the 36th Annual Symposium on Logic in Computer
Science (LICS 2021)},
year = {2021},
pages = {1-13},
doi = {10.1109/LICS52264.2021.9470734}
}
author = {Emanuel Kiero{\'{n}}ski and Sebastian Rudolph},
title = {Finite Model Theory of the Triguarded Fragment and Related Logics},
editor = {IEEE},
booktitle = {Proceedings of the 36th Annual Symposium on Logic in Computer
Science (LICS 2021)},
year = {2021},
pages = {1-13},
doi = {10.1109/LICS52264.2021.9470734}
}
Kieroński +
Emanuel +
Emanuel Kieroński, Sebastian Rudolph<br … Emanuel Kieroński, Sebastian Rudolph<br/> '''[[Inproceedings3271|<b>Finite Model Theory of the Triguarded Fragment and Related Logics</b>]]''' <br/>__NOTOC__In IEEE, eds., <i>Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021)</i>, 1-13, 2021<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3271|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:KR-LICS-2021-TGF-extended.pdf|Download]]a:KR-LICS-2021-TGF-extended.pdf|Download]] +
Emanuel Kieroński, Sebastian Rudolph<br … Emanuel Kieroński, Sebastian Rudolph<br/> '''[[Inproceedings3271/en|<b>Finite Model Theory of the Triguarded Fragment and Related Logics</b>]]''' <br/>__NOTOC__In IEEE, eds., <i>Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021)</i>, 1-13, 2021<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Inproceedings3271|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:KR-LICS-2021-TGF-extended.pdf|Download]]a:KR-LICS-2021-TGF-extended.pdf|Download]] +
Display title of"Display title of" is a predefined property that can assign a distinct display title to an entity and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
Finite Model Theory of the Triguarded Fragment and Related Logics +
Modification date"Zuletzt geändert <span style="font-size:small;">(Modification date)</span>" is a predefined property that corresponds to the date of the last modification of a subject and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
27. Mai 2023, 22:04:52 +
Has query"Hat Abfrage <span style="font-size:small;">(Has query)</span>" is a predefined property that represents meta information (in form of a <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">subobject</a>) about individual queries and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
Finite Model Theory of the Triguarded Fragment and Related Logics +, Finite Model Theory of the Triguarded Fragment and Related Logics +, Finite Model Theory of the Triguarded Fragment and Related Logics +, Finite Model Theory of the Triguarded Fragment and Related Logics +, Finite Model Theory of the Triguarded Fragment and Related Logics + and Finite Model Theory of the Triguarded Fragment and Related Logics +
