Matches in SemOpenAlex for { <https://semopenalex.org/work/W2551777250> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2551777250 abstract "Dynamic Topological Logic ($mathcal{DTL}$) is a combination of $mathcal{S}${em 4}, under its topological interpretation, and the temporal logic $mathcal{LTL}$ interpreted over the natural numbers. $mathcal{DTL}$ is used to reason about properties of dynamical systems based on topological spaces. Semantics are given by dynamic topological models, which are tuples $left $, where $left $ is a topological space, $f$ a function on $X$ and $V$ a truth valuation assigning subsets of $X$ to propositional variables." @default.
- W2551777250 created "2016-11-30" @default.
- W2551777250 creator A5080309379 @default.
- W2551777250 date "2016-11-21" @default.
- W2551777250 modified "2023-09-27" @default.
- W2551777250 title "Non-deterministic Semantics for Dynamic Topological Logic" @default.
- W2551777250 cites W1545756346 @default.
- W2551777250 cites W1570959422 @default.
- W2551777250 cites W1966660950 @default.
- W2551777250 cites W1980881014 @default.
- W2551777250 cites W1982302236 @default.
- W2551777250 cites W1998261607 @default.
- W2551777250 cites W2050719571 @default.
- W2551777250 cites W2096931278 @default.
- W2551777250 cites W2134509352 @default.
- W2551777250 cites W2610670723 @default.
- W2551777250 hasPublicationYear "2016" @default.
- W2551777250 type Work @default.
- W2551777250 sameAs 2551777250 @default.
- W2551777250 citedByCount "0" @default.
- W2551777250 crossrefType "posted-content" @default.
- W2551777250 hasAuthorship W2551777250A5080309379 @default.
- W2551777250 hasConcept C104317684 @default.
- W2551777250 hasConcept C10728891 @default.
- W2551777250 hasConcept C114614502 @default.
- W2551777250 hasConcept C118615104 @default.
- W2551777250 hasConcept C178099376 @default.
- W2551777250 hasConcept C184720557 @default.
- W2551777250 hasConcept C185592680 @default.
- W2551777250 hasConcept C199360897 @default.
- W2551777250 hasConcept C33923547 @default.
- W2551777250 hasConcept C41008148 @default.
- W2551777250 hasConcept C47600822 @default.
- W2551777250 hasConcept C527412718 @default.
- W2551777250 hasConcept C55112680 @default.
- W2551777250 hasConcept C55493867 @default.
- W2551777250 hasConcept C81332173 @default.
- W2551777250 hasConceptScore W2551777250C104317684 @default.
- W2551777250 hasConceptScore W2551777250C10728891 @default.
- W2551777250 hasConceptScore W2551777250C114614502 @default.
- W2551777250 hasConceptScore W2551777250C118615104 @default.
- W2551777250 hasConceptScore W2551777250C178099376 @default.
- W2551777250 hasConceptScore W2551777250C184720557 @default.
- W2551777250 hasConceptScore W2551777250C185592680 @default.
- W2551777250 hasConceptScore W2551777250C199360897 @default.
- W2551777250 hasConceptScore W2551777250C33923547 @default.
- W2551777250 hasConceptScore W2551777250C41008148 @default.
- W2551777250 hasConceptScore W2551777250C47600822 @default.
- W2551777250 hasConceptScore W2551777250C527412718 @default.
- W2551777250 hasConceptScore W2551777250C55112680 @default.
- W2551777250 hasConceptScore W2551777250C55493867 @default.
- W2551777250 hasConceptScore W2551777250C81332173 @default.
- W2551777250 hasLocation W25517772501 @default.
- W2551777250 hasOpenAccess W2551777250 @default.
- W2551777250 hasPrimaryLocation W25517772501 @default.
- W2551777250 hasRelatedWork W1497427039 @default.
- W2551777250 hasRelatedWork W1601373259 @default.
- W2551777250 hasRelatedWork W1966660950 @default.
- W2551777250 hasRelatedWork W1977264230 @default.
- W2551777250 hasRelatedWork W1986587029 @default.
- W2551777250 hasRelatedWork W2036386940 @default.
- W2551777250 hasRelatedWork W2099793349 @default.
- W2551777250 hasRelatedWork W2133700101 @default.
- W2551777250 hasRelatedWork W2157265548 @default.
- W2551777250 hasRelatedWork W2160814637 @default.
- W2551777250 hasRelatedWork W2765640722 @default.
- W2551777250 hasRelatedWork W2807004567 @default.
- W2551777250 hasRelatedWork W2911874855 @default.
- W2551777250 hasRelatedWork W2951338502 @default.
- W2551777250 hasRelatedWork W2955101758 @default.
- W2551777250 hasRelatedWork W2963079830 @default.
- W2551777250 hasRelatedWork W3022591960 @default.
- W2551777250 hasRelatedWork W3098961381 @default.
- W2551777250 hasRelatedWork W3141936761 @default.
- W2551777250 hasRelatedWork W2432577492 @default.
- W2551777250 isParatext "false" @default.
- W2551777250 isRetracted "false" @default.
- W2551777250 magId "2551777250" @default.
- W2551777250 workType "article" @default.