Matches in SemOpenAlex for { <https://semopenalex.org/work/W3159106070> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3159106070 endingPage "66" @default.
- W3159106070 startingPage "39" @default.
- W3159106070 abstract "Abstract Satisfaction systems and reductions between them are presented as an appropriate context for analyzing the satisfiability and the validity problems. The notion of reduction is generalized in order to cope with the meet-combination of logics. Reductions between satisfaction systems induce reductions between the respective satisfiability problems and (under mild conditions) also between their validity problems. Sufficient conditions are provided for relating satisfiability problems to validity problems. Reflection results for decidability in the presence of reductions are established. The validity problem in the meet-combination is proved to be decidable whenever the validity problem for the components are decidable. Several examples are discussed, namely, involving modal and intuitionistic logics, as well as the meet-combination of $textrm {K}$ modal logic and intuitionistic logic." @default.
- W3159106070 created "2021-05-10" @default.
- W3159106070 creator A5008640428 @default.
- W3159106070 creator A5019891741 @default.
- W3159106070 creator A5072300699 @default.
- W3159106070 date "2021-03-01" @default.
- W3159106070 modified "2023-09-28" @default.
- W3159106070 title "REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION" @default.
- W3159106070 cites W1489366126 @default.
- W3159106070 cites W1532021941 @default.
- W3159106070 cites W1974483963 @default.
- W3159106070 cites W2023778211 @default.
- W3159106070 cites W2036986624 @default.
- W3159106070 cites W2042927584 @default.
- W3159106070 cites W2081329681 @default.
- W3159106070 cites W2086470346 @default.
- W3159106070 cites W2110279188 @default.
- W3159106070 cites W2124580444 @default.
- W3159106070 cites W2234450894 @default.
- W3159106070 cites W4211144022 @default.
- W3159106070 cites W4233956926 @default.
- W3159106070 cites W4238214510 @default.
- W3159106070 cites W4291166496 @default.
- W3159106070 doi "https://doi.org/10.1017/bsl.2021.17" @default.
- W3159106070 hasPublicationYear "2021" @default.
- W3159106070 type Work @default.
- W3159106070 sameAs 3159106070 @default.
- W3159106070 citedByCount "1" @default.
- W3159106070 countsByYear W31591060702022 @default.
- W3159106070 crossrefType "journal-article" @default.
- W3159106070 hasAuthorship W3159106070A5008640428 @default.
- W3159106070 hasAuthorship W3159106070A5019891741 @default.
- W3159106070 hasAuthorship W3159106070A5072300699 @default.
- W3159106070 hasConcept C111335779 @default.
- W3159106070 hasConcept C118615104 @default.
- W3159106070 hasConcept C151730666 @default.
- W3159106070 hasConcept C153269930 @default.
- W3159106070 hasConcept C168773769 @default.
- W3159106070 hasConcept C185592680 @default.
- W3159106070 hasConcept C188027245 @default.
- W3159106070 hasConcept C2524010 @default.
- W3159106070 hasConcept C27508121 @default.
- W3159106070 hasConcept C2779343474 @default.
- W3159106070 hasConcept C33923547 @default.
- W3159106070 hasConcept C6943359 @default.
- W3159106070 hasConcept C71139939 @default.
- W3159106070 hasConcept C86803240 @default.
- W3159106070 hasConceptScore W3159106070C111335779 @default.
- W3159106070 hasConceptScore W3159106070C118615104 @default.
- W3159106070 hasConceptScore W3159106070C151730666 @default.
- W3159106070 hasConceptScore W3159106070C153269930 @default.
- W3159106070 hasConceptScore W3159106070C168773769 @default.
- W3159106070 hasConceptScore W3159106070C185592680 @default.
- W3159106070 hasConceptScore W3159106070C188027245 @default.
- W3159106070 hasConceptScore W3159106070C2524010 @default.
- W3159106070 hasConceptScore W3159106070C27508121 @default.
- W3159106070 hasConceptScore W3159106070C2779343474 @default.
- W3159106070 hasConceptScore W3159106070C33923547 @default.
- W3159106070 hasConceptScore W3159106070C6943359 @default.
- W3159106070 hasConceptScore W3159106070C71139939 @default.
- W3159106070 hasConceptScore W3159106070C86803240 @default.
- W3159106070 hasIssue "1" @default.
- W3159106070 hasLocation W31591060701 @default.
- W3159106070 hasOpenAccess W3159106070 @default.
- W3159106070 hasPrimaryLocation W31591060701 @default.
- W3159106070 hasRelatedWork W19621713 @default.
- W3159106070 hasRelatedWork W2017112542 @default.
- W3159106070 hasRelatedWork W2040640762 @default.
- W3159106070 hasRelatedWork W2110715144 @default.
- W3159106070 hasRelatedWork W2167738204 @default.
- W3159106070 hasRelatedWork W2572267834 @default.
- W3159106070 hasRelatedWork W3102809343 @default.
- W3159106070 hasRelatedWork W3115410114 @default.
- W3159106070 hasRelatedWork W4289115784 @default.
- W3159106070 hasRelatedWork W4320503070 @default.
- W3159106070 hasVolume "27" @default.
- W3159106070 isParatext "false" @default.
- W3159106070 isRetracted "false" @default.
- W3159106070 magId "3159106070" @default.
- W3159106070 workType "article" @default.