Matches in SemOpenAlex for { <https://semopenalex.org/work/W3125645246> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W3125645246 endingPage "60" @default.
- W3125645246 startingPage "60" @default.
- W3125645246 abstract "The paper axiomatizes individual and common belief by means of modal propositional logic systems of varying strength. The weakest system of all just requires the monotonicity of individual belief on top of the axiom and rules of common belief. It is proved to be sound and complete with respect to a specially devised variant of neighbourhood semantiC's. The remaining systems include a K-system for each individual. They are shown to be sound and complete with respect to suitable variants of Kripke semantics. The specific features of either neighbourhood or Kripke semantics in this paper relate to the validation clause for common belief. Informally, we define a proposition to be belief closed if everybody believes it at every world where it is true, and we define a proposition to be common belief at a world if it is implied by a belief closed proposition that everybody believes at that particular world. This fixed-point or circular account of common belief is seen to imply the more standard iterate account in terms of countably infinite sequences of share beliefs. Axiomatizations of common knowledge can be secured by adding the truth axiom of individual belief to any system. The paper also briefly discusses game-theoretic papers which anticipated the belief closure semantics." @default.
- W3125645246 created "2021-02-01" @default.
- W3125645246 creator A5013667029 @default.
- W3125645246 creator A5046314470 @default.
- W3125645246 date "1996-02-01" @default.
- W3125645246 modified "2023-09-27" @default.
- W3125645246 title "Belief closure: A semantics of common knowledge for modal propositional logic" @default.
- W3125645246 doi "https://doi.org/10.1016/0165-4896(96)88688-4" @default.
- W3125645246 hasPublicationYear "1996" @default.
- W3125645246 type Work @default.
- W3125645246 sameAs 3125645246 @default.
- W3125645246 citedByCount "0" @default.
- W3125645246 crossrefType "journal-article" @default.
- W3125645246 hasAuthorship W3125645246A5013667029 @default.
- W3125645246 hasAuthorship W3125645246A5046314470 @default.
- W3125645246 hasConcept C102993220 @default.
- W3125645246 hasConcept C111472728 @default.
- W3125645246 hasConcept C11191006 @default.
- W3125645246 hasConcept C114092440 @default.
- W3125645246 hasConcept C118615104 @default.
- W3125645246 hasConcept C128913409 @default.
- W3125645246 hasConcept C136172866 @default.
- W3125645246 hasConcept C138885662 @default.
- W3125645246 hasConcept C144237770 @default.
- W3125645246 hasConcept C146834321 @default.
- W3125645246 hasConcept C154945302 @default.
- W3125645246 hasConcept C160131679 @default.
- W3125645246 hasConcept C162324750 @default.
- W3125645246 hasConcept C167729594 @default.
- W3125645246 hasConcept C185592680 @default.
- W3125645246 hasConcept C188027245 @default.
- W3125645246 hasConcept C192609573 @default.
- W3125645246 hasConcept C203659156 @default.
- W3125645246 hasConcept C2524010 @default.
- W3125645246 hasConcept C27508121 @default.
- W3125645246 hasConcept C2777152325 @default.
- W3125645246 hasConcept C33923547 @default.
- W3125645246 hasConcept C34447519 @default.
- W3125645246 hasConcept C41008148 @default.
- W3125645246 hasConcept C69562738 @default.
- W3125645246 hasConcept C71139939 @default.
- W3125645246 hasConcept C78344899 @default.
- W3125645246 hasConceptScore W3125645246C102993220 @default.
- W3125645246 hasConceptScore W3125645246C111472728 @default.
- W3125645246 hasConceptScore W3125645246C11191006 @default.
- W3125645246 hasConceptScore W3125645246C114092440 @default.
- W3125645246 hasConceptScore W3125645246C118615104 @default.
- W3125645246 hasConceptScore W3125645246C128913409 @default.
- W3125645246 hasConceptScore W3125645246C136172866 @default.
- W3125645246 hasConceptScore W3125645246C138885662 @default.
- W3125645246 hasConceptScore W3125645246C144237770 @default.
- W3125645246 hasConceptScore W3125645246C146834321 @default.
- W3125645246 hasConceptScore W3125645246C154945302 @default.
- W3125645246 hasConceptScore W3125645246C160131679 @default.
- W3125645246 hasConceptScore W3125645246C162324750 @default.
- W3125645246 hasConceptScore W3125645246C167729594 @default.
- W3125645246 hasConceptScore W3125645246C185592680 @default.
- W3125645246 hasConceptScore W3125645246C188027245 @default.
- W3125645246 hasConceptScore W3125645246C192609573 @default.
- W3125645246 hasConceptScore W3125645246C203659156 @default.
- W3125645246 hasConceptScore W3125645246C2524010 @default.
- W3125645246 hasConceptScore W3125645246C27508121 @default.
- W3125645246 hasConceptScore W3125645246C2777152325 @default.
- W3125645246 hasConceptScore W3125645246C33923547 @default.
- W3125645246 hasConceptScore W3125645246C34447519 @default.
- W3125645246 hasConceptScore W3125645246C41008148 @default.
- W3125645246 hasConceptScore W3125645246C69562738 @default.
- W3125645246 hasConceptScore W3125645246C71139939 @default.
- W3125645246 hasConceptScore W3125645246C78344899 @default.
- W3125645246 hasIssue "1" @default.
- W3125645246 hasLocation W31256452461 @default.
- W3125645246 hasOpenAccess W3125645246 @default.
- W3125645246 hasPrimaryLocation W31256452461 @default.
- W3125645246 hasRelatedWork W127160249 @default.
- W3125645246 hasRelatedWork W1513206452 @default.
- W3125645246 hasRelatedWork W1565500697 @default.
- W3125645246 hasRelatedWork W1606957991 @default.
- W3125645246 hasRelatedWork W1875688808 @default.
- W3125645246 hasRelatedWork W1972603077 @default.
- W3125645246 hasRelatedWork W2118259444 @default.
- W3125645246 hasRelatedWork W2131236983 @default.
- W3125645246 hasRelatedWork W2162361048 @default.
- W3125645246 hasRelatedWork W2299748756 @default.
- W3125645246 hasRelatedWork W2336944602 @default.
- W3125645246 hasRelatedWork W2478544889 @default.
- W3125645246 hasRelatedWork W2509227549 @default.
- W3125645246 hasRelatedWork W2786830778 @default.
- W3125645246 hasRelatedWork W2963319159 @default.
- W3125645246 hasRelatedWork W3105478455 @default.
- W3125645246 hasRelatedWork W3122666266 @default.
- W3125645246 hasRelatedWork W3141037342 @default.
- W3125645246 hasRelatedWork W3198736134 @default.
- W3125645246 hasRelatedWork W616110263 @default.
- W3125645246 hasVolume "31" @default.
- W3125645246 isParatext "false" @default.
- W3125645246 isRetracted "false" @default.
- W3125645246 magId "3125645246" @default.
- W3125645246 workType "article" @default.