FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2048218250> ?p ?o ?g. }

• W2048218250 abstract "The paper investigates the relations between iterate and fixed-point accounts of common belief and common knowledge, using the formal tools of epistemic modal logic. Its main logical contribution is to introduce and axiomatize the following (fixed-point) notion of common belief. We first define a proposition to be belief-closed if everybody believes it in every world where it is true. We then define a proposition to be common belief in a world if it is implied by a belief-closed proposition that everybody believes in that world. Using the belief closure semantics of common belief, the paper proves soundness and completeness theorems for modal logics of varying strength. The weakest system involves a monotonicity assumption on individual belief; the strongest system is based on S5. Axiomatizations of common knowledge are secured by adding the truth axiom to any system. The paper also discusses anticipations of the belief closure semantics in the economic and game-theoretic literatures." @default.
• W2048218250 created "2016-06-24" @default.
• W2048218250 creator A5013667029 @default.
• W2048218250 creator A5046314470 @default.
• W2048218250 date "1995-10-01" @default.
• W2048218250 modified "2023-09-27" @default.
• W2048218250 title "Belief closure: A semantics of common knowledge for modal propositional logic" @default.
• W2048218250 cites W1560972796 @default.
• W2048218250 cites W1588085858 @default.
• W2048218250 cites W1596067335 @default.
• W2048218250 cites W182559252 @default.
• W2048218250 cites W1870572278 @default.
• W2048218250 cites W1995355963 @default.
• W2048218250 cites W2016917647 @default.
• W2048218250 cites W2022205872 @default.
• W2048218250 cites W2034455333 @default.
• W2048218250 cites W2043338986 @default.
• W2048218250 cites W2057500977 @default.
• W2048218250 cites W2063023337 @default.
• W2048218250 cites W2076073997 @default.
• W2048218250 cites W2080591608 @default.
• W2048218250 cites W2106622011 @default.
• W2048218250 cites W2121827343 @default.
• W2048218250 cites W2134190500 @default.
• W2048218250 cites W2142874299 @default.
• W2048218250 cites W2144501579 @default.
• W2048218250 cites W2146819619 @default.
• W2048218250 cites W2148410644 @default.
• W2048218250 cites W2152580418 @default.
• W2048218250 cites W2159753366 @default.
• W2048218250 cites W2163851465 @default.
• W2048218250 cites W2168545489 @default.
• W2048218250 cites W2498314664 @default.
• W2048218250 cites W3124470125 @default.
• W2048218250 cites W884026391 @default.
• W2048218250 doi "https://doi.org/10.1016/0165-4896(95)00785-k" @default.
• W2048218250 hasPublicationYear "1995" @default.
• W2048218250 type Work @default.
• W2048218250 sameAs 2048218250 @default.
• W2048218250 citedByCount "19" @default.
• W2048218250 countsByYear W20482182502012 @default.
• W2048218250 countsByYear W20482182502015 @default.
• W2048218250 countsByYear W20482182502020 @default.
• W2048218250 countsByYear W20482182502021 @default.
• W2048218250 crossrefType "journal-article" @default.
• W2048218250 hasAuthorship W2048218250A5013667029 @default.
• W2048218250 hasAuthorship W2048218250A5046314470 @default.
• W2048218250 hasConcept C107247716 @default.
• W2048218250 hasConcept C111472728 @default.
• W2048218250 hasConcept C11191006 @default.
• W2048218250 hasConcept C114092440 @default.
• W2048218250 hasConcept C118615104 @default.
• W2048218250 hasConcept C128913409 @default.
• W2048218250 hasConcept C138885662 @default.
• W2048218250 hasConcept C144237770 @default.
• W2048218250 hasConcept C146834321 @default.
• W2048218250 hasConcept C154945302 @default.
• W2048218250 hasConcept C162324750 @default.
• W2048218250 hasConcept C167729594 @default.
• W2048218250 hasConcept C173125200 @default.
• W2048218250 hasConcept C185592680 @default.
• W2048218250 hasConcept C188027245 @default.
• W2048218250 hasConcept C192609573 @default.
• W2048218250 hasConcept C199360897 @default.
• W2048218250 hasConcept C2524010 @default.
• W2048218250 hasConcept C27508121 @default.
• W2048218250 hasConcept C2777152325 @default.
• W2048218250 hasConcept C33923547 @default.
• W2048218250 hasConcept C34447519 @default.
• W2048218250 hasConcept C39920170 @default.
• W2048218250 hasConcept C41008148 @default.
• W2048218250 hasConcept C69562738 @default.
• W2048218250 hasConcept C71139939 @default.
• W2048218250 hasConcept C78344899 @default.
• W2048218250 hasConceptScore W2048218250C107247716 @default.
• W2048218250 hasConceptScore W2048218250C111472728 @default.
• W2048218250 hasConceptScore W2048218250C11191006 @default.
• W2048218250 hasConceptScore W2048218250C114092440 @default.
• W2048218250 hasConceptScore W2048218250C118615104 @default.
• W2048218250 hasConceptScore W2048218250C128913409 @default.
• W2048218250 hasConceptScore W2048218250C138885662 @default.
• W2048218250 hasConceptScore W2048218250C144237770 @default.
• W2048218250 hasConceptScore W2048218250C146834321 @default.
• W2048218250 hasConceptScore W2048218250C154945302 @default.
• W2048218250 hasConceptScore W2048218250C162324750 @default.
• W2048218250 hasConceptScore W2048218250C167729594 @default.
• W2048218250 hasConceptScore W2048218250C173125200 @default.
• W2048218250 hasConceptScore W2048218250C185592680 @default.
• W2048218250 hasConceptScore W2048218250C188027245 @default.
• W2048218250 hasConceptScore W2048218250C192609573 @default.
• W2048218250 hasConceptScore W2048218250C199360897 @default.
• W2048218250 hasConceptScore W2048218250C2524010 @default.
• W2048218250 hasConceptScore W2048218250C27508121 @default.
• W2048218250 hasConceptScore W2048218250C2777152325 @default.
• W2048218250 hasConceptScore W2048218250C33923547 @default.
• W2048218250 hasConceptScore W2048218250C34447519 @default.
• W2048218250 hasConceptScore W2048218250C39920170 @default.
• W2048218250 hasConceptScore W2048218250C41008148 @default.
• W2048218250 hasConceptScore W2048218250C69562738 @default.
• W2048218250 hasConceptScore W2048218250C71139939 @default.

• next