FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2018476992> ?p ?o ?g. }

• W2018476992 abstract "We show that the satisfiability problem for the two-dimensional extension KxK of unimodal K is nonelementary, hereby confirming a conjecture of Marx and Mikulas from 2001. Our lower bound technique allows us to derive further lower bounds for many-dimensional modal logics for which only elementary lower bounds were previously known. We also derive nonelementary lower bounds on the sizes of Feferman-Vaught decompositions w.r.t. product for any decomposable logic that is at least as expressive as unimodal K. Finally, we study the sizes of Feferman-Vaught decompositions and formulas in Gaifman normal form for fixed-variable fragments of first-order logic." @default.
• W2018476992 created "2016-06-24" @default.
• W2018476992 creator A5004455641 @default.
• W2018476992 creator A5005500210 @default.
• W2018476992 creator A5079767975 @default.
• W2018476992 date "2012-06-01" @default.
• W2018476992 modified "2023-09-23" @default.
• W2018476992 title "The Complexity of Decomposing Modal and First-Order Theories" @default.
• W2018476992 cites W1489614395 @default.
• W2018476992 cites W1511526676 @default.
• W2018476992 cites W1780759614 @default.
• W2018476992 cites W1978169673 @default.
• W2018476992 cites W2013243527 @default.
• W2018476992 cites W2073491323 @default.
• W2018476992 cites W2085467680 @default.
• W2018476992 cites W2105348917 @default.
• W2018476992 cites W2118324648 @default.
• W2018476992 cites W2124576280 @default.
• W2018476992 cites W2124580444 @default.
• W2018476992 cites W4211144022 @default.
• W2018476992 cites W4242289817 @default.
• W2018476992 doi "https://doi.org/10.1109/lics.2012.43" @default.
• W2018476992 hasPublicationYear "2012" @default.
• W2018476992 type Work @default.
• W2018476992 sameAs 2018476992 @default.
• W2018476992 citedByCount "13" @default.
• W2018476992 countsByYear W20184769922012 @default.
• W2018476992 countsByYear W20184769922013 @default.
• W2018476992 countsByYear W20184769922014 @default.
• W2018476992 countsByYear W20184769922015 @default.
• W2018476992 countsByYear W20184769922016 @default.
• W2018476992 countsByYear W20184769922019 @default.
• W2018476992 crossrefType "proceedings-article" @default.
• W2018476992 hasAuthorship W2018476992A5004455641 @default.
• W2018476992 hasAuthorship W2018476992A5005500210 @default.
• W2018476992 hasAuthorship W2018476992A5079767975 @default.
• W2018476992 hasBestOaLocation W20184769922 @default.
• W2018476992 hasConcept C10138342 @default.
• W2018476992 hasConcept C114614502 @default.
• W2018476992 hasConcept C118615104 @default.
• W2018476992 hasConcept C134306372 @default.
• W2018476992 hasConcept C162324750 @default.
• W2018476992 hasConcept C168773769 @default.
• W2018476992 hasConcept C182306322 @default.
• W2018476992 hasConcept C182365436 @default.
• W2018476992 hasConcept C185592680 @default.
• W2018476992 hasConcept C188027245 @default.
• W2018476992 hasConcept C199360897 @default.
• W2018476992 hasConcept C2524010 @default.
• W2018476992 hasConcept C27508121 @default.
• W2018476992 hasConcept C2778029271 @default.
• W2018476992 hasConcept C2780990831 @default.
• W2018476992 hasConcept C33923547 @default.
• W2018476992 hasConcept C41008148 @default.
• W2018476992 hasConcept C71139939 @default.
• W2018476992 hasConcept C77553402 @default.
• W2018476992 hasConcept C90673727 @default.
• W2018476992 hasConceptScore W2018476992C10138342 @default.
• W2018476992 hasConceptScore W2018476992C114614502 @default.
• W2018476992 hasConceptScore W2018476992C118615104 @default.
• W2018476992 hasConceptScore W2018476992C134306372 @default.
• W2018476992 hasConceptScore W2018476992C162324750 @default.
• W2018476992 hasConceptScore W2018476992C168773769 @default.
• W2018476992 hasConceptScore W2018476992C182306322 @default.
• W2018476992 hasConceptScore W2018476992C182365436 @default.
• W2018476992 hasConceptScore W2018476992C185592680 @default.
• W2018476992 hasConceptScore W2018476992C188027245 @default.
• W2018476992 hasConceptScore W2018476992C199360897 @default.
• W2018476992 hasConceptScore W2018476992C2524010 @default.
• W2018476992 hasConceptScore W2018476992C27508121 @default.
• W2018476992 hasConceptScore W2018476992C2778029271 @default.
• W2018476992 hasConceptScore W2018476992C2780990831 @default.
• W2018476992 hasConceptScore W2018476992C33923547 @default.
• W2018476992 hasConceptScore W2018476992C41008148 @default.
• W2018476992 hasConceptScore W2018476992C71139939 @default.
• W2018476992 hasConceptScore W2018476992C77553402 @default.
• W2018476992 hasConceptScore W2018476992C90673727 @default.
• W2018476992 hasLocation W20184769921 @default.
• W2018476992 hasLocation W20184769922 @default.
• W2018476992 hasOpenAccess W2018476992 @default.
• W2018476992 hasPrimaryLocation W20184769921 @default.
• W2018476992 hasRelatedWork W1485990531 @default.
• W2018476992 hasRelatedWork W1549008998 @default.
• W2018476992 hasRelatedWork W1662963207 @default.
• W2018476992 hasRelatedWork W1780759614 @default.
• W2018476992 hasRelatedWork W1804800800 @default.
• W2018476992 hasRelatedWork W2054803027 @default.
• W2018476992 hasRelatedWork W2085467680 @default.
• W2018476992 hasRelatedWork W2105348917 @default.
• W2018476992 hasRelatedWork W2118324648 @default.
• W2018476992 hasRelatedWork W2124576280 @default.
• W2018476992 hasRelatedWork W2150132323 @default.
• W2018476992 hasRelatedWork W2194181321 @default.
• W2018476992 hasRelatedWork W2889373466 @default.
• W2018476992 hasRelatedWork W2947401218 @default.
• W2018476992 hasRelatedWork W2963987138 @default.
• W2018476992 hasRelatedWork W3102786666 @default.
• W2018476992 hasRelatedWork W3105868061 @default.
• W2018476992 hasRelatedWork W3149031245 @default.
• W2018476992 hasRelatedWork W44837187 @default.

• next