Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387168313> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4387168313 endingPage "66" @default.
- W4387168313 startingPage "50" @default.
- W4387168313 abstract "Simplicial complexes are a convenient semantic primitive to reason about processes (agents) communicating with each other in synchronous and asynchronous computation. Impure simplicial complexes distinguish active processes from crashed ones, in other words, agents that are alive from agents that are dead. In order to rule out that dead agents reason about themselves and about other agents, three-valued epistemic semantics have been proposed where, in addition to the usual values true and false, the third value stands for undefined: the knowledge of dead agents is undefined and so are the propositional variables describing their local state. Other semantics for impure complexes are two-valued where a dead agent knows everything. Different choices in designing a semantics produce different three-valued semantics, and also different two-valued semantics. In this work, we categorize the available choices by discounting the bad ones, identifying the equivalent ones, and connecting the non-equivalent ones via a translation. The main result of the paper is identifying the main relevant distinction to be the number of truth values and bridging this difference by means of a novel embedding from three- into two-valued semantics. This translation also enables us to highlight quite fundamental modeling differences underpinning various two- and three-valued approaches in this area of combinatorial topology. In particular, pure complexes can be defined as those invariant under the translation." @default.
- W4387168313 created "2023-09-30" @default.
- W4387168313 creator A5046182700 @default.
- W4387168313 creator A5082531855 @default.
- W4387168313 creator A5011255635 @default.
- W4387168313 date "2023-09-30" @default.
- W4387168313 modified "2023-10-05" @default.
- W4387168313 title "On Two- and Three-valued Semantics for Impure Simplicial Complexes" @default.
- W4387168313 cites W1526652053 @default.
- W4387168313 cites W1533142698 @default.
- W4387168313 cites W2001757616 @default.
- W4387168313 cites W2022205872 @default.
- W4387168313 cites W2023808162 @default.
- W4387168313 cites W2035362408 @default.
- W4387168313 cites W2039352370 @default.
- W4387168313 cites W2048905609 @default.
- W4387168313 cites W2149907923 @default.
- W4387168313 cites W2159131252 @default.
- W4387168313 cites W2171854513 @default.
- W4387168313 cites W2898869189 @default.
- W4387168313 cites W3008435917 @default.
- W4387168313 cites W3034695020 @default.
- W4387168313 cites W3128303183 @default.
- W4387168313 cites W3140030144 @default.
- W4387168313 cites W3176634913 @default.
- W4387168313 cites W4211099339 @default.
- W4387168313 cites W4231163684 @default.
- W4387168313 cites W4236167179 @default.
- W4387168313 cites W4310274970 @default.
- W4387168313 cites W4384297700 @default.
- W4387168313 doi "https://doi.org/10.4204/eptcs.390.4" @default.
- W4387168313 hasPublicationYear "2023" @default.
- W4387168313 type Work @default.
- W4387168313 citedByCount "0" @default.
- W4387168313 crossrefType "journal-article" @default.
- W4387168313 hasAuthorship W4387168313A5011255635 @default.
- W4387168313 hasAuthorship W4387168313A5046182700 @default.
- W4387168313 hasAuthorship W4387168313A5082531855 @default.
- W4387168313 hasBestOaLocation W43871683131 @default.
- W4387168313 hasConcept C154945302 @default.
- W4387168313 hasConcept C184337299 @default.
- W4387168313 hasConcept C199360897 @default.
- W4387168313 hasConcept C33923547 @default.
- W4387168313 hasConcept C41008148 @default.
- W4387168313 hasConcept C41608201 @default.
- W4387168313 hasConcept C80444323 @default.
- W4387168313 hasConceptScore W4387168313C154945302 @default.
- W4387168313 hasConceptScore W4387168313C184337299 @default.
- W4387168313 hasConceptScore W4387168313C199360897 @default.
- W4387168313 hasConceptScore W4387168313C33923547 @default.
- W4387168313 hasConceptScore W4387168313C41008148 @default.
- W4387168313 hasConceptScore W4387168313C41608201 @default.
- W4387168313 hasConceptScore W4387168313C80444323 @default.
- W4387168313 hasLocation W43871683131 @default.
- W4387168313 hasLocation W43871683132 @default.
- W4387168313 hasOpenAccess W4387168313 @default.
- W4387168313 hasPrimaryLocation W43871683131 @default.
- W4387168313 hasRelatedWork W2345479200 @default.
- W4387168313 hasRelatedWork W2419146053 @default.
- W4387168313 hasRelatedWork W2549990292 @default.
- W4387168313 hasRelatedWork W2849310602 @default.
- W4387168313 hasRelatedWork W2932872266 @default.
- W4387168313 hasRelatedWork W2951819827 @default.
- W4387168313 hasRelatedWork W2991618286 @default.
- W4387168313 hasRelatedWork W2183306018 @default.
- W4387168313 hasRelatedWork W2788308474 @default.
- W4387168313 hasRelatedWork W3111219495 @default.
- W4387168313 hasVolume "390" @default.
- W4387168313 isParatext "false" @default.
- W4387168313 isRetracted "false" @default.
- W4387168313 workType "article" @default.