Matches in SemOpenAlex for { <https://semopenalex.org/work/W3115410114> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W3115410114 endingPage "25" @default.
- W3115410114 startingPage "1" @default.
- W3115410114 abstract "We consider the operation of sum on Kripke frames, where a family of frames-summands is indexed by elements of another frame. In many cases, the modal logic of sums inherits the finite model property and decidability from the modal logic of summands [Babenyshev and Rybakov 2010 ; Shapirovsky 2018 ]. In this paper we show that, under a general condition, the satisfiability problem on sums is polynomial space Turing reducible to the satisfiability problem on summands. In particular, for many modal logics decidability in PSpace is an immediate corollary from the semantic characterization of the logic." @default.
- W3115410114 created "2021-01-05" @default.
- W3115410114 creator A5026243981 @default.
- W3115410114 date "2022-04-22" @default.
- W3115410114 modified "2023-09-25" @default.
- W3115410114 title "Satisfiability Problems on Sums of Kripke Frames" @default.
- W3115410114 cites W1511526676 @default.
- W3115410114 cites W1540385650 @default.
- W3115410114 cites W1875493920 @default.
- W3115410114 cites W1966875984 @default.
- W3115410114 cites W1994332324 @default.
- W3115410114 cites W2010855309 @default.
- W3115410114 cites W2013165452 @default.
- W3115410114 cites W2018462672 @default.
- W3115410114 cites W2020246472 @default.
- W3115410114 cites W2034453867 @default.
- W3115410114 cites W2040575807 @default.
- W3115410114 cites W2062792526 @default.
- W3115410114 cites W2073491323 @default.
- W3115410114 cites W2089432821 @default.
- W3115410114 cites W2106716518 @default.
- W3115410114 cites W2124576280 @default.
- W3115410114 cites W2133070229 @default.
- W3115410114 cites W2169388232 @default.
- W3115410114 cites W4242289817 @default.
- W3115410114 doi "https://doi.org/10.1145/3508068" @default.
- W3115410114 hasPublicationYear "2022" @default.
- W3115410114 type Work @default.
- W3115410114 sameAs 3115410114 @default.
- W3115410114 citedByCount "1" @default.
- W3115410114 countsByYear W31154101142023 @default.
- W3115410114 crossrefType "journal-article" @default.
- W3115410114 hasAuthorship W3115410114A5026243981 @default.
- W3115410114 hasBestOaLocation W31154101142 @default.
- W3115410114 hasConcept C114092440 @default.
- W3115410114 hasConcept C11413529 @default.
- W3115410114 hasConcept C118615104 @default.
- W3115410114 hasConcept C153269930 @default.
- W3115410114 hasConcept C160131679 @default.
- W3115410114 hasConcept C168773769 @default.
- W3115410114 hasConcept C179799912 @default.
- W3115410114 hasConcept C185592680 @default.
- W3115410114 hasConcept C188027245 @default.
- W3115410114 hasConcept C197685441 @default.
- W3115410114 hasConcept C27508121 @default.
- W3115410114 hasConcept C2780012671 @default.
- W3115410114 hasConcept C33923547 @default.
- W3115410114 hasConcept C6943359 @default.
- W3115410114 hasConcept C71139939 @default.
- W3115410114 hasConceptScore W3115410114C114092440 @default.
- W3115410114 hasConceptScore W3115410114C11413529 @default.
- W3115410114 hasConceptScore W3115410114C118615104 @default.
- W3115410114 hasConceptScore W3115410114C153269930 @default.
- W3115410114 hasConceptScore W3115410114C160131679 @default.
- W3115410114 hasConceptScore W3115410114C168773769 @default.
- W3115410114 hasConceptScore W3115410114C179799912 @default.
- W3115410114 hasConceptScore W3115410114C185592680 @default.
- W3115410114 hasConceptScore W3115410114C188027245 @default.
- W3115410114 hasConceptScore W3115410114C197685441 @default.
- W3115410114 hasConceptScore W3115410114C27508121 @default.
- W3115410114 hasConceptScore W3115410114C2780012671 @default.
- W3115410114 hasConceptScore W3115410114C33923547 @default.
- W3115410114 hasConceptScore W3115410114C6943359 @default.
- W3115410114 hasConceptScore W3115410114C71139939 @default.
- W3115410114 hasIssue "3" @default.
- W3115410114 hasLocation W31154101141 @default.
- W3115410114 hasLocation W31154101142 @default.
- W3115410114 hasOpenAccess W3115410114 @default.
- W3115410114 hasPrimaryLocation W31154101141 @default.
- W3115410114 hasRelatedWork W1572100079 @default.
- W3115410114 hasRelatedWork W2017112542 @default.
- W3115410114 hasRelatedWork W2040640762 @default.
- W3115410114 hasRelatedWork W2949673979 @default.
- W3115410114 hasRelatedWork W3102809343 @default.
- W3115410114 hasRelatedWork W3115410114 @default.
- W3115410114 hasRelatedWork W3197054820 @default.
- W3115410114 hasRelatedWork W340109471 @default.
- W3115410114 hasRelatedWork W4320503070 @default.
- W3115410114 hasRelatedWork W2187296116 @default.
- W3115410114 hasVolume "23" @default.
- W3115410114 isParatext "false" @default.
- W3115410114 isRetracted "false" @default.
- W3115410114 magId "3115410114" @default.
- W3115410114 workType "article" @default.