SemOpenAlex |

SemOpenAlex

Matches in SemOpenAlex for { <https://semopenalex.org/work/W184949612> ?p ?o ?g. }

Showing items 1 to 100 of ±107 with 100 items per page.

W184949612 endingPage "18" @default.
W184949612 startingPage "3" @default.
W184949612 created "2016-06-24" @default.
W184949612 creator A5016401353 @default.
W184949612 creator A5036125442 @default.
W184949612 creator A5046933752 @default.
W184949612 creator A5072064821 @default.
W184949612 date "2012-01-01" @default.
W184949612 modified "2023-10-02" @default.
W184949612 title "Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization" @default.
W184949612 cites W1530308835 @default.
W184949612 cites W1534292130 @default.
W184949612 cites W1574178290 @default.
W184949612 cites W1964167160 @default.
W184949612 cites W1984691540 @default.
W184949612 cites W2009328505 @default.
W184949612 cites W2010883554 @default.
W184949612 cites W2013498034 @default.
W184949612 cites W2063163522 @default.
W184949612 cites W2084608278 @default.
W184949612 cites W2106093889 @default.
W184949612 cites W2118400687 @default.
W184949612 cites W2158867151 @default.
W184949612 cites W2973533397 @default.
W184949612 cites W41095567 @default.
W184949612 doi "https://doi.org/10.1007/978-3-642-33296-8_3" @default.
W184949612 hasPublicationYear "2012" @default.
W184949612 type Work @default.
W184949612 sameAs 184949612 @default.
W184949612 citedByCount "1" @default.
W184949612 countsByYear W1849496122015 @default.
W184949612 crossrefType "book-chapter" @default.
W184949612 hasAuthorship W184949612A5016401353 @default.
W184949612 hasAuthorship W184949612A5036125442 @default.
W184949612 hasAuthorship W184949612A5046933752 @default.
W184949612 hasAuthorship W184949612A5072064821 @default.
W184949612 hasConcept C110251889 @default.
W184949612 hasConcept C111472728 @default.
W184949612 hasConcept C11413529 @default.
W184949612 hasConcept C118615104 @default.
W184949612 hasConcept C121332964 @default.
W184949612 hasConcept C138885662 @default.
W184949612 hasConcept C153269930 @default.
W184949612 hasConcept C162838799 @default.
W184949612 hasConcept C165801399 @default.
W184949612 hasConcept C171250308 @default.
W184949612 hasConcept C172385210 @default.
W184949612 hasConcept C192562407 @default.
W184949612 hasConcept C198008173 @default.
W184949612 hasConcept C199343813 @default.
W184949612 hasConcept C199360897 @default.
W184949612 hasConcept C25016198 @default.
W184949612 hasConcept C2777686260 @default.
W184949612 hasConcept C2777796570 @default.
W184949612 hasConcept C2780841128 @default.
W184949612 hasConcept C33923547 @default.
W184949612 hasConcept C41008148 @default.
W184949612 hasConcept C4777664 @default.
W184949612 hasConcept C62520636 @default.
W184949612 hasConcept C6377922 @default.
W184949612 hasConcept C69562738 @default.
W184949612 hasConcept C71924100 @default.
W184949612 hasConcept C80444323 @default.
W184949612 hasConceptScore W184949612C110251889 @default.
W184949612 hasConceptScore W184949612C111472728 @default.
W184949612 hasConceptScore W184949612C11413529 @default.
W184949612 hasConceptScore W184949612C118615104 @default.
W184949612 hasConceptScore W184949612C121332964 @default.
W184949612 hasConceptScore W184949612C138885662 @default.
W184949612 hasConceptScore W184949612C153269930 @default.
W184949612 hasConceptScore W184949612C162838799 @default.
W184949612 hasConceptScore W184949612C165801399 @default.
W184949612 hasConceptScore W184949612C171250308 @default.
W184949612 hasConceptScore W184949612C172385210 @default.
W184949612 hasConceptScore W184949612C192562407 @default.
W184949612 hasConceptScore W184949612C198008173 @default.
W184949612 hasConceptScore W184949612C199343813 @default.
W184949612 hasConceptScore W184949612C199360897 @default.
W184949612 hasConceptScore W184949612C25016198 @default.
W184949612 hasConceptScore W184949612C2777686260 @default.
W184949612 hasConceptScore W184949612C2777796570 @default.
W184949612 hasConceptScore W184949612C2780841128 @default.
W184949612 hasConceptScore W184949612C33923547 @default.
W184949612 hasConceptScore W184949612C41008148 @default.
W184949612 hasConceptScore W184949612C4777664 @default.
W184949612 hasConceptScore W184949612C62520636 @default.
W184949612 hasConceptScore W184949612C6377922 @default.
W184949612 hasConceptScore W184949612C69562738 @default.
W184949612 hasConceptScore W184949612C71924100 @default.
W184949612 hasConceptScore W184949612C80444323 @default.
W184949612 hasLocation W1849496121 @default.
W184949612 hasOpenAccess W184949612 @default.
W184949612 hasPrimaryLocation W1849496121 @default.
W184949612 hasRelatedWork W1543261728 @default.
W184949612 hasRelatedWork W1816240867 @default.
W184949612 hasRelatedWork W184949612 @default.
W184949612 hasRelatedWork W2048285884 @default.
W184949612 hasRelatedWork W2099776859 @default.
W184949612 hasRelatedWork W2283260145 @default.
W184949612 hasRelatedWork W2404427064 @default.