FRINK Linked Data Fragments server

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

• W1531751116 endingPage "490" @default.
• W1531751116 startingPage "480" @default.
• W1531751116 abstract "We review and re-examine possible-worlds semantics for propositional logics of knowledge and belief with four particular points of emphasis: (1) we show how general techniques for finding decision procedures and complete axiomatizations apply to models for knowledge and belief, (2) we show how sensitive the difficulty of the decision procedure is to such issues as the choice of modal operators and the axiom system, (3) we discuss how notions of common knowledge and implicit knowledge among a group of agents fit into the possible-worlds framework, and (4) we consider to what extent the possible-worlds approach is a viable one for modelling knowledge and belief. As far as complexity is concerned, we show among other results that while the problem of deciding satisfiability of an S5 formula with one knower is NP-complete, the problem for many knowers is PSPACE-complete. Adding an implicit knowledge operator does not change the complexity substantially, but once a common knowledge operator is added to the language, the problem becomes complete for exponential time." @default.
• W1531751116 created "2016-06-24" @default.
• W1531751116 creator A5005055897 @default.
• W1531751116 creator A5087025582 @default.
• W1531751116 date "1985-08-18" @default.
• W1531751116 modified "2023-09-24" @default.
• W1531751116 title "A guide to the modal logics of knowledge and belief: preliminary draft" @default.
• W1531751116 cites W145304015 @default.
• W1531751116 cites W1519329408 @default.
• W1531751116 cites W1545815294 @default.
• W1531751116 cites W1992670332 @default.
• W1531751116 cites W2002089154 @default.
• W1531751116 cites W2009844825 @default.
• W1531751116 cites W2034576617 @default.
• W1531751116 cites W2036265926 @default.
• W1531751116 cites W2053068495 @default.
• W1531751116 cites W2066949643 @default.
• W1531751116 cites W2067441543 @default.
• W1531751116 cites W2069709605 @default.
• W1531751116 cites W2073491323 @default.
• W1531751116 cites W2088135982 @default.
• W1531751116 cites W2127554421 @default.
• W1531751116 cites W2138162238 @default.
• W1531751116 cites W2148717074 @default.
• W1531751116 cites W2163751633 @default.
• W1531751116 cites W2294404229 @default.
• W1531751116 cites W3194490641 @default.
• W1531751116 cites W5642659 @default.
• W1531751116 cites W580584876 @default.
• W1531751116 hasPublicationYear "1985" @default.
• W1531751116 type Work @default.
• W1531751116 sameAs 1531751116 @default.
• W1531751116 citedByCount "95" @default.
• W1531751116 countsByYear W15317511162013 @default.
• W1531751116 countsByYear W15317511162015 @default.
• W1531751116 countsByYear W15317511162016 @default.
• W1531751116 countsByYear W15317511162019 @default.
• W1531751116 countsByYear W15317511162021 @default.
• W1531751116 crossrefType "proceedings-article" @default.
• W1531751116 hasAuthorship W1531751116A5005055897 @default.
• W1531751116 hasAuthorship W1531751116A5087025582 @default.
• W1531751116 hasConcept C102993220 @default.
• W1531751116 hasConcept C104317684 @default.
• W1531751116 hasConcept C107247716 @default.
• W1531751116 hasConcept C111472728 @default.
• W1531751116 hasConcept C11191006 @default.
• W1531751116 hasConcept C128913409 @default.
• W1531751116 hasConcept C136172866 @default.
• W1531751116 hasConcept C138885662 @default.
• W1531751116 hasConcept C154945302 @default.
• W1531751116 hasConcept C158448853 @default.
• W1531751116 hasConcept C167729594 @default.
• W1531751116 hasConcept C168773769 @default.
• W1531751116 hasConcept C17020691 @default.
• W1531751116 hasConcept C184337299 @default.
• W1531751116 hasConcept C185592680 @default.
• W1531751116 hasConcept C188027245 @default.
• W1531751116 hasConcept C199360897 @default.
• W1531751116 hasConcept C203659156 @default.
• W1531751116 hasConcept C2524010 @default.
• W1531751116 hasConcept C27508121 @default.
• W1531751116 hasConcept C33923547 @default.
• W1531751116 hasConcept C41008148 @default.
• W1531751116 hasConcept C55493867 @default.
• W1531751116 hasConcept C71139939 @default.
• W1531751116 hasConcept C78344899 @default.
• W1531751116 hasConcept C80444323 @default.
• W1531751116 hasConcept C86339819 @default.
• W1531751116 hasConceptScore W1531751116C102993220 @default.
• W1531751116 hasConceptScore W1531751116C104317684 @default.
• W1531751116 hasConceptScore W1531751116C107247716 @default.
• W1531751116 hasConceptScore W1531751116C111472728 @default.
• W1531751116 hasConceptScore W1531751116C11191006 @default.
• W1531751116 hasConceptScore W1531751116C128913409 @default.
• W1531751116 hasConceptScore W1531751116C136172866 @default.
• W1531751116 hasConceptScore W1531751116C138885662 @default.
• W1531751116 hasConceptScore W1531751116C154945302 @default.
• W1531751116 hasConceptScore W1531751116C158448853 @default.
• W1531751116 hasConceptScore W1531751116C167729594 @default.
• W1531751116 hasConceptScore W1531751116C168773769 @default.
• W1531751116 hasConceptScore W1531751116C17020691 @default.
• W1531751116 hasConceptScore W1531751116C184337299 @default.
• W1531751116 hasConceptScore W1531751116C185592680 @default.
• W1531751116 hasConceptScore W1531751116C188027245 @default.
• W1531751116 hasConceptScore W1531751116C199360897 @default.
• W1531751116 hasConceptScore W1531751116C203659156 @default.
• W1531751116 hasConceptScore W1531751116C2524010 @default.
• W1531751116 hasConceptScore W1531751116C27508121 @default.
• W1531751116 hasConceptScore W1531751116C33923547 @default.
• W1531751116 hasConceptScore W1531751116C41008148 @default.
• W1531751116 hasConceptScore W1531751116C55493867 @default.
• W1531751116 hasConceptScore W1531751116C71139939 @default.
• W1531751116 hasConceptScore W1531751116C78344899 @default.
• W1531751116 hasConceptScore W1531751116C80444323 @default.
• W1531751116 hasConceptScore W1531751116C86339819 @default.
• W1531751116 hasLocation W15317511161 @default.
• W1531751116 hasOpenAccess W1531751116 @default.
• W1531751116 hasPrimaryLocation W15317511161 @default.

• next