Finite Model Theory of the Triguarded Fragment and Related Logics

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. We show that the TGF has the finite model property (providing a tight doubly exponential bound on the model size) and hence fin...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science s. 1 - 13
Hlavní autori: Kieronski, Emanuel, Rudolph, Sebastian
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 29.06.2021
Predmet:
Complexity theory
Computational efficiency
Computer science
Upper bound
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Abstract 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. 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.
AbstractList 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. 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.
Author Rudolph, Sebastian
Kieronski, Emanuel
Author_xml – sequence: 1
  givenname: Emanuel
  surname: Kieronski
  fullname: Kieronski, Emanuel
  email: emanuel.kieronski@cs.uni.wroc.pl
  organization: University of Wrocław,Institute of Computer Science
– sequence: 2
  givenname: Sebastian
  surname: Rudolph
  fullname: Rudolph, Sebastian
  email: sebastian.rudolph@tu-dresden.de
  organization: Technische Universität Dresden,Computational Logic Group
BookMark eNotj8tKxDAUQCMoqGO_QJD8QGseN6_lUKwOVASt6yFtbjuRTitpXczfKzirA2dx4NySy2mekJAHzgrOmXusd-WHEkJDIZjghQPDjIQLkjljudYKwDqlr0m2LF-MMWENZ-BuyLaKU1yRvs4BR9occE4nOvd0PSBtUhx-fAoYaJX8cMRppX4K9B1Hv_7Jeh5it9yRq96PC2Znbshn9dSUL3n99rwrt3XuhXVr7gEkdiyEHlSwrZMtIO-UtMyDdq0WrldgmRbCSaNs6Bga09tetiGozoPckPv_bkTE_XeKR59O-_Oo_AVJ0kq2
ContentType Conference Proceeding
DBID 6IE
6IH
CBEJK
RIE
RIO
DOI 10.1109/LICS52264.2021.9470734
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan (POP) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP) 1998-present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 9781665448956
1665448954
EndPage 13
ExternalDocumentID 9470734
Genre orig-research
GrantInformation_xml – fundername: European Research Council
  funderid: 10.13039/501100000781
GroupedDBID 6IE
6IH
ACM
ALMA_UNASSIGNED_HOLDINGS
APO
CBEJK
GUFHI
LHSKQ
RIE
RIO
ID FETCH-LOGICAL-a289t-a443ec0ddf45d8b93b4e1c5380a469b629f548062293758dc0e77f8f3bdd5ca43
IEDL.DBID RIE
ISICitedReferencesCount 3
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000947350400086&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Wed Aug 27 02:26:37 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a289t-a443ec0ddf45d8b93b4e1c5380a469b629f548062293758dc0e77f8f3bdd5ca43
PageCount 13
ParticipantIDs ieee_primary_9470734
PublicationCentury 2000
PublicationDate 2021-June-29
PublicationDateYYYYMMDD 2021-06-29
PublicationDate_xml – month: 06
  year: 2021
  text: 2021-June-29
  day: 29
PublicationDecade 2020
PublicationTitle Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science
PublicationTitleAbbrev LICS
PublicationYear 2021
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0002871049
Score 2.2519844
Snippet The Triguarded Fragment (TGF) is among the most expressive decidable fragments of first-order logic, subsuming both its two-variable and guarded fragments...
SourceID ieee
SourceType Publisher
StartPage 1
SubjectTerms Complexity theory
Computational efficiency
Computer science
Upper bound
Title Finite Model Theory of the Triguarded Fragment and Related Logics
URI https://ieeexplore.ieee.org/document/9470734
WOSCitedRecordID wos000947350400086&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NSwMxEB3a4sFT1Vb8JgePpt2P7GZzlGJRkFKwQm8lySRSkK20W3-_me1aEbx4WwJLYDa7897svHkAt8boiIaA8CwzCRcxplx7n_PcSG20ESqxpjabkJNJMZ-raQvu9loY51zdfOYGdFn_y8eV3VKpbKiEDCdStKEtpdxptfb1FEL-Ae02IuA4UsPnp9ELoQuqnCTxoLn5l4tKnUTG3f9tfwT9HzUem-7zzDG0XHkC3W87Bta8nT24Hy8JQDKyN3tnO9E9W3kWIB6bBRJOh8EhC1D1jTZiukRW98KFRbJctps-vI4fZqNH3jgkcB2IUsW1EKmzEaIXGRZGpUa42IZvWKQD7TV5ojzNc8uTkNQDMUAbOSl94VODmFkt0lPolKvSnQHLrCoCHUZMSTFiUKMm7xea7i4Sm_tz6FFEFh-7IRiLJhgXfy9fwiEFnXqqEnUFnWq9dddwYD-r5WZ9Uz-5LyNdmSI
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LS8NAEB5qFfRUtRXf7sGjaZPN5rFHEUuLtRSs0FvZ3dmVgqTSh7_fnTRWBC_ewkJI2Efm-ybzzQdwq7UKqQlIkCSaByLCOFDOpUGqM6WVFpIbXZpNZMNhPpnIUQ3utloYa21ZfGbbdFn-y8e5WVOqrCNF5nek2IHdRAgebdRa24wKYX-PdysZcBTKzqD_8EL4gnInPGpXt__yUSnDSLfxvxc4hNaPHo-NtpHmCGq2OIbGtyEDq85nE-67M4KQjAzO3tlGds_mjnmQx8aehtN2sMg8WH2jBzFVICur4fwgmS6bZQteu4_jh15QeSQEylOlVaCEiK0JEZ1IMNcy1sJGxn_FQuWJr065dNTRLeU-rHtqgCa0WeZyF2vExCgRn0C9mBf2FFhiZO4JMWJMmhGNChW5v1B_d8FN6s6gSTMy_di0wZhWk3H-9_AN7PfGz4PpoD98uoADWgCqsOLyEuqrxdpewZ75XM2Wi-tyFb8ATNecaQ
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+36th+Annual+ACM%2FIEEE+Symposium+on+Logic+in+Computer+Science&rft.atitle=Finite+Model+Theory+of+the+Triguarded+Fragment+and+Related+Logics&rft.au=Kieronski%2C+Emanuel&rft.au=Rudolph%2C+Sebastian&rft.date=2021-06-29&rft.pub=IEEE&rft.spage=1&rft.epage=13&rft_id=info:doi/10.1109%2FLICS52264.2021.9470734&rft.externalDocID=9470734