Matches in SemOpenAlex for { <https://semopenalex.org/work/W4361193746> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4361193746 abstract "In recent years, a new class of models for multi-agent epistemic logic has emerged, based on simplicial complexes. Since then, many variants of these simplicial models have been investigated, giving rise to different logics and axiomatizations. In this paper, we present a further generalization, where a group of agents may distinguish two worlds, even though each individual agent in the group is unable to distinguish them. For that purpose, we generalize beyond simplicial complexes and consider instead simplicial sets. By doing so, we define a new semantics for epistemic logic with distributed knowledge. As it turns out, these models are the geometric counterpart of a generalization of Kripke models, called pseudo-models. We identify various interesting sub-classes of these models, encompassing all previously studied variants of simplicial models; and give a sound and complete axiomatization for each of them." @default.
- W4361193746 created "2023-03-31" @default.
- W4361193746 creator A5005997085 @default.
- W4361193746 creator A5012169472 @default.
- W4361193746 creator A5031488505 @default.
- W4361193746 creator A5040672892 @default.
- W4361193746 date "2023-03-27" @default.
- W4361193746 modified "2023-10-16" @default.
- W4361193746 title "Semi-simplicial Set Models for Distributed Knowledge" @default.
- W4361193746 doi "https://doi.org/10.48550/arxiv.2303.14976" @default.
- W4361193746 hasPublicationYear "2023" @default.
- W4361193746 type Work @default.
- W4361193746 citedByCount "0" @default.
- W4361193746 crossrefType "posted-content" @default.
- W4361193746 hasAuthorship W4361193746A5005997085 @default.
- W4361193746 hasAuthorship W4361193746A5012169472 @default.
- W4361193746 hasAuthorship W4361193746A5031488505 @default.
- W4361193746 hasAuthorship W4361193746A5040672892 @default.
- W4361193746 hasBestOaLocation W43611937461 @default.
- W4361193746 hasConcept C102993220 @default.
- W4361193746 hasConcept C107247716 @default.
- W4361193746 hasConcept C118615104 @default.
- W4361193746 hasConcept C134306372 @default.
- W4361193746 hasConcept C146867743 @default.
- W4361193746 hasConcept C154945302 @default.
- W4361193746 hasConcept C155366967 @default.
- W4361193746 hasConcept C177148314 @default.
- W4361193746 hasConcept C177264268 @default.
- W4361193746 hasConcept C184337299 @default.
- W4361193746 hasConcept C187929450 @default.
- W4361193746 hasConcept C199360897 @default.
- W4361193746 hasConcept C202444582 @default.
- W4361193746 hasConcept C203659156 @default.
- W4361193746 hasConcept C2777212361 @default.
- W4361193746 hasConcept C33923547 @default.
- W4361193746 hasConcept C3469331 @default.
- W4361193746 hasConcept C41008148 @default.
- W4361193746 hasConcept C5961521 @default.
- W4361193746 hasConcept C64245159 @default.
- W4361193746 hasConcept C79236096 @default.
- W4361193746 hasConcept C80444323 @default.
- W4361193746 hasConceptScore W4361193746C102993220 @default.
- W4361193746 hasConceptScore W4361193746C107247716 @default.
- W4361193746 hasConceptScore W4361193746C118615104 @default.
- W4361193746 hasConceptScore W4361193746C134306372 @default.
- W4361193746 hasConceptScore W4361193746C146867743 @default.
- W4361193746 hasConceptScore W4361193746C154945302 @default.
- W4361193746 hasConceptScore W4361193746C155366967 @default.
- W4361193746 hasConceptScore W4361193746C177148314 @default.
- W4361193746 hasConceptScore W4361193746C177264268 @default.
- W4361193746 hasConceptScore W4361193746C184337299 @default.
- W4361193746 hasConceptScore W4361193746C187929450 @default.
- W4361193746 hasConceptScore W4361193746C199360897 @default.
- W4361193746 hasConceptScore W4361193746C202444582 @default.
- W4361193746 hasConceptScore W4361193746C203659156 @default.
- W4361193746 hasConceptScore W4361193746C2777212361 @default.
- W4361193746 hasConceptScore W4361193746C33923547 @default.
- W4361193746 hasConceptScore W4361193746C3469331 @default.
- W4361193746 hasConceptScore W4361193746C41008148 @default.
- W4361193746 hasConceptScore W4361193746C5961521 @default.
- W4361193746 hasConceptScore W4361193746C64245159 @default.
- W4361193746 hasConceptScore W4361193746C79236096 @default.
- W4361193746 hasConceptScore W4361193746C80444323 @default.
- W4361193746 hasLocation W43611937461 @default.
- W4361193746 hasOpenAccess W4361193746 @default.
- W4361193746 hasPrimaryLocation W43611937461 @default.
- W4361193746 hasRelatedWork W2011162705 @default.
- W4361193746 hasRelatedWork W2103738419 @default.
- W4361193746 hasRelatedWork W230527091 @default.
- W4361193746 hasRelatedWork W2403430746 @default.
- W4361193746 hasRelatedWork W2943582562 @default.
- W4361193746 hasRelatedWork W3033469176 @default.
- W4361193746 hasRelatedWork W3134796021 @default.
- W4361193746 hasRelatedWork W4226073280 @default.
- W4361193746 hasRelatedWork W4287865808 @default.
- W4361193746 hasRelatedWork W4288359443 @default.
- W4361193746 isParatext "false" @default.
- W4361193746 isRetracted "false" @default.
- W4361193746 workType "article" @default.