FRINK Linked Data Fragments server

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

• W2794771199 abstract "In this paper, we study the model theoretical aspects of Weakly Aggregative Modal Logic (WAL), which is a collection of disguised polyadic modal logics with $n$-ary modalities whose arguments are all the same. We give a van-Benthem-Rosen characterization theorem of WAL based on an intuitive notion of bisimulation, and show that WAL has Craig Interpolation." @default.
• W2794771199 created "2018-04-06" @default.
• W2794771199 creator A5081669641 @default.
• W2794771199 creator A5087022428 @default.
• W2794771199 date "2018-03-29" @default.
• W2794771199 modified "2023-09-23" @default.
• W2794771199 title "Weakly Aggregative Modal Logic: Characterization and Interpolation" @default.
• W2794771199 hasPublicationYear "2018" @default.
• W2794771199 type Work @default.
• W2794771199 sameAs 2794771199 @default.
• W2794771199 citedByCount "0" @default.
• W2794771199 crossrefType "posted-content" @default.
• W2794771199 hasAuthorship W2794771199A5081669641 @default.
• W2794771199 hasAuthorship W2794771199A5087022428 @default.
• W2794771199 hasConcept C102993220 @default.
• W2794771199 hasConcept C104114177 @default.
• W2794771199 hasConcept C11191006 @default.
• W2794771199 hasConcept C114092440 @default.
• W2794771199 hasConcept C11413529 @default.
• W2794771199 hasConcept C118615104 @default.
• W2794771199 hasConcept C119599485 @default.
• W2794771199 hasConcept C120665830 @default.
• W2794771199 hasConcept C121332964 @default.
• W2794771199 hasConcept C127413603 @default.
• W2794771199 hasConcept C135315306 @default.
• W2794771199 hasConcept C136119220 @default.
• W2794771199 hasConcept C137800194 @default.
• W2794771199 hasConcept C144237770 @default.
• W2794771199 hasConcept C154945302 @default.
• W2794771199 hasConcept C165801399 @default.
• W2794771199 hasConcept C172385210 @default.
• W2794771199 hasConcept C173125200 @default.
• W2794771199 hasConcept C185592680 @default.
• W2794771199 hasConcept C188027245 @default.
• W2794771199 hasConcept C192609573 @default.
• W2794771199 hasConcept C199343813 @default.
• W2794771199 hasConcept C202444582 @default.
• W2794771199 hasConcept C203659156 @default.
• W2794771199 hasConcept C27508121 @default.
• W2794771199 hasConcept C2777686260 @default.
• W2794771199 hasConcept C2777796570 @default.
• W2794771199 hasConcept C2780841128 @default.
• W2794771199 hasConcept C33923547 @default.
• W2794771199 hasConcept C41008148 @default.
• W2794771199 hasConcept C71139939 @default.
• W2794771199 hasConcept C71924100 @default.
• W2794771199 hasConcept C80444323 @default.
• W2794771199 hasConceptScore W2794771199C102993220 @default.
• W2794771199 hasConceptScore W2794771199C104114177 @default.
• W2794771199 hasConceptScore W2794771199C11191006 @default.
• W2794771199 hasConceptScore W2794771199C114092440 @default.
• W2794771199 hasConceptScore W2794771199C11413529 @default.
• W2794771199 hasConceptScore W2794771199C118615104 @default.
• W2794771199 hasConceptScore W2794771199C119599485 @default.
• W2794771199 hasConceptScore W2794771199C120665830 @default.
• W2794771199 hasConceptScore W2794771199C121332964 @default.
• W2794771199 hasConceptScore W2794771199C127413603 @default.
• W2794771199 hasConceptScore W2794771199C135315306 @default.
• W2794771199 hasConceptScore W2794771199C136119220 @default.
• W2794771199 hasConceptScore W2794771199C137800194 @default.
• W2794771199 hasConceptScore W2794771199C144237770 @default.
• W2794771199 hasConceptScore W2794771199C154945302 @default.
• W2794771199 hasConceptScore W2794771199C165801399 @default.
• W2794771199 hasConceptScore W2794771199C172385210 @default.
• W2794771199 hasConceptScore W2794771199C173125200 @default.
• W2794771199 hasConceptScore W2794771199C185592680 @default.
• W2794771199 hasConceptScore W2794771199C188027245 @default.
• W2794771199 hasConceptScore W2794771199C192609573 @default.
• W2794771199 hasConceptScore W2794771199C199343813 @default.
• W2794771199 hasConceptScore W2794771199C202444582 @default.
• W2794771199 hasConceptScore W2794771199C203659156 @default.
• W2794771199 hasConceptScore W2794771199C27508121 @default.
• W2794771199 hasConceptScore W2794771199C2777686260 @default.
• W2794771199 hasConceptScore W2794771199C2777796570 @default.
• W2794771199 hasConceptScore W2794771199C2780841128 @default.
• W2794771199 hasConceptScore W2794771199C33923547 @default.
• W2794771199 hasConceptScore W2794771199C41008148 @default.
• W2794771199 hasConceptScore W2794771199C71139939 @default.
• W2794771199 hasConceptScore W2794771199C71924100 @default.
• W2794771199 hasConceptScore W2794771199C80444323 @default.
• W2794771199 hasLocation W27947711991 @default.
• W2794771199 hasOpenAccess W2794771199 @default.
• W2794771199 hasPrimaryLocation W27947711991 @default.
• W2794771199 hasRelatedWork W1480754868 @default.
• W2794771199 hasRelatedWork W1515412030 @default.
• W2794771199 hasRelatedWork W1966415058 @default.
• W2794771199 hasRelatedWork W1997813550 @default.
• W2794771199 hasRelatedWork W2035121342 @default.
• W2794771199 hasRelatedWork W2069376434 @default.
• W2794771199 hasRelatedWork W2132862307 @default.
• W2794771199 hasRelatedWork W2337715273 @default.
• W2794771199 hasRelatedWork W2390392352 @default.
• W2794771199 hasRelatedWork W2614444040 @default.
• W2794771199 hasRelatedWork W2895833025 @default.
• W2794771199 hasRelatedWork W2896897075 @default.
• W2794771199 hasRelatedWork W2947093719 @default.
• W2794771199 hasRelatedWork W2951735480 @default.
• W2794771199 hasRelatedWork W2962901248 @default.
• W2794771199 hasRelatedWork W2982503577 @default.
• W2794771199 hasRelatedWork W2997148829 @default.

• next