FRINK Linked Data Fragments server

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

• W2080591608 endingPage "106" @default.
• W2080591608 startingPage "75" @default.
• W2080591608 abstract "The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge — whether individual or common — is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in Sections 3 and 4, respectively. It is recalled that Aumann's partitional model of CK is a particular case of a definition in terms of Kripke structures. The paper also restates the well-known fact that Kripke structures can be regarded as particular cases of neighbourhood structures. Section 3 reviews the soundness and completeness theorems proved w.r.t. the former structures by Fagin, Halpern, Moses and Vardi, as well as related results by Lismont. Section 4 reviews the corresponding theorems derived w.r.t. the latter structures by Lismont and Mongin. A general conclusion of the paper is that the axiomatization of CB does not require as strong systems of individual belief as was originally thought — onlymonotonicity has thusfar proved indispensable. Section 5 explains another consequence of general relevance: despite the “infinitary” nature of CB, the axiom systems of this paper admit of effective decision procedures, i.e., they aredecidable in the logician's sense." @default.
• W2080591608 created "2016-06-24" @default.
• W2080591608 creator A5013667029 @default.
• W2080591608 creator A5046314470 @default.
• W2080591608 date "1994-07-01" @default.
• W2080591608 modified "2023-09-27" @default.
• W2080591608 title "On the logic of common belief and common knowledge" @default.
• W2080591608 cites W1188559744 @default.
• W2080591608 cites W1966129247 @default.
• W2080591608 cites W1974273701 @default.
• W2080591608 cites W1991225651 @default.
• W2080591608 cites W1995355963 @default.
• W2080591608 cites W2006553348 @default.
• W2080591608 cites W2009844825 @default.
• W2080591608 cites W2022205872 @default.
• W2080591608 cites W2026387762 @default.
• W2080591608 cites W2027091950 @default.
• W2080591608 cites W2038339254 @default.
• W2080591608 cites W2043338986 @default.
• W2080591608 cites W2057500977 @default.
• W2080591608 cites W2058647021 @default.
• W2080591608 cites W2062567558 @default.
• W2080591608 cites W2063023337 @default.
• W2080591608 cites W2072770068 @default.
• W2080591608 cites W2076073997 @default.
• W2080591608 cites W2078643471 @default.
• W2080591608 cites W2079303982 @default.
• W2080591608 cites W2080666022 @default.
• W2080591608 cites W2086825407 @default.
• W2080591608 cites W2092577844 @default.
• W2080591608 cites W2106622011 @default.
• W2080591608 cites W2118929276 @default.
• W2080591608 cites W2127554421 @default.
• W2080591608 cites W2134190500 @default.
• W2080591608 cites W2142874299 @default.
• W2080591608 cites W2168545489 @default.
• W2080591608 cites W2265040937 @default.
• W2080591608 cites W2989931144 @default.
• W2080591608 cites W4240095344 @default.
• W2080591608 cites W4242309855 @default.
• W2080591608 cites W4245945597 @default.
• W2080591608 cites W4250447992 @default.
• W2080591608 cites W4255605937 @default.
• W2080591608 cites W79819859 @default.
• W2080591608 doi "https://doi.org/10.1007/bf01079206" @default.
• W2080591608 hasPublicationYear "1994" @default.
• W2080591608 type Work @default.
• W2080591608 sameAs 2080591608 @default.
• W2080591608 citedByCount "65" @default.
• W2080591608 countsByYear W20805916082012 @default.
• W2080591608 countsByYear W20805916082013 @default.
• W2080591608 countsByYear W20805916082015 @default.
• W2080591608 countsByYear W20805916082017 @default.
• W2080591608 countsByYear W20805916082018 @default.
• W2080591608 countsByYear W20805916082019 @default.
• W2080591608 countsByYear W20805916082020 @default.
• W2080591608 countsByYear W20805916082021 @default.
• W2080591608 crossrefType "journal-article" @default.
• W2080591608 hasAuthorship W2080591608A5013667029 @default.
• W2080591608 hasAuthorship W2080591608A5046314470 @default.
• W2080591608 hasBestOaLocation W20805916082 @default.
• W2080591608 hasConcept C111472728 @default.
• W2080591608 hasConcept C111919701 @default.
• W2080591608 hasConcept C118615104 @default.
• W2080591608 hasConcept C128913409 @default.
• W2080591608 hasConcept C134306372 @default.
• W2080591608 hasConcept C138885662 @default.
• W2080591608 hasConcept C144237770 @default.
• W2080591608 hasConcept C154945302 @default.
• W2080591608 hasConcept C160131679 @default.
• W2080591608 hasConcept C167729594 @default.
• W2080591608 hasConcept C17231256 @default.
• W2080591608 hasConcept C185592680 @default.
• W2080591608 hasConcept C188027245 @default.
• W2080591608 hasConcept C199343813 @default.
• W2080591608 hasConcept C2524010 @default.
• W2080591608 hasConcept C27508121 @default.
• W2080591608 hasConcept C2777686260 @default.
• W2080591608 hasConcept C2780129039 @default.
• W2080591608 hasConcept C33923547 @default.
• W2080591608 hasConcept C39920170 @default.
• W2080591608 hasConcept C41008148 @default.
• W2080591608 hasConcept C41895202 @default.
• W2080591608 hasConcept C60048249 @default.
• W2080591608 hasConcept C71139939 @default.
• W2080591608 hasConcept C71924100 @default.
• W2080591608 hasConceptScore W2080591608C111472728 @default.
• W2080591608 hasConceptScore W2080591608C111919701 @default.
• W2080591608 hasConceptScore W2080591608C118615104 @default.
• W2080591608 hasConceptScore W2080591608C128913409 @default.
• W2080591608 hasConceptScore W2080591608C134306372 @default.
• W2080591608 hasConceptScore W2080591608C138885662 @default.
• W2080591608 hasConceptScore W2080591608C144237770 @default.
• W2080591608 hasConceptScore W2080591608C154945302 @default.
• W2080591608 hasConceptScore W2080591608C160131679 @default.
• W2080591608 hasConceptScore W2080591608C167729594 @default.
• W2080591608 hasConceptScore W2080591608C17231256 @default.
• W2080591608 hasConceptScore W2080591608C185592680 @default.

• next