Matches in SemOpenAlex for { <https://semopenalex.org/work/W2072009148> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2072009148 endingPage "77" @default.
- W2072009148 startingPage "77" @default.
- W2072009148 abstract "Dynamic doxastic logicians — not a large community — have trodden gingerly within the area of full DDL or, as with the present author, have not trodden at all. However, the latter, after having written up the final version of [6], realised that the proof given in that paper for two varieties of basic DDL can be extended to cover full DDL; in fact, the «full» proof is simpler than the «basic» one. The extended proof is outlined in Section 1–3. In Section 4, the relationship to AGM is considered. Section 5 puts the importance of the proof into perspective.This note — an extended abstract rather than a full-fledged paper — should be read as an appendix to [6]. Although some definitions are repeated here, many are not. Readers who require more detail are referred to [6], a copy of which they should have on hand." @default.
- W2072009148 created "2016-06-24" @default.
- W2072009148 creator A5038956053 @default.
- W2072009148 date "2004-01-19" @default.
- W2072009148 modified "2023-10-17" @default.
- W2072009148 title "A completeness proof in full DDL" @default.
- W2072009148 cites W1516707668 @default.
- W2072009148 cites W1796077430 @default.
- W2072009148 cites W2108801036 @default.
- W2072009148 cites W2885557725 @default.
- W2072009148 doi "https://doi.org/10.12775/llp.2001.005" @default.
- W2072009148 hasPublicationYear "2004" @default.
- W2072009148 type Work @default.
- W2072009148 sameAs 2072009148 @default.
- W2072009148 citedByCount "6" @default.
- W2072009148 countsByYear W20720091482013 @default.
- W2072009148 countsByYear W20720091482022 @default.
- W2072009148 crossrefType "journal-article" @default.
- W2072009148 hasAuthorship W2072009148A5038956053 @default.
- W2072009148 hasBestOaLocation W20720091481 @default.
- W2072009148 hasConcept C108710211 @default.
- W2072009148 hasConcept C111919701 @default.
- W2072009148 hasConcept C127413603 @default.
- W2072009148 hasConcept C134306372 @default.
- W2072009148 hasConcept C17231256 @default.
- W2072009148 hasConcept C195653647 @default.
- W2072009148 hasConcept C199343813 @default.
- W2072009148 hasConcept C2318724 @default.
- W2072009148 hasConcept C2524010 @default.
- W2072009148 hasConcept C2777686260 @default.
- W2072009148 hasConcept C2780129039 @default.
- W2072009148 hasConcept C2780428219 @default.
- W2072009148 hasConcept C33923547 @default.
- W2072009148 hasConcept C41008148 @default.
- W2072009148 hasConcept C71924100 @default.
- W2072009148 hasConcept C78519656 @default.
- W2072009148 hasConceptScore W2072009148C108710211 @default.
- W2072009148 hasConceptScore W2072009148C111919701 @default.
- W2072009148 hasConceptScore W2072009148C127413603 @default.
- W2072009148 hasConceptScore W2072009148C134306372 @default.
- W2072009148 hasConceptScore W2072009148C17231256 @default.
- W2072009148 hasConceptScore W2072009148C195653647 @default.
- W2072009148 hasConceptScore W2072009148C199343813 @default.
- W2072009148 hasConceptScore W2072009148C2318724 @default.
- W2072009148 hasConceptScore W2072009148C2524010 @default.
- W2072009148 hasConceptScore W2072009148C2777686260 @default.
- W2072009148 hasConceptScore W2072009148C2780129039 @default.
- W2072009148 hasConceptScore W2072009148C2780428219 @default.
- W2072009148 hasConceptScore W2072009148C33923547 @default.
- W2072009148 hasConceptScore W2072009148C41008148 @default.
- W2072009148 hasConceptScore W2072009148C71924100 @default.
- W2072009148 hasConceptScore W2072009148C78519656 @default.
- W2072009148 hasIssue "0" @default.
- W2072009148 hasLocation W20720091481 @default.
- W2072009148 hasOpenAccess W2072009148 @default.
- W2072009148 hasPrimaryLocation W20720091481 @default.
- W2072009148 hasRelatedWork W1492332250 @default.
- W2072009148 hasRelatedWork W1519265079 @default.
- W2072009148 hasRelatedWork W1896053542 @default.
- W2072009148 hasRelatedWork W1991664539 @default.
- W2072009148 hasRelatedWork W2010649834 @default.
- W2072009148 hasRelatedWork W2078790484 @default.
- W2072009148 hasRelatedWork W2081909835 @default.
- W2072009148 hasRelatedWork W2139455935 @default.
- W2072009148 hasRelatedWork W3112266304 @default.
- W2072009148 hasRelatedWork W3157478331 @default.
- W2072009148 hasVolume "9" @default.
- W2072009148 isParatext "false" @default.
- W2072009148 isRetracted "false" @default.
- W2072009148 magId "2072009148" @default.
- W2072009148 workType "article" @default.