Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016293897> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2016293897 endingPage "268" @default.
- W2016293897 startingPage "245" @default.
- W2016293897 abstract "We show that—unlike products of ‘transitive’ modal logics which are usually undecidable—their ‘expanding domain’ relativisations can be decidable, though not in primitive recursive time. In particular, we prove the decidability and the finite expanding product model property of bimodal logics interpreted in two-dimensional structures where one component—call it the ‘flow of time’—is • a finite linear order or a finite transitive tree and the other is composed of structures like • transitive trees/partial orders/quasi-orders/linear orders or only finite such structures expanding over time. (It is known that none of these logics is decidable when interpreted in structures where the second component does not change over time.) The decidability proof is based on Kruskal’s tree theorem, and the proof of non-primitive recursiveness is by reduction of the reachability problem for lossy channel systems. The result is used to show that the dynamic topological logic interpreted in topological spaces with continuous functions is decidable (in non-primitive recursive time) if the number of function iterations is assumed to be finite." @default.
- W2016293897 created "2016-06-24" @default.
- W2016293897 creator A5001878365 @default.
- W2016293897 creator A5010967150 @default.
- W2016293897 creator A5033831417 @default.
- W2016293897 creator A5038619560 @default.
- W2016293897 date "2006-10-01" @default.
- W2016293897 modified "2023-10-18" @default.
- W2016293897 title "Non-primitive recursive decidability of products of modal logics with expanding domains" @default.
- W2016293897 cites W1489614395 @default.
- W2016293897 cites W1545756346 @default.
- W2016293897 cites W1966660950 @default.
- W2016293897 cites W1966911791 @default.
- W2016293897 cites W1978169673 @default.
- W2016293897 cites W1987814265 @default.
- W2016293897 cites W1988434703 @default.
- W2016293897 cites W1998261607 @default.
- W2016293897 cites W2002176884 @default.
- W2016293897 cites W2012917747 @default.
- W2016293897 cites W2013243527 @default.
- W2016293897 cites W2019539243 @default.
- W2016293897 cites W2040022302 @default.
- W2016293897 cites W2040575807 @default.
- W2016293897 cites W2055092188 @default.
- W2016293897 cites W2057232741 @default.
- W2016293897 cites W2074507365 @default.
- W2016293897 cites W2090086476 @default.
- W2016293897 cites W2118324648 @default.
- W2016293897 cites W2124576280 @default.
- W2016293897 cites W2163841074 @default.
- W2016293897 cites W2166802518 @default.
- W2016293897 cites W3037175162 @default.
- W2016293897 cites W4234015612 @default.
- W2016293897 cites W4244421355 @default.
- W2016293897 doi "https://doi.org/10.1016/j.apal.2006.01.001" @default.
- W2016293897 hasPublicationYear "2006" @default.
- W2016293897 type Work @default.
- W2016293897 sameAs 2016293897 @default.
- W2016293897 citedByCount "37" @default.
- W2016293897 countsByYear W20162938972012 @default.
- W2016293897 countsByYear W20162938972013 @default.
- W2016293897 countsByYear W20162938972015 @default.
- W2016293897 countsByYear W20162938972016 @default.
- W2016293897 countsByYear W20162938972017 @default.
- W2016293897 countsByYear W20162938972018 @default.
- W2016293897 countsByYear W20162938972019 @default.
- W2016293897 countsByYear W20162938972020 @default.
- W2016293897 countsByYear W20162938972021 @default.
- W2016293897 countsByYear W20162938972022 @default.
- W2016293897 crossrefType "journal-article" @default.
- W2016293897 hasAuthorship W2016293897A5001878365 @default.
- W2016293897 hasAuthorship W2016293897A5010967150 @default.
- W2016293897 hasAuthorship W2016293897A5033831417 @default.
- W2016293897 hasAuthorship W2016293897A5038619560 @default.
- W2016293897 hasConcept C113174947 @default.
- W2016293897 hasConcept C114614502 @default.
- W2016293897 hasConcept C118615104 @default.
- W2016293897 hasConcept C136643341 @default.
- W2016293897 hasConcept C153269930 @default.
- W2016293897 hasConcept C185592680 @default.
- W2016293897 hasConcept C188027245 @default.
- W2016293897 hasConcept C191399111 @default.
- W2016293897 hasConcept C192034797 @default.
- W2016293897 hasConcept C27508121 @default.
- W2016293897 hasConcept C33923547 @default.
- W2016293897 hasConcept C71139939 @default.
- W2016293897 hasConceptScore W2016293897C113174947 @default.
- W2016293897 hasConceptScore W2016293897C114614502 @default.
- W2016293897 hasConceptScore W2016293897C118615104 @default.
- W2016293897 hasConceptScore W2016293897C136643341 @default.
- W2016293897 hasConceptScore W2016293897C153269930 @default.
- W2016293897 hasConceptScore W2016293897C185592680 @default.
- W2016293897 hasConceptScore W2016293897C188027245 @default.
- W2016293897 hasConceptScore W2016293897C191399111 @default.
- W2016293897 hasConceptScore W2016293897C192034797 @default.
- W2016293897 hasConceptScore W2016293897C27508121 @default.
- W2016293897 hasConceptScore W2016293897C33923547 @default.
- W2016293897 hasConceptScore W2016293897C71139939 @default.
- W2016293897 hasIssue "1-3" @default.
- W2016293897 hasLocation W20162938971 @default.
- W2016293897 hasOpenAccess W2016293897 @default.
- W2016293897 hasPrimaryLocation W20162938971 @default.
- W2016293897 hasRelatedWork W1485718948 @default.
- W2016293897 hasRelatedWork W1563786920 @default.
- W2016293897 hasRelatedWork W1567962086 @default.
- W2016293897 hasRelatedWork W1629112568 @default.
- W2016293897 hasRelatedWork W1971160134 @default.
- W2016293897 hasRelatedWork W2085838366 @default.
- W2016293897 hasRelatedWork W2167738204 @default.
- W2016293897 hasRelatedWork W2246583867 @default.
- W2016293897 hasRelatedWork W2489809986 @default.
- W2016293897 hasRelatedWork W3184847830 @default.
- W2016293897 hasVolume "142" @default.
- W2016293897 isParatext "false" @default.
- W2016293897 isRetracted "false" @default.
- W2016293897 magId "2016293897" @default.
- W2016293897 workType "article" @default.