FRINK Linked Data Fragments server

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

• W3216661826 endingPage "100732" @default.
• W3216661826 startingPage "100732" @default.
• W3216661826 abstract "This work introduces a new fuzzy epistemic logic with public announcement with fuzzyness on both transitions and propositions. The interpretation of the connectives is done over the Gödel algebra and the interpretation of public announcements in this logic generalises the traditional update one. The core idea is that, the effect of a public announcement is reflected on the transitions degrees of the models. The update takes in account not only the truth degree of the announcement, at a target state, but also the degree of the transitions reaching that state. We prove the soundness of all axioms of the multi-agent epistemic logic with public announcements with respect to this graded semantics. Finally, we introduce the notion of bisimulation and prove the modal invariance property for our logic." @default.
• W3216661826 created "2021-12-06" @default.
• W3216661826 creator A5008953592 @default.
• W3216661826 creator A5030111854 @default.
• W3216661826 creator A5031060439 @default.
• W3216661826 date "2022-02-01" @default.
• W3216661826 modified "2023-10-18" @default.
• W3216661826 title "Graded epistemic logic with public announcement" @default.
• W3216661826 cites W130537534 @default.
• W3216661826 cites W2023812928 @default.
• W3216661826 cites W2062285040 @default.
• W3216661826 cites W2064029774 @default.
• W3216661826 cites W2119558232 @default.
• W3216661826 cites W2169921622 @default.
• W3216661826 cites W2339091729 @default.
• W3216661826 doi "https://doi.org/10.1016/j.jlamp.2021.100732" @default.
• W3216661826 hasPublicationYear "2022" @default.
• W3216661826 type Work @default.
• W3216661826 sameAs 3216661826 @default.
• W3216661826 citedByCount "0" @default.
• W3216661826 crossrefType "journal-article" @default.
• W3216661826 hasAuthorship W3216661826A5008953592 @default.
• W3216661826 hasAuthorship W3216661826A5030111854 @default.
• W3216661826 hasAuthorship W3216661826A5031060439 @default.
• W3216661826 hasConcept C101874905 @default.
• W3216661826 hasConcept C102993220 @default.
• W3216661826 hasConcept C107247716 @default.
• W3216661826 hasConcept C111472728 @default.
• W3216661826 hasConcept C121332964 @default.
• W3216661826 hasConcept C136119220 @default.
• W3216661826 hasConcept C138885662 @default.
• W3216661826 hasConcept C154945302 @default.
• W3216661826 hasConcept C165801399 @default.
• W3216661826 hasConcept C167729594 @default.
• W3216661826 hasConcept C172385210 @default.
• W3216661826 hasConcept C184337299 @default.
• W3216661826 hasConcept C185592680 @default.
• W3216661826 hasConcept C188027245 @default.
• W3216661826 hasConcept C189950617 @default.
• W3216661826 hasConcept C199360897 @default.
• W3216661826 hasConcept C202444582 @default.
• W3216661826 hasConcept C203659156 @default.
• W3216661826 hasConcept C2524010 @default.
• W3216661826 hasConcept C27508121 @default.
• W3216661826 hasConcept C2777796570 @default.
• W3216661826 hasConcept C33923547 @default.
• W3216661826 hasConcept C39920170 @default.
• W3216661826 hasConcept C41008148 @default.
• W3216661826 hasConcept C46274116 @default.
• W3216661826 hasConcept C527412718 @default.
• W3216661826 hasConcept C58166 @default.
• W3216661826 hasConcept C62520636 @default.
• W3216661826 hasConcept C71139939 @default.
• W3216661826 hasConcept C80444323 @default.
• W3216661826 hasConceptScore W3216661826C101874905 @default.
• W3216661826 hasConceptScore W3216661826C102993220 @default.
• W3216661826 hasConceptScore W3216661826C107247716 @default.
• W3216661826 hasConceptScore W3216661826C111472728 @default.
• W3216661826 hasConceptScore W3216661826C121332964 @default.
• W3216661826 hasConceptScore W3216661826C136119220 @default.
• W3216661826 hasConceptScore W3216661826C138885662 @default.
• W3216661826 hasConceptScore W3216661826C154945302 @default.
• W3216661826 hasConceptScore W3216661826C165801399 @default.
• W3216661826 hasConceptScore W3216661826C167729594 @default.
• W3216661826 hasConceptScore W3216661826C172385210 @default.
• W3216661826 hasConceptScore W3216661826C184337299 @default.
• W3216661826 hasConceptScore W3216661826C185592680 @default.
• W3216661826 hasConceptScore W3216661826C188027245 @default.
• W3216661826 hasConceptScore W3216661826C189950617 @default.
• W3216661826 hasConceptScore W3216661826C199360897 @default.
• W3216661826 hasConceptScore W3216661826C202444582 @default.
• W3216661826 hasConceptScore W3216661826C203659156 @default.
• W3216661826 hasConceptScore W3216661826C2524010 @default.
• W3216661826 hasConceptScore W3216661826C27508121 @default.
• W3216661826 hasConceptScore W3216661826C2777796570 @default.
• W3216661826 hasConceptScore W3216661826C33923547 @default.
• W3216661826 hasConceptScore W3216661826C39920170 @default.
• W3216661826 hasConceptScore W3216661826C41008148 @default.
• W3216661826 hasConceptScore W3216661826C46274116 @default.
• W3216661826 hasConceptScore W3216661826C527412718 @default.
• W3216661826 hasConceptScore W3216661826C58166 @default.
• W3216661826 hasConceptScore W3216661826C62520636 @default.
• W3216661826 hasConceptScore W3216661826C71139939 @default.
• W3216661826 hasConceptScore W3216661826C80444323 @default.
• W3216661826 hasFunder F4320327374 @default.
• W3216661826 hasFunder F4320329951 @default.
• W3216661826 hasFunder F4320334779 @default.
• W3216661826 hasFunder F4320335322 @default.
• W3216661826 hasLocation W32166618261 @default.
• W3216661826 hasOpenAccess W3216661826 @default.
• W3216661826 hasPrimaryLocation W32166618261 @default.
• W3216661826 hasRelatedWork W2120613606 @default.
• W3216661826 hasRelatedWork W2148975498 @default.
• W3216661826 hasRelatedWork W2301896002 @default.
• W3216661826 hasRelatedWork W2407854975 @default.
• W3216661826 hasRelatedWork W2621139739 @default.
• W3216661826 hasRelatedWork W3100226298 @default.
• W3216661826 hasRelatedWork W3216661826 @default.

• next