Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386015038> ?p ?o ?g. }
- W4386015038 endingPage "539" @default.
- W4386015038 startingPage "530" @default.
- W4386015038 abstract "In this paper we provide a sound and complete logic to formalise and reason about f-indices of inclusion. The logic is based on finite-valued Łukasiewicz logic Ł $$_n$$ and its S5-like modal extension S5(Ł $$_n$$ ) with additional unary operators." @default.
- W4386015038 created "2023-08-21" @default.
- W4386015038 creator A5072818908 @default.
- W4386015038 creator A5086719246 @default.
- W4386015038 creator A5088261260 @default.
- W4386015038 creator A5091130725 @default.
- W4386015038 date "2023-01-01" @default.
- W4386015038 modified "2023-10-18" @default.
- W4386015038 title "A Logic to Reason About f-Indices of Inclusion over Ł$$_n$$" @default.
- W4386015038 cites W1588471817 @default.
- W4386015038 cites W2035516703 @default.
- W4386015038 cites W2069656851 @default.
- W4386015038 cites W2072054192 @default.
- W4386015038 cites W2089512798 @default.
- W4386015038 cites W2108181570 @default.
- W4386015038 cites W2153202364 @default.
- W4386015038 cites W2167576560 @default.
- W4386015038 cites W262770585 @default.
- W4386015038 cites W2754247987 @default.
- W4386015038 cites W2913238147 @default.
- W4386015038 cites W2931764536 @default.
- W4386015038 cites W4248857920 @default.
- W4386015038 cites W4250746159 @default.
- W4386015038 cites W4319997941 @default.
- W4386015038 doi "https://doi.org/10.1007/978-3-031-39965-7_44" @default.
- W4386015038 hasPublicationYear "2023" @default.
- W4386015038 type Work @default.
- W4386015038 citedByCount "0" @default.
- W4386015038 crossrefType "book-chapter" @default.
- W4386015038 hasAuthorship W4386015038A5072818908 @default.
- W4386015038 hasAuthorship W4386015038A5086719246 @default.
- W4386015038 hasAuthorship W4386015038A5088261260 @default.
- W4386015038 hasAuthorship W4386015038A5091130725 @default.
- W4386015038 hasConcept C102993220 @default.
- W4386015038 hasConcept C107993555 @default.
- W4386015038 hasConcept C109359841 @default.
- W4386015038 hasConcept C11413529 @default.
- W4386015038 hasConcept C118615104 @default.
- W4386015038 hasConcept C119599485 @default.
- W4386015038 hasConcept C127413603 @default.
- W4386015038 hasConcept C136119220 @default.
- W4386015038 hasConcept C144024400 @default.
- W4386015038 hasConcept C144760519 @default.
- W4386015038 hasConcept C165801399 @default.
- W4386015038 hasConcept C172385210 @default.
- W4386015038 hasConcept C185592680 @default.
- W4386015038 hasConcept C188027245 @default.
- W4386015038 hasConcept C199343813 @default.
- W4386015038 hasConcept C199360897 @default.
- W4386015038 hasConcept C202444582 @default.
- W4386015038 hasConcept C203659156 @default.
- W4386015038 hasConcept C206321295 @default.
- W4386015038 hasConcept C27508121 @default.
- W4386015038 hasConcept C2777686260 @default.
- W4386015038 hasConcept C2777796570 @default.
- W4386015038 hasConcept C2778029271 @default.
- W4386015038 hasConcept C33923547 @default.
- W4386015038 hasConcept C41008148 @default.
- W4386015038 hasConcept C71139939 @default.
- W4386015038 hasConcept C71924100 @default.
- W4386015038 hasConcept C78023250 @default.
- W4386015038 hasConcept C80444323 @default.
- W4386015038 hasConceptScore W4386015038C102993220 @default.
- W4386015038 hasConceptScore W4386015038C107993555 @default.
- W4386015038 hasConceptScore W4386015038C109359841 @default.
- W4386015038 hasConceptScore W4386015038C11413529 @default.
- W4386015038 hasConceptScore W4386015038C118615104 @default.
- W4386015038 hasConceptScore W4386015038C119599485 @default.
- W4386015038 hasConceptScore W4386015038C127413603 @default.
- W4386015038 hasConceptScore W4386015038C136119220 @default.
- W4386015038 hasConceptScore W4386015038C144024400 @default.
- W4386015038 hasConceptScore W4386015038C144760519 @default.
- W4386015038 hasConceptScore W4386015038C165801399 @default.
- W4386015038 hasConceptScore W4386015038C172385210 @default.
- W4386015038 hasConceptScore W4386015038C185592680 @default.
- W4386015038 hasConceptScore W4386015038C188027245 @default.
- W4386015038 hasConceptScore W4386015038C199343813 @default.
- W4386015038 hasConceptScore W4386015038C199360897 @default.
- W4386015038 hasConceptScore W4386015038C202444582 @default.
- W4386015038 hasConceptScore W4386015038C203659156 @default.
- W4386015038 hasConceptScore W4386015038C206321295 @default.
- W4386015038 hasConceptScore W4386015038C27508121 @default.
- W4386015038 hasConceptScore W4386015038C2777686260 @default.
- W4386015038 hasConceptScore W4386015038C2777796570 @default.
- W4386015038 hasConceptScore W4386015038C2778029271 @default.
- W4386015038 hasConceptScore W4386015038C33923547 @default.
- W4386015038 hasConceptScore W4386015038C41008148 @default.
- W4386015038 hasConceptScore W4386015038C71139939 @default.
- W4386015038 hasConceptScore W4386015038C71924100 @default.
- W4386015038 hasConceptScore W4386015038C78023250 @default.
- W4386015038 hasConceptScore W4386015038C80444323 @default.
- W4386015038 hasLocation W43860150381 @default.
- W4386015038 hasOpenAccess W4386015038 @default.
- W4386015038 hasPrimaryLocation W43860150381 @default.
- W4386015038 hasRelatedWork W1045622222 @default.
- W4386015038 hasRelatedWork W1847655899 @default.
- W4386015038 hasRelatedWork W1909183225 @default.
- W4386015038 hasRelatedWork W2082558313 @default.