Matches in SemOpenAlex for { <https://semopenalex.org/work/W7834247> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W7834247 endingPage "228" @default.
- W7834247 startingPage "221" @default.
- W7834247 abstract "The formula (†) above is shown not to be first-order defin- able. The result is obtained by complicating the construction introduced in (4). Two motivations are given for why the question of the first-order definability of (†) matters, one from theoretical considerations relating to modal logic, the other from applications of modal logic to philosophy, namely logic of ability. Finally a comparison with a cognate notion in the literature is given." @default.
- W7834247 created "2016-06-24" @default.
- W7834247 creator A5072181770 @default.
- W7834247 date "2007-01-01" @default.
- W7834247 modified "2023-09-23" @default.
- W7834247 title "The Modal Formula (...) Is Not First-Order Definable." @default.
- W7834247 cites W2019891739 @default.
- W7834247 cites W2076644510 @default.
- W7834247 cites W2125664676 @default.
- W7834247 cites W2610670723 @default.
- W7834247 hasPublicationYear "2007" @default.
- W7834247 type Work @default.
- W7834247 sameAs 7834247 @default.
- W7834247 citedByCount "0" @default.
- W7834247 crossrefType "proceedings-article" @default.
- W7834247 hasAuthorship W7834247A5072181770 @default.
- W7834247 hasConcept C10138342 @default.
- W7834247 hasConcept C102993220 @default.
- W7834247 hasConcept C107247716 @default.
- W7834247 hasConcept C11191006 @default.
- W7834247 hasConcept C114092440 @default.
- W7834247 hasConcept C119599485 @default.
- W7834247 hasConcept C127413603 @default.
- W7834247 hasConcept C136119220 @default.
- W7834247 hasConcept C162324750 @default.
- W7834247 hasConcept C165801399 @default.
- W7834247 hasConcept C172385210 @default.
- W7834247 hasConcept C173125200 @default.
- W7834247 hasConcept C182306322 @default.
- W7834247 hasConcept C185592680 @default.
- W7834247 hasConcept C188027245 @default.
- W7834247 hasConcept C192609573 @default.
- W7834247 hasConcept C199343813 @default.
- W7834247 hasConcept C202444582 @default.
- W7834247 hasConcept C203659156 @default.
- W7834247 hasConcept C27508121 @default.
- W7834247 hasConcept C2777686260 @default.
- W7834247 hasConcept C2777796570 @default.
- W7834247 hasConcept C33923547 @default.
- W7834247 hasConcept C41008148 @default.
- W7834247 hasConcept C71139939 @default.
- W7834247 hasConcept C71924100 @default.
- W7834247 hasConcept C80444323 @default.
- W7834247 hasConceptScore W7834247C10138342 @default.
- W7834247 hasConceptScore W7834247C102993220 @default.
- W7834247 hasConceptScore W7834247C107247716 @default.
- W7834247 hasConceptScore W7834247C11191006 @default.
- W7834247 hasConceptScore W7834247C114092440 @default.
- W7834247 hasConceptScore W7834247C119599485 @default.
- W7834247 hasConceptScore W7834247C127413603 @default.
- W7834247 hasConceptScore W7834247C136119220 @default.
- W7834247 hasConceptScore W7834247C162324750 @default.
- W7834247 hasConceptScore W7834247C165801399 @default.
- W7834247 hasConceptScore W7834247C172385210 @default.
- W7834247 hasConceptScore W7834247C173125200 @default.
- W7834247 hasConceptScore W7834247C182306322 @default.
- W7834247 hasConceptScore W7834247C185592680 @default.
- W7834247 hasConceptScore W7834247C188027245 @default.
- W7834247 hasConceptScore W7834247C192609573 @default.
- W7834247 hasConceptScore W7834247C199343813 @default.
- W7834247 hasConceptScore W7834247C202444582 @default.
- W7834247 hasConceptScore W7834247C203659156 @default.
- W7834247 hasConceptScore W7834247C27508121 @default.
- W7834247 hasConceptScore W7834247C2777686260 @default.
- W7834247 hasConceptScore W7834247C2777796570 @default.
- W7834247 hasConceptScore W7834247C33923547 @default.
- W7834247 hasConceptScore W7834247C41008148 @default.
- W7834247 hasConceptScore W7834247C71139939 @default.
- W7834247 hasConceptScore W7834247C71924100 @default.
- W7834247 hasConceptScore W7834247C80444323 @default.
- W7834247 hasLocation W78342471 @default.
- W7834247 hasOpenAccess W7834247 @default.
- W7834247 hasPrimaryLocation W78342471 @default.
- W7834247 hasRelatedWork W155159253 @default.
- W7834247 hasRelatedWork W1552614823 @default.
- W7834247 hasRelatedWork W1975214263 @default.
- W7834247 hasRelatedWork W2008685607 @default.
- W7834247 hasRelatedWork W2019891739 @default.
- W7834247 hasRelatedWork W2033475607 @default.
- W7834247 hasRelatedWork W2062669557 @default.
- W7834247 hasRelatedWork W2104975913 @default.
- W7834247 hasRelatedWork W2120980296 @default.
- W7834247 hasRelatedWork W2143620943 @default.
- W7834247 hasRelatedWork W2181850024 @default.
- W7834247 hasRelatedWork W2184080646 @default.
- W7834247 hasRelatedWork W2187936207 @default.
- W7834247 hasRelatedWork W2479875366 @default.
- W7834247 hasRelatedWork W24908219 @default.
- W7834247 hasRelatedWork W2788276321 @default.
- W7834247 hasRelatedWork W29657123 @default.
- W7834247 hasRelatedWork W3096705509 @default.
- W7834247 hasRelatedWork W400853949 @default.
- W7834247 hasRelatedWork W5268957 @default.
- W7834247 isParatext "false" @default.
- W7834247 isRetracted "false" @default.
- W7834247 magId "7834247" @default.
- W7834247 workType "article" @default.