Matches in SemOpenAlex for { <https://semopenalex.org/work/W2904006851> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2904006851 abstract "The transition semantics presented in Rumberg (J Log Lang Inf 25(1):77–108, 2016a) constitutes a fine-grained framework for modeling the interrelation of modality and time in branching time structures. In that framework, sentences of the transition language $$mathcal {L}_mathsf{t}$$ are evaluated on transition structures at pairs consisting of a moment and a set of transitions. In this paper, we provide a class of first-order definable Kripke structures that preserves $$mathcal {L}_mathsf{t}$$ -validity w.r.t. transition structures. As a consequence, for a certain fragment of $$mathcal {L}_mathsf{t}$$ , validity w.r.t. transition structures turns out to be axiomatizable. The result is then extended to the entire language $$mathcal {L}_mathsf{t}$$ by means of a quite natural ‘Henkin move’, i.e. by relaxing the notion of validity to bundled structures." @default.
- W2904006851 created "2018-12-22" @default.
- W2904006851 creator A5031039197 @default.
- W2904006851 creator A5048989572 @default.
- W2904006851 date "2018-12-14" @default.
- W2904006851 modified "2023-09-24" @default.
- W2904006851 title "First-Order Definability of Transition Structures" @default.
- W2904006851 cites W1979405912 @default.
- W2904006851 cites W2002262052 @default.
- W2904006851 cites W2014996135 @default.
- W2904006851 cites W2015217647 @default.
- W2904006851 cites W2028942690 @default.
- W2904006851 cites W2039775562 @default.
- W2904006851 cites W2049128357 @default.
- W2904006851 cites W2093270475 @default.
- W2904006851 cites W2122861777 @default.
- W2904006851 cites W2123535212 @default.
- W2904006851 cites W2160331299 @default.
- W2904006851 cites W2167496701 @default.
- W2904006851 cites W2259474485 @default.
- W2904006851 cites W4234687429 @default.
- W2904006851 cites W4239399053 @default.
- W2904006851 doi "https://doi.org/10.1007/s10849-018-9276-4" @default.
- W2904006851 hasPublicationYear "2018" @default.
- W2904006851 type Work @default.
- W2904006851 sameAs 2904006851 @default.
- W2904006851 citedByCount "2" @default.
- W2904006851 countsByYear W29040068512020 @default.
- W2904006851 countsByYear W29040068512021 @default.
- W2904006851 crossrefType "journal-article" @default.
- W2904006851 hasAuthorship W2904006851A5031039197 @default.
- W2904006851 hasAuthorship W2904006851A5048989572 @default.
- W2904006851 hasBestOaLocation W29040068511 @default.
- W2904006851 hasConcept C10138342 @default.
- W2904006851 hasConcept C114614502 @default.
- W2904006851 hasConcept C121332964 @default.
- W2904006851 hasConcept C162324750 @default.
- W2904006851 hasConcept C182306322 @default.
- W2904006851 hasConcept C28826006 @default.
- W2904006851 hasConcept C2987642246 @default.
- W2904006851 hasConcept C33923547 @default.
- W2904006851 hasConceptScore W2904006851C10138342 @default.
- W2904006851 hasConceptScore W2904006851C114614502 @default.
- W2904006851 hasConceptScore W2904006851C121332964 @default.
- W2904006851 hasConceptScore W2904006851C162324750 @default.
- W2904006851 hasConceptScore W2904006851C182306322 @default.
- W2904006851 hasConceptScore W2904006851C28826006 @default.
- W2904006851 hasConceptScore W2904006851C2987642246 @default.
- W2904006851 hasConceptScore W2904006851C33923547 @default.
- W2904006851 hasFunder F4320320879 @default.
- W2904006851 hasFunder F4320321800 @default.
- W2904006851 hasLocation W29040068511 @default.
- W2904006851 hasLocation W29040068512 @default.
- W2904006851 hasOpenAccess W2904006851 @default.
- W2904006851 hasPrimaryLocation W29040068511 @default.
- W2904006851 hasRelatedWork W1530728130 @default.
- W2904006851 hasRelatedWork W153808227 @default.
- W2904006851 hasRelatedWork W1963657007 @default.
- W2904006851 hasRelatedWork W1977176390 @default.
- W2904006851 hasRelatedWork W1998447124 @default.
- W2904006851 hasRelatedWork W2003311901 @default.
- W2904006851 hasRelatedWork W2026889721 @default.
- W2904006851 hasRelatedWork W2032865385 @default.
- W2904006851 hasRelatedWork W2038222783 @default.
- W2904006851 hasRelatedWork W2098938409 @default.
- W2904006851 hasRelatedWork W2107694278 @default.
- W2904006851 hasRelatedWork W2129901741 @default.
- W2904006851 hasRelatedWork W2153716149 @default.
- W2904006851 hasRelatedWork W2518247059 @default.
- W2904006851 hasRelatedWork W2556763370 @default.
- W2904006851 hasRelatedWork W2626714015 @default.
- W2904006851 hasRelatedWork W2752784239 @default.
- W2904006851 hasRelatedWork W2950930765 @default.
- W2904006851 hasRelatedWork W2952346302 @default.
- W2904006851 hasRelatedWork W2551720480 @default.
- W2904006851 isParatext "false" @default.
- W2904006851 isRetracted "false" @default.
- W2904006851 magId "2904006851" @default.
- W2904006851 workType "article" @default.