Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567177013> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1567177013 abstract "A formal notion of viewpoint, relying on an extension of first order predicate calculus with an axiomatization of provability and reflection rules, is presented. The extension is not conservative and it is, in our intention, the best we can do if we care about consistency. Viewpoints are defined as set of sentences at the meta-level. The paper investigates to what extent notions such as belief, knowledge, truth and situations can be uniformly modeled as provability in “specialized viewpoints”, obtained by imposing suitable constraints on viewpoints." @default.
- W1567177013 created "2016-06-24" @default.
- W1567177013 creator A5015682032 @default.
- W1567177013 date "1991-01-01" @default.
- W1567177013 modified "2023-09-26" @default.
- W1567177013 title "Viewpoints subsume beliefs, truth and situations" @default.
- W1567177013 cites W146483867 @default.
- W1567177013 doi "https://doi.org/10.1007/3-540-54712-6_216" @default.
- W1567177013 hasPublicationYear "1991" @default.
- W1567177013 type Work @default.
- W1567177013 sameAs 1567177013 @default.
- W1567177013 citedByCount "4" @default.
- W1567177013 crossrefType "book-chapter" @default.
- W1567177013 hasAuthorship W1567177013A5015682032 @default.
- W1567177013 hasConcept C100481476 @default.
- W1567177013 hasConcept C111472728 @default.
- W1567177013 hasConcept C11413529 @default.
- W1567177013 hasConcept C128913409 @default.
- W1567177013 hasConcept C138885662 @default.
- W1567177013 hasConcept C140146324 @default.
- W1567177013 hasConcept C142362112 @default.
- W1567177013 hasConcept C153349607 @default.
- W1567177013 hasConcept C154945302 @default.
- W1567177013 hasConcept C199343813 @default.
- W1567177013 hasConcept C199360897 @default.
- W1567177013 hasConcept C2776035091 @default.
- W1567177013 hasConcept C2776436953 @default.
- W1567177013 hasConcept C2777686260 @default.
- W1567177013 hasConcept C2778029271 @default.
- W1567177013 hasConcept C2780432614 @default.
- W1567177013 hasConcept C41008148 @default.
- W1567177013 hasConcept C71924100 @default.
- W1567177013 hasConceptScore W1567177013C100481476 @default.
- W1567177013 hasConceptScore W1567177013C111472728 @default.
- W1567177013 hasConceptScore W1567177013C11413529 @default.
- W1567177013 hasConceptScore W1567177013C128913409 @default.
- W1567177013 hasConceptScore W1567177013C138885662 @default.
- W1567177013 hasConceptScore W1567177013C140146324 @default.
- W1567177013 hasConceptScore W1567177013C142362112 @default.
- W1567177013 hasConceptScore W1567177013C153349607 @default.
- W1567177013 hasConceptScore W1567177013C154945302 @default.
- W1567177013 hasConceptScore W1567177013C199343813 @default.
- W1567177013 hasConceptScore W1567177013C199360897 @default.
- W1567177013 hasConceptScore W1567177013C2776035091 @default.
- W1567177013 hasConceptScore W1567177013C2776436953 @default.
- W1567177013 hasConceptScore W1567177013C2777686260 @default.
- W1567177013 hasConceptScore W1567177013C2778029271 @default.
- W1567177013 hasConceptScore W1567177013C2780432614 @default.
- W1567177013 hasConceptScore W1567177013C41008148 @default.
- W1567177013 hasConceptScore W1567177013C71924100 @default.
- W1567177013 hasLocation W15671770131 @default.
- W1567177013 hasOpenAccess W1567177013 @default.
- W1567177013 hasPrimaryLocation W15671770131 @default.
- W1567177013 hasRelatedWork W1481327947 @default.
- W1567177013 hasRelatedWork W1482333072 @default.
- W1567177013 hasRelatedWork W1509096020 @default.
- W1567177013 hasRelatedWork W1522593369 @default.
- W1567177013 hasRelatedWork W1531751116 @default.
- W1567177013 hasRelatedWork W181658277 @default.
- W1567177013 hasRelatedWork W182515198 @default.
- W1567177013 hasRelatedWork W2003866643 @default.
- W1567177013 hasRelatedWork W2028441269 @default.
- W1567177013 hasRelatedWork W2037576563 @default.
- W1567177013 hasRelatedWork W2048218250 @default.
- W1567177013 hasRelatedWork W2099143991 @default.
- W1567177013 hasRelatedWork W2135563146 @default.
- W1567177013 hasRelatedWork W2405774694 @default.
- W1567177013 hasRelatedWork W2414735778 @default.
- W1567177013 hasRelatedWork W2945866067 @default.
- W1567177013 hasRelatedWork W2952100686 @default.
- W1567177013 hasRelatedWork W3004999595 @default.
- W1567177013 hasRelatedWork W3115354692 @default.
- W1567177013 hasRelatedWork W65188855 @default.
- W1567177013 isParatext "false" @default.
- W1567177013 isRetracted "false" @default.
- W1567177013 magId "1567177013" @default.
- W1567177013 workType "book-chapter" @default.