Matches in SemOpenAlex for { <https://semopenalex.org/work/W2807990689> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2807990689 abstract "The provability logic Grz is characterized by a class of modal frames that is not first-order definable. We present a simple embedding of Grz into decidable fragments of classical first-order logic such as FO2 and the guarded fragment. The embedding is an O((n.log n)3)-time transformation that neither involves first principles about Turing machines (and therefore is easy to implement), nor the semantical characterization of Grz (and therefore does not use any second-order machinery). Instead, we use the syntactic relationships between cut-free sequent-style calculi for Grz, S4 and T. We first translate Grz into T, and then we use the relational translation from T into FO2" @default.
- W2807990689 created "2018-06-21" @default.
- W2807990689 creator A5060413318 @default.
- W2807990689 creator A5088219777 @default.
- W2807990689 date "1998-11-23" @default.
- W2807990689 modified "2023-09-27" @default.
- W2807990689 title "An O((n.log n) 3 )-time transformation from Grz into decidable fragments of classical first-order logic" @default.
- W2807990689 cites W1488853201 @default.
- W2807990689 cites W1503647529 @default.
- W2807990689 cites W1513612996 @default.
- W2807990689 cites W1517995365 @default.
- W2807990689 cites W1531247864 @default.
- W2807990689 cites W1565318348 @default.
- W2807990689 cites W1570374618 @default.
- W2807990689 cites W1580642598 @default.
- W2807990689 cites W1582842241 @default.
- W2807990689 cites W1585874399 @default.
- W2807990689 cites W1599699270 @default.
- W2807990689 cites W1939483552 @default.
- W2807990689 cites W1991981864 @default.
- W2807990689 cites W1994476007 @default.
- W2807990689 cites W2020852080 @default.
- W2807990689 cites W2052270606 @default.
- W2807990689 cites W2059933820 @default.
- W2807990689 cites W2062485819 @default.
- W2807990689 cites W2073491323 @default.
- W2807990689 cites W2080220005 @default.
- W2807990689 cites W2099036216 @default.
- W2807990689 cites W2126382654 @default.
- W2807990689 cites W2127383193 @default.
- W2807990689 cites W2167548413 @default.
- W2807990689 cites W2167789485 @default.
- W2807990689 cites W2169480936 @default.
- W2807990689 cites W2743117888 @default.
- W2807990689 cites W2970205057 @default.
- W2807990689 hasPublicationYear "1998" @default.
- W2807990689 type Work @default.
- W2807990689 sameAs 2807990689 @default.
- W2807990689 citedByCount "0" @default.
- W2807990689 crossrefType "proceedings-article" @default.
- W2807990689 hasAuthorship W2807990689A5060413318 @default.
- W2807990689 hasAuthorship W2807990689A5088219777 @default.
- W2807990689 hasBestOaLocation W28079906891 @default.
- W2807990689 hasConcept C10138342 @default.
- W2807990689 hasConcept C104317684 @default.
- W2807990689 hasConcept C118615104 @default.
- W2807990689 hasConcept C153269930 @default.
- W2807990689 hasConcept C162324750 @default.
- W2807990689 hasConcept C182306322 @default.
- W2807990689 hasConcept C185592680 @default.
- W2807990689 hasConcept C204241405 @default.
- W2807990689 hasConcept C28826006 @default.
- W2807990689 hasConcept C2987642246 @default.
- W2807990689 hasConcept C33923547 @default.
- W2807990689 hasConcept C41008148 @default.
- W2807990689 hasConcept C55493867 @default.
- W2807990689 hasConceptScore W2807990689C10138342 @default.
- W2807990689 hasConceptScore W2807990689C104317684 @default.
- W2807990689 hasConceptScore W2807990689C118615104 @default.
- W2807990689 hasConceptScore W2807990689C153269930 @default.
- W2807990689 hasConceptScore W2807990689C162324750 @default.
- W2807990689 hasConceptScore W2807990689C182306322 @default.
- W2807990689 hasConceptScore W2807990689C185592680 @default.
- W2807990689 hasConceptScore W2807990689C204241405 @default.
- W2807990689 hasConceptScore W2807990689C28826006 @default.
- W2807990689 hasConceptScore W2807990689C2987642246 @default.
- W2807990689 hasConceptScore W2807990689C33923547 @default.
- W2807990689 hasConceptScore W2807990689C41008148 @default.
- W2807990689 hasConceptScore W2807990689C55493867 @default.
- W2807990689 hasLocation W28079906891 @default.
- W2807990689 hasLocation W28079906892 @default.
- W2807990689 hasLocation W28079906893 @default.
- W2807990689 hasOpenAccess W2807990689 @default.
- W2807990689 hasPrimaryLocation W28079906891 @default.
- W2807990689 hasRelatedWork W1562922633 @default.
- W2807990689 hasRelatedWork W2054384926 @default.
- W2807990689 hasRelatedWork W2062274034 @default.
- W2807990689 hasRelatedWork W2104190504 @default.
- W2807990689 hasRelatedWork W2118359714 @default.
- W2807990689 hasRelatedWork W2142041376 @default.
- W2807990689 hasRelatedWork W2147201307 @default.
- W2807990689 hasRelatedWork W2365767001 @default.
- W2807990689 hasRelatedWork W2379147087 @default.
- W2807990689 hasRelatedWork W2562957045 @default.
- W2807990689 isParatext "false" @default.
- W2807990689 isRetracted "false" @default.
- W2807990689 magId "2807990689" @default.
- W2807990689 workType "article" @default.