Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034643241> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2034643241 endingPage "212" @default.
- W2034643241 startingPage "203" @default.
- W2034643241 abstract "It it shown that the validity questions in prepositional temporal logic of actions can be translated into validity questions of a temporal logic and vice versa. In particular, actions of prepositional temporal logic of actions can be equivalently replaced by prepositional symbols." @default.
- W2034643241 created "2016-06-24" @default.
- W2034643241 creator A5058136611 @default.
- W2034643241 creator A5081476470 @default.
- W2034643241 date "1995-01-01" @default.
- W2034643241 modified "2023-10-01" @default.
- W2034643241 title "Semantical Analysis of Logic of Actions" @default.
- W2034643241 doi "https://doi.org/10.1093/logcom/5.2.203" @default.
- W2034643241 hasPublicationYear "1995" @default.
- W2034643241 type Work @default.
- W2034643241 sameAs 2034643241 @default.
- W2034643241 citedByCount "4" @default.
- W2034643241 crossrefType "journal-article" @default.
- W2034643241 hasAuthorship W2034643241A5058136611 @default.
- W2034643241 hasAuthorship W2034643241A5081476470 @default.
- W2034643241 hasConcept C11648818 @default.
- W2034643241 hasConcept C154945302 @default.
- W2034643241 hasConcept C15744967 @default.
- W2034643241 hasConcept C162670838 @default.
- W2034643241 hasConcept C188147891 @default.
- W2034643241 hasConcept C25016198 @default.
- W2034643241 hasConcept C2777655698 @default.
- W2034643241 hasConcept C41008148 @default.
- W2034643241 hasConcept C4777664 @default.
- W2034643241 hasConcept C77088390 @default.
- W2034643241 hasConcept C80444323 @default.
- W2034643241 hasConceptScore W2034643241C11648818 @default.
- W2034643241 hasConceptScore W2034643241C154945302 @default.
- W2034643241 hasConceptScore W2034643241C15744967 @default.
- W2034643241 hasConceptScore W2034643241C162670838 @default.
- W2034643241 hasConceptScore W2034643241C188147891 @default.
- W2034643241 hasConceptScore W2034643241C25016198 @default.
- W2034643241 hasConceptScore W2034643241C2777655698 @default.
- W2034643241 hasConceptScore W2034643241C41008148 @default.
- W2034643241 hasConceptScore W2034643241C4777664 @default.
- W2034643241 hasConceptScore W2034643241C77088390 @default.
- W2034643241 hasConceptScore W2034643241C80444323 @default.
- W2034643241 hasIssue "2" @default.
- W2034643241 hasLocation W20346432411 @default.
- W2034643241 hasOpenAccess W2034643241 @default.
- W2034643241 hasPrimaryLocation W20346432411 @default.
- W2034643241 hasRelatedWork W1981384792 @default.
- W2034643241 hasRelatedWork W2124110813 @default.
- W2034643241 hasRelatedWork W2143050727 @default.
- W2034643241 hasRelatedWork W2234817167 @default.
- W2034643241 hasRelatedWork W2561906579 @default.
- W2034643241 hasRelatedWork W2949352632 @default.
- W2034643241 hasRelatedWork W4232446061 @default.
- W2034643241 hasRelatedWork W4285022830 @default.
- W2034643241 hasRelatedWork W592475739 @default.
- W2034643241 hasRelatedWork W946220898 @default.
- W2034643241 hasVolume "5" @default.
- W2034643241 isParatext "false" @default.
- W2034643241 isRetracted "false" @default.
- W2034643241 magId "2034643241" @default.
- W2034643241 workType "article" @default.