Matches in SemOpenAlex for { <https://semopenalex.org/work/W3202389319> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W3202389319 endingPage "72" @default.
- W3202389319 startingPage "58" @default.
- W3202389319 abstract "This paper connects the following three apparently unrelated topics: an epistemic framework fighting logical omniscience, a class of generalized graphs without the arities of relations, and a family of non-normal modal logics rejecting the aggregative axiom. Through neighborhood frames as their meeting point, we show that, among many completeness results obtained in this paper, the limit of a family of weakly aggregative logics is both exactly the modal logic of hypergraphs and also the epistemic logic of local reasoning with veracity and positive introspection. The logics studied are shown to be decidable based on a filtration construction." @default.
- W3202389319 created "2021-10-11" @default.
- W3202389319 creator A5081669641 @default.
- W3202389319 creator A5087022428 @default.
- W3202389319 creator A5088242137 @default.
- W3202389319 date "2021-01-01" @default.
- W3202389319 modified "2023-09-23" @default.
- W3202389319 title "Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic" @default.
- W3202389319 cites W1985428131 @default.
- W3202389319 cites W1994227541 @default.
- W3202389319 cites W2003782541 @default.
- W3202389319 cites W2006227387 @default.
- W3202389319 cites W2010242502 @default.
- W3202389319 cites W2078695050 @default.
- W3202389319 cites W2103917519 @default.
- W3202389319 cites W2128274288 @default.
- W3202389319 cites W2491369160 @default.
- W3202389319 cites W2529309327 @default.
- W3202389319 cites W2529470208 @default.
- W3202389319 cites W2768154882 @default.
- W3202389319 cites W2982503577 @default.
- W3202389319 cites W3037160607 @default.
- W3202389319 cites W4242309855 @default.
- W3202389319 doi "https://doi.org/10.1007/978-3-030-88708-7_5" @default.
- W3202389319 hasPublicationYear "2021" @default.
- W3202389319 type Work @default.
- W3202389319 sameAs 3202389319 @default.
- W3202389319 citedByCount "2" @default.
- W3202389319 countsByYear W32023893192022 @default.
- W3202389319 countsByYear W32023893192023 @default.
- W3202389319 crossrefType "book-chapter" @default.
- W3202389319 hasAuthorship W3202389319A5081669641 @default.
- W3202389319 hasAuthorship W3202389319A5087022428 @default.
- W3202389319 hasAuthorship W3202389319A5088242137 @default.
- W3202389319 hasConcept C159985019 @default.
- W3202389319 hasConcept C192562407 @default.
- W3202389319 hasConcept C27508121 @default.
- W3202389319 hasConcept C41008148 @default.
- W3202389319 hasConcept C71139939 @default.
- W3202389319 hasConceptScore W3202389319C159985019 @default.
- W3202389319 hasConceptScore W3202389319C192562407 @default.
- W3202389319 hasConceptScore W3202389319C27508121 @default.
- W3202389319 hasConceptScore W3202389319C41008148 @default.
- W3202389319 hasConceptScore W3202389319C71139939 @default.
- W3202389319 hasLocation W32023893191 @default.
- W3202389319 hasOpenAccess W3202389319 @default.
- W3202389319 hasPrimaryLocation W32023893191 @default.
- W3202389319 hasRelatedWork W119381390 @default.
- W3202389319 hasRelatedWork W1486142549 @default.
- W3202389319 hasRelatedWork W1537541219 @default.
- W3202389319 hasRelatedWork W1587059467 @default.
- W3202389319 hasRelatedWork W2028144918 @default.
- W3202389319 hasRelatedWork W2257054830 @default.
- W3202389319 hasRelatedWork W2761353030 @default.
- W3202389319 hasRelatedWork W3016746667 @default.
- W3202389319 hasRelatedWork W4287814874 @default.
- W3202389319 hasRelatedWork W4318570644 @default.
- W3202389319 isParatext "false" @default.
- W3202389319 isRetracted "false" @default.
- W3202389319 magId "3202389319" @default.
- W3202389319 workType "book-chapter" @default.