Matches in SemOpenAlex for { <https://semopenalex.org/work/W51832705> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W51832705 endingPage "76" @default.
- W51832705 startingPage "62" @default.
- W51832705 abstract "AbstractTwo important classic results about modal expressivity are the Characterization and Definability theorems. We develop a general theory for modal logics below first order (in terms of expressivity) which exposes the following result: Characterization and Definability theorems hold for every (reasonable) modal logic whose ω models have the Hennessy-Milner property. The results are presented in a general version which is relativized to classes of models.KeywordsModal LogicTemporal LogicKripke ModelModal LanguageOrder FormulaThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W51832705 created "2016-06-24" @default.
- W51832705 creator A5046118099 @default.
- W51832705 date "2011-01-01" @default.
- W51832705 modified "2023-09-25" @default.
- W51832705 title "On Characterization, Definability and ω-Saturated Models" @default.
- W51832705 cites W1805258570 @default.
- W51832705 cites W2015640848 @default.
- W51832705 cites W2052267452 @default.
- W51832705 cites W2109102460 @default.
- W51832705 cites W2116322260 @default.
- W51832705 cites W2143434754 @default.
- W51832705 cites W2147756013 @default.
- W51832705 cites W2153417525 @default.
- W51832705 cites W2164389533 @default.
- W51832705 cites W4211144022 @default.
- W51832705 doi "https://doi.org/10.1007/978-3-642-23283-1_7" @default.
- W51832705 hasPublicationYear "2011" @default.
- W51832705 type Work @default.
- W51832705 sameAs 51832705 @default.
- W51832705 citedByCount "1" @default.
- W51832705 countsByYear W518327052014 @default.
- W51832705 crossrefType "book-chapter" @default.
- W51832705 hasAuthorship W51832705A5046118099 @default.
- W51832705 hasConcept C111472728 @default.
- W51832705 hasConcept C11413529 @default.
- W51832705 hasConcept C118615104 @default.
- W51832705 hasConcept C136119220 @default.
- W51832705 hasConcept C138885662 @default.
- W51832705 hasConcept C171250308 @default.
- W51832705 hasConcept C185592680 @default.
- W51832705 hasConcept C188027245 @default.
- W51832705 hasConcept C189950617 @default.
- W51832705 hasConcept C192562407 @default.
- W51832705 hasConcept C202444582 @default.
- W51832705 hasConcept C27508121 @default.
- W51832705 hasConcept C2780841128 @default.
- W51832705 hasConcept C33923547 @default.
- W51832705 hasConcept C41008148 @default.
- W51832705 hasConcept C54355233 @default.
- W51832705 hasConcept C71139939 @default.
- W51832705 hasConcept C80444323 @default.
- W51832705 hasConcept C86803240 @default.
- W51832705 hasConcept C92811239 @default.
- W51832705 hasConceptScore W51832705C111472728 @default.
- W51832705 hasConceptScore W51832705C11413529 @default.
- W51832705 hasConceptScore W51832705C118615104 @default.
- W51832705 hasConceptScore W51832705C136119220 @default.
- W51832705 hasConceptScore W51832705C138885662 @default.
- W51832705 hasConceptScore W51832705C171250308 @default.
- W51832705 hasConceptScore W51832705C185592680 @default.
- W51832705 hasConceptScore W51832705C188027245 @default.
- W51832705 hasConceptScore W51832705C189950617 @default.
- W51832705 hasConceptScore W51832705C192562407 @default.
- W51832705 hasConceptScore W51832705C202444582 @default.
- W51832705 hasConceptScore W51832705C27508121 @default.
- W51832705 hasConceptScore W51832705C2780841128 @default.
- W51832705 hasConceptScore W51832705C33923547 @default.
- W51832705 hasConceptScore W51832705C41008148 @default.
- W51832705 hasConceptScore W51832705C54355233 @default.
- W51832705 hasConceptScore W51832705C71139939 @default.
- W51832705 hasConceptScore W51832705C80444323 @default.
- W51832705 hasConceptScore W51832705C86803240 @default.
- W51832705 hasConceptScore W51832705C92811239 @default.
- W51832705 hasLocation W518327051 @default.
- W51832705 hasOpenAccess W51832705 @default.
- W51832705 hasPrimaryLocation W518327051 @default.
- W51832705 hasRelatedWork W1509441924 @default.
- W51832705 hasRelatedWork W1515412030 @default.
- W51832705 hasRelatedWork W1537541219 @default.
- W51832705 hasRelatedWork W1975172181 @default.
- W51832705 hasRelatedWork W1987356025 @default.
- W51832705 hasRelatedWork W2004665970 @default.
- W51832705 hasRelatedWork W2039904055 @default.
- W51832705 hasRelatedWork W2054834413 @default.
- W51832705 hasRelatedWork W2071208838 @default.
- W51832705 hasRelatedWork W2082558313 @default.
- W51832705 hasRelatedWork W2116164700 @default.
- W51832705 hasRelatedWork W2132248541 @default.
- W51832705 hasRelatedWork W2142018979 @default.
- W51832705 hasRelatedWork W2549709684 @default.
- W51832705 hasRelatedWork W2733196847 @default.
- W51832705 hasRelatedWork W2738171453 @default.
- W51832705 hasRelatedWork W2997148829 @default.
- W51832705 hasRelatedWork W3021130237 @default.
- W51832705 hasRelatedWork W3122667086 @default.
- W51832705 hasRelatedWork W590683380 @default.
- W51832705 isParatext "false" @default.
- W51832705 isRetracted "false" @default.
- W51832705 magId "51832705" @default.
- W51832705 workType "book-chapter" @default.