Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950152181> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2950152181 abstract "Action models are semantic structures similar to Kripke models that represent a change in knowledge in an epistemic setting. Whereas the language of action model logic embeds the semantic structure of an action model directly within the language, this paper introduces a language that represents action models using syntactic operators inspired by relational actions. This language admits an intuitive description of the action models it represents, and we show in several settings that it is sufficient to represent any action model up to a given modal depth and to represent the results of action model synthesis, and give a sound and complete axiomatisation in some of these settings." @default.
- W2950152181 created "2019-06-27" @default.
- W2950152181 creator A5030763134 @default.
- W2950152181 creator A5070645810 @default.
- W2950152181 creator A5087114190 @default.
- W2950152181 date "2014-06-09" @default.
- W2950152181 modified "2023-09-25" @default.
- W2950152181 title "A composable language for action models" @default.
- W2950152181 cites W1533142698 @default.
- W2950152181 cites W1554536854 @default.
- W2950152181 cites W1988804687 @default.
- W2950152181 cites W2073942343 @default.
- W2950152181 cites W2144782528 @default.
- W2950152181 cites W2155318727 @default.
- W2950152181 cites W2159131252 @default.
- W2950152181 cites W2252906474 @default.
- W2950152181 cites W2271942845 @default.
- W2950152181 cites W2394929902 @default.
- W2950152181 hasPublicationYear "2014" @default.
- W2950152181 type Work @default.
- W2950152181 sameAs 2950152181 @default.
- W2950152181 citedByCount "1" @default.
- W2950152181 countsByYear W29501521812021 @default.
- W2950152181 crossrefType "posted-content" @default.
- W2950152181 hasAuthorship W2950152181A5030763134 @default.
- W2950152181 hasAuthorship W2950152181A5070645810 @default.
- W2950152181 hasAuthorship W2950152181A5087114190 @default.
- W2950152181 hasConcept C121332964 @default.
- W2950152181 hasConcept C154945302 @default.
- W2950152181 hasConcept C15744967 @default.
- W2950152181 hasConcept C185592680 @default.
- W2950152181 hasConcept C188027245 @default.
- W2950152181 hasConcept C188147891 @default.
- W2950152181 hasConcept C204321447 @default.
- W2950152181 hasConcept C27508121 @default.
- W2950152181 hasConcept C2780791683 @default.
- W2950152181 hasConcept C41008148 @default.
- W2950152181 hasConcept C62520636 @default.
- W2950152181 hasConcept C71139939 @default.
- W2950152181 hasConceptScore W2950152181C121332964 @default.
- W2950152181 hasConceptScore W2950152181C154945302 @default.
- W2950152181 hasConceptScore W2950152181C15744967 @default.
- W2950152181 hasConceptScore W2950152181C185592680 @default.
- W2950152181 hasConceptScore W2950152181C188027245 @default.
- W2950152181 hasConceptScore W2950152181C188147891 @default.
- W2950152181 hasConceptScore W2950152181C204321447 @default.
- W2950152181 hasConceptScore W2950152181C27508121 @default.
- W2950152181 hasConceptScore W2950152181C2780791683 @default.
- W2950152181 hasConceptScore W2950152181C41008148 @default.
- W2950152181 hasConceptScore W2950152181C62520636 @default.
- W2950152181 hasConceptScore W2950152181C71139939 @default.
- W2950152181 hasLocation W29501521811 @default.
- W2950152181 hasOpenAccess W2950152181 @default.
- W2950152181 hasPrimaryLocation W29501521811 @default.
- W2950152181 hasRelatedWork W1507292594 @default.
- W2950152181 hasRelatedWork W1511693845 @default.
- W2950152181 hasRelatedWork W1569208917 @default.
- W2950152181 hasRelatedWork W1803679199 @default.
- W2950152181 hasRelatedWork W2010483606 @default.
- W2950152181 hasRelatedWork W2012899205 @default.
- W2950152181 hasRelatedWork W2060464616 @default.
- W2950152181 hasRelatedWork W207571984 @default.
- W2950152181 hasRelatedWork W2132934799 @default.
- W2950152181 hasRelatedWork W2137254030 @default.
- W2950152181 hasRelatedWork W2265087217 @default.
- W2950152181 hasRelatedWork W2270489069 @default.
- W2950152181 hasRelatedWork W2399069917 @default.
- W2950152181 hasRelatedWork W2400957619 @default.
- W2950152181 hasRelatedWork W2417645789 @default.
- W2950152181 hasRelatedWork W2485459746 @default.
- W2950152181 hasRelatedWork W2597181146 @default.
- W2950152181 hasRelatedWork W2778392606 @default.
- W2950152181 hasRelatedWork W2949097850 @default.
- W2950152181 hasRelatedWork W3105588714 @default.
- W2950152181 isParatext "false" @default.
- W2950152181 isRetracted "false" @default.
- W2950152181 magId "2950152181" @default.
- W2950152181 workType "article" @default.