Matches in SemOpenAlex for { <https://semopenalex.org/work/W5540216> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W5540216 endingPage "137" @default.
- W5540216 startingPage "115" @default.
- W5540216 abstract "In this article we present an extension to the theory of frames developed in Petersen (2007). Petersen’s theory only applies to concepts for persistent objects like trees or dogs but not to concepts for actions and events that are inherently dynamic because they describe factual changes in the world. Basic frames are defined as Kripke-models. In order to represent the dynamic dimension one needs in addition both combinations of and transformation between such models. Combinations of Kripke-models are used for temporalization (representing stages of objects and the temporal development of events) and refinement (representing the internal structure of objects). Such combinations are defined using techniques from Finger & Gabbay (1992) and Blackburn & de Rijke (1997). Transformations between Kripke-models are used to represent the factual changes brought about by events. Such transformations are defined using strategies from Dynamic Logic and Dynamic Epistemic Logic, Van Benthem et al. (2005)." @default.
- W5540216 created "2016-06-24" @default.
- W5540216 creator A5057209685 @default.
- W5540216 date "2013-01-01" @default.
- W5540216 modified "2023-10-18" @default.
- W5540216 title "An Outline of a Dynamic Theory of Frames" @default.
- W5540216 cites W1500015813 @default.
- W5540216 cites W1548584159 @default.
- W5540216 cites W1709509222 @default.
- W5540216 cites W2017661088 @default.
- W5540216 cites W2023964307 @default.
- W5540216 cites W2106812694 @default.
- W5540216 cites W2148848230 @default.
- W5540216 cites W2150375089 @default.
- W5540216 cites W2171622898 @default.
- W5540216 cites W225164430 @default.
- W5540216 cites W4213255959 @default.
- W5540216 cites W4239007999 @default.
- W5540216 cites W563668364 @default.
- W5540216 cites W615227492 @default.
- W5540216 cites W86685964 @default.
- W5540216 doi "https://doi.org/10.1007/978-3-642-36976-6_9" @default.
- W5540216 hasPublicationYear "2013" @default.
- W5540216 type Work @default.
- W5540216 sameAs 5540216 @default.
- W5540216 citedByCount "5" @default.
- W5540216 countsByYear W55402162017 @default.
- W5540216 countsByYear W55402162019 @default.
- W5540216 countsByYear W55402162021 @default.
- W5540216 countsByYear W55402162023 @default.
- W5540216 crossrefType "book-chapter" @default.
- W5540216 hasAuthorship W5540216A5057209685 @default.
- W5540216 hasConcept C104317684 @default.
- W5540216 hasConcept C11413529 @default.
- W5540216 hasConcept C154945302 @default.
- W5540216 hasConcept C161913894 @default.
- W5540216 hasConcept C185592680 @default.
- W5540216 hasConcept C188027245 @default.
- W5540216 hasConcept C199360897 @default.
- W5540216 hasConcept C202444582 @default.
- W5540216 hasConcept C204241405 @default.
- W5540216 hasConcept C25016198 @default.
- W5540216 hasConcept C27508121 @default.
- W5540216 hasConcept C2778029271 @default.
- W5540216 hasConcept C33676613 @default.
- W5540216 hasConcept C33923547 @default.
- W5540216 hasConcept C41008148 @default.
- W5540216 hasConcept C55493867 @default.
- W5540216 hasConcept C71139939 @default.
- W5540216 hasConcept C80444323 @default.
- W5540216 hasConceptScore W5540216C104317684 @default.
- W5540216 hasConceptScore W5540216C11413529 @default.
- W5540216 hasConceptScore W5540216C154945302 @default.
- W5540216 hasConceptScore W5540216C161913894 @default.
- W5540216 hasConceptScore W5540216C185592680 @default.
- W5540216 hasConceptScore W5540216C188027245 @default.
- W5540216 hasConceptScore W5540216C199360897 @default.
- W5540216 hasConceptScore W5540216C202444582 @default.
- W5540216 hasConceptScore W5540216C204241405 @default.
- W5540216 hasConceptScore W5540216C25016198 @default.
- W5540216 hasConceptScore W5540216C27508121 @default.
- W5540216 hasConceptScore W5540216C2778029271 @default.
- W5540216 hasConceptScore W5540216C33676613 @default.
- W5540216 hasConceptScore W5540216C33923547 @default.
- W5540216 hasConceptScore W5540216C41008148 @default.
- W5540216 hasConceptScore W5540216C55493867 @default.
- W5540216 hasConceptScore W5540216C71139939 @default.
- W5540216 hasConceptScore W5540216C80444323 @default.
- W5540216 hasLocation W55402161 @default.
- W5540216 hasOpenAccess W5540216 @default.
- W5540216 hasPrimaryLocation W55402161 @default.
- W5540216 hasRelatedWork W1555593767 @default.
- W5540216 hasRelatedWork W1979234447 @default.
- W5540216 hasRelatedWork W2000011973 @default.
- W5540216 hasRelatedWork W2100973900 @default.
- W5540216 hasRelatedWork W2103740034 @default.
- W5540216 hasRelatedWork W2107940210 @default.
- W5540216 hasRelatedWork W2296037021 @default.
- W5540216 hasRelatedWork W2337119313 @default.
- W5540216 hasRelatedWork W2956011279 @default.
- W5540216 hasRelatedWork W2129407322 @default.
- W5540216 isParatext "false" @default.
- W5540216 isRetracted "false" @default.
- W5540216 magId "5540216" @default.
- W5540216 workType "book-chapter" @default.