Matches in SemOpenAlex for { <https://semopenalex.org/work/W1559028082> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1559028082 abstract "This note provides a proof that the formula L(Ex)( Fx & ~LFx) is not equivalent to any first degree formula in the context of the quantified version of the modal logic S5. This solves a problem posed by Max Cresswell." @default.
- W1559028082 created "2016-06-24" @default.
- W1559028082 creator A5057218145 @default.
- W1559028082 date "2015-07-20" @default.
- W1559028082 modified "2023-09-27" @default.
- W1559028082 title "First degree formulas in quantified S5" @default.
- W1559028082 cites W1483655485 @default.
- W1559028082 cites W1555138513 @default.
- W1559028082 cites W1759871617 @default.
- W1559028082 cites W2090086476 @default.
- W1559028082 cites W2149747391 @default.
- W1559028082 cites W2163751633 @default.
- W1559028082 cites W22110506 @default.
- W1559028082 cites W2396928407 @default.
- W1559028082 doi "https://doi.org/10.26686/ajl.v12i5.3891" @default.
- W1559028082 hasPublicationYear "2015" @default.
- W1559028082 type Work @default.
- W1559028082 sameAs 1559028082 @default.
- W1559028082 citedByCount "3" @default.
- W1559028082 countsByYear W15590280822017 @default.
- W1559028082 countsByYear W15590280822021 @default.
- W1559028082 crossrefType "journal-article" @default.
- W1559028082 hasAuthorship W1559028082A5057218145 @default.
- W1559028082 hasConcept C11413529 @default.
- W1559028082 hasConcept C121332964 @default.
- W1559028082 hasConcept C136119220 @default.
- W1559028082 hasConcept C166957645 @default.
- W1559028082 hasConcept C185592680 @default.
- W1559028082 hasConcept C188027245 @default.
- W1559028082 hasConcept C199343813 @default.
- W1559028082 hasConcept C202444582 @default.
- W1559028082 hasConcept C205649164 @default.
- W1559028082 hasConcept C24890656 @default.
- W1559028082 hasConcept C27508121 @default.
- W1559028082 hasConcept C2775997480 @default.
- W1559028082 hasConcept C2777686260 @default.
- W1559028082 hasConcept C2779343474 @default.
- W1559028082 hasConcept C33923547 @default.
- W1559028082 hasConcept C71139939 @default.
- W1559028082 hasConcept C71924100 @default.
- W1559028082 hasConceptScore W1559028082C11413529 @default.
- W1559028082 hasConceptScore W1559028082C121332964 @default.
- W1559028082 hasConceptScore W1559028082C136119220 @default.
- W1559028082 hasConceptScore W1559028082C166957645 @default.
- W1559028082 hasConceptScore W1559028082C185592680 @default.
- W1559028082 hasConceptScore W1559028082C188027245 @default.
- W1559028082 hasConceptScore W1559028082C199343813 @default.
- W1559028082 hasConceptScore W1559028082C202444582 @default.
- W1559028082 hasConceptScore W1559028082C205649164 @default.
- W1559028082 hasConceptScore W1559028082C24890656 @default.
- W1559028082 hasConceptScore W1559028082C27508121 @default.
- W1559028082 hasConceptScore W1559028082C2775997480 @default.
- W1559028082 hasConceptScore W1559028082C2777686260 @default.
- W1559028082 hasConceptScore W1559028082C2779343474 @default.
- W1559028082 hasConceptScore W1559028082C33923547 @default.
- W1559028082 hasConceptScore W1559028082C71139939 @default.
- W1559028082 hasConceptScore W1559028082C71924100 @default.
- W1559028082 hasIssue "5" @default.
- W1559028082 hasLocation W15590280821 @default.
- W1559028082 hasOpenAccess W1559028082 @default.
- W1559028082 hasPrimaryLocation W15590280821 @default.
- W1559028082 hasRelatedWork W2067687795 @default.
- W1559028082 hasRelatedWork W2540322980 @default.
- W1559028082 hasRelatedWork W2962420748 @default.
- W1559028082 hasRelatedWork W3205223140 @default.
- W1559028082 hasRelatedWork W4226055581 @default.
- W1559028082 hasRelatedWork W4256443165 @default.
- W1559028082 hasRelatedWork W4294810627 @default.
- W1559028082 hasRelatedWork W87163171 @default.
- W1559028082 hasRelatedWork W4286903732 @default.
- W1559028082 hasRelatedWork W46061460 @default.
- W1559028082 hasVolume "12" @default.
- W1559028082 isParatext "false" @default.
- W1559028082 isRetracted "false" @default.
- W1559028082 magId "1559028082" @default.
- W1559028082 workType "article" @default.