Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109607247> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2109607247 abstract "The compositional method, introduced by Feferman and Vaught in 1959, allows to reduce the model-checking problem for a product structure to the model-checking problem for its factors. It applies to first-order logic, and limitations for its use have recently been revealed by Rabinovich (2007). We sharpen the results of Rabinovich by showing that the composition method is applicable to the asynchronous product (and the finitely synchronized product) for an extended modal logic in which the reachability modality is enhanced by a (semi-linear) condition on path lengths. We show that a slight extension leads to the failure of the composition theorem. We add comments on extensions of the result and open questions." @default.
- W2109607247 created "2016-06-24" @default.
- W2109607247 creator A5087210137 @default.
- W2109607247 date "2008-12-01" @default.
- W2109607247 modified "2023-10-05" @default.
- W2109607247 title "The Compositional Method and Regular Reachability" @default.
- W2109607247 cites W1496394707 @default.
- W2109607247 cites W1511526676 @default.
- W2109607247 cites W1535681052 @default.
- W2109607247 cites W1560050980 @default.
- W2109607247 cites W1584587517 @default.
- W2109607247 cites W1638226618 @default.
- W2109607247 cites W1780759614 @default.
- W2109607247 cites W1816620374 @default.
- W2109607247 cites W1971616901 @default.
- W2109607247 cites W1974817955 @default.
- W2109607247 cites W2022364606 @default.
- W2109607247 cites W2058228891 @default.
- W2109607247 cites W2062792526 @default.
- W2109607247 cites W2105348917 @default.
- W2109607247 cites W2109287809 @default.
- W2109607247 cites W2118324648 @default.
- W2109607247 cites W2158542561 @default.
- W2109607247 cites W2330548796 @default.
- W2109607247 cites W2336123333 @default.
- W2109607247 cites W2799061192 @default.
- W2109607247 doi "https://doi.org/10.1016/j.entcs.2008.12.034" @default.
- W2109607247 hasPublicationYear "2008" @default.
- W2109607247 type Work @default.
- W2109607247 sameAs 2109607247 @default.
- W2109607247 citedByCount "3" @default.
- W2109607247 countsByYear W21096072472012 @default.
- W2109607247 countsByYear W21096072472014 @default.
- W2109607247 crossrefType "journal-article" @default.
- W2109607247 hasAuthorship W2109607247A5087210137 @default.
- W2109607247 hasBestOaLocation W21096072471 @default.
- W2109607247 hasConcept C136643341 @default.
- W2109607247 hasConcept C199360897 @default.
- W2109607247 hasConcept C33923547 @default.
- W2109607247 hasConcept C41008148 @default.
- W2109607247 hasConcept C80444323 @default.
- W2109607247 hasConceptScore W2109607247C136643341 @default.
- W2109607247 hasConceptScore W2109607247C199360897 @default.
- W2109607247 hasConceptScore W2109607247C33923547 @default.
- W2109607247 hasConceptScore W2109607247C41008148 @default.
- W2109607247 hasConceptScore W2109607247C80444323 @default.
- W2109607247 hasLocation W21096072471 @default.
- W2109607247 hasOpenAccess W2109607247 @default.
- W2109607247 hasPrimaryLocation W21096072471 @default.
- W2109607247 hasRelatedWork W1486100501 @default.
- W2109607247 hasRelatedWork W2112962394 @default.
- W2109607247 hasRelatedWork W2118300983 @default.
- W2109607247 hasRelatedWork W2166247150 @default.
- W2109607247 hasRelatedWork W2368796975 @default.
- W2109607247 hasRelatedWork W2786605369 @default.
- W2109607247 hasRelatedWork W3006118393 @default.
- W2109607247 hasRelatedWork W3137189469 @default.
- W2109607247 hasRelatedWork W381935118 @default.
- W2109607247 hasRelatedWork W4243252198 @default.
- W2109607247 isParatext "false" @default.
- W2109607247 isRetracted "false" @default.
- W2109607247 magId "2109607247" @default.
- W2109607247 workType "article" @default.