Matches in SemOpenAlex for { <https://semopenalex.org/work/W3204195556> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3204195556 endingPage "258" @default.
- W3204195556 startingPage "251" @default.
- W3204195556 abstract "The paper formalizes quantitative (numerical) modalities and describes their possible applications. We work via standard Kripke-like semantics for modal logics and introduce quantitative modalities as possibility to have predefined amount of different states (worlds) where formulas may be valid. Approach is applied to various modal semantics with distinct requirements to the accessibility relations (as e.g. to be reflexive, transitive). We illustrate possible applications in internet search, trading, banking transfers and another interference in internet network or another communication in information channels. Basic attention (as to mathematical subject) is directed to basic algorithmic problems - satisfiability and decidability problems, we find resolving algorithms. That is done for modal logic with quantitative modalities and for temporal logics generated by these quantitative modal logics by consideration temporal operations as bi-modalities. We conclude the paper with pointing open problems and possible further directions in research." @default.
- W3204195556 created "2021-10-11" @default.
- W3204195556 creator A5016943210 @default.
- W3204195556 date "2021-01-01" @default.
- W3204195556 modified "2023-10-18" @default.
- W3204195556 title "Quantitative Modalities, Possible Applications to Information Analysis" @default.
- W3204195556 cites W1580776589 @default.
- W3204195556 cites W1969992219 @default.
- W3204195556 cites W2011674996 @default.
- W3204195556 cites W2016586936 @default.
- W3204195556 cites W2023808162 @default.
- W3204195556 cites W2069896809 @default.
- W3204195556 cites W2073775828 @default.
- W3204195556 cites W2075277371 @default.
- W3204195556 cites W2093974031 @default.
- W3204195556 cites W2765353109 @default.
- W3204195556 cites W7581064 @default.
- W3204195556 cites W2153853568 @default.
- W3204195556 doi "https://doi.org/10.1016/j.procs.2021.08.026" @default.
- W3204195556 hasPublicationYear "2021" @default.
- W3204195556 type Work @default.
- W3204195556 sameAs 3204195556 @default.
- W3204195556 citedByCount "0" @default.
- W3204195556 crossrefType "journal-article" @default.
- W3204195556 hasAuthorship W3204195556A5016943210 @default.
- W3204195556 hasBestOaLocation W32041955561 @default.
- W3204195556 hasConcept C102993220 @default.
- W3204195556 hasConcept C114092440 @default.
- W3204195556 hasConcept C11413529 @default.
- W3204195556 hasConcept C144024400 @default.
- W3204195556 hasConcept C153269930 @default.
- W3204195556 hasConcept C160131679 @default.
- W3204195556 hasConcept C168773769 @default.
- W3204195556 hasConcept C184337299 @default.
- W3204195556 hasConcept C185592680 @default.
- W3204195556 hasConcept C188027245 @default.
- W3204195556 hasConcept C199360897 @default.
- W3204195556 hasConcept C203659156 @default.
- W3204195556 hasConcept C27508121 @default.
- W3204195556 hasConcept C2779903281 @default.
- W3204195556 hasConcept C36289849 @default.
- W3204195556 hasConcept C41008148 @default.
- W3204195556 hasConcept C71139939 @default.
- W3204195556 hasConcept C80444323 @default.
- W3204195556 hasConceptScore W3204195556C102993220 @default.
- W3204195556 hasConceptScore W3204195556C114092440 @default.
- W3204195556 hasConceptScore W3204195556C11413529 @default.
- W3204195556 hasConceptScore W3204195556C144024400 @default.
- W3204195556 hasConceptScore W3204195556C153269930 @default.
- W3204195556 hasConceptScore W3204195556C160131679 @default.
- W3204195556 hasConceptScore W3204195556C168773769 @default.
- W3204195556 hasConceptScore W3204195556C184337299 @default.
- W3204195556 hasConceptScore W3204195556C185592680 @default.
- W3204195556 hasConceptScore W3204195556C188027245 @default.
- W3204195556 hasConceptScore W3204195556C199360897 @default.
- W3204195556 hasConceptScore W3204195556C203659156 @default.
- W3204195556 hasConceptScore W3204195556C27508121 @default.
- W3204195556 hasConceptScore W3204195556C2779903281 @default.
- W3204195556 hasConceptScore W3204195556C36289849 @default.
- W3204195556 hasConceptScore W3204195556C41008148 @default.
- W3204195556 hasConceptScore W3204195556C71139939 @default.
- W3204195556 hasConceptScore W3204195556C80444323 @default.
- W3204195556 hasLocation W32041955561 @default.
- W3204195556 hasOpenAccess W3204195556 @default.
- W3204195556 hasPrimaryLocation W32041955561 @default.
- W3204195556 hasRelatedWork W1551884619 @default.
- W3204195556 hasRelatedWork W1975181532 @default.
- W3204195556 hasRelatedWork W2352549085 @default.
- W3204195556 hasRelatedWork W2385186239 @default.
- W3204195556 hasRelatedWork W2754153327 @default.
- W3204195556 hasRelatedWork W2912055616 @default.
- W3204195556 hasRelatedWork W3197054820 @default.
- W3204195556 hasRelatedWork W4283818956 @default.
- W3204195556 hasRelatedWork W4320503070 @default.
- W3204195556 hasRelatedWork W45950492 @default.
- W3204195556 hasVolume "192" @default.
- W3204195556 isParatext "false" @default.
- W3204195556 isRetracted "false" @default.
- W3204195556 magId "3204195556" @default.
- W3204195556 workType "article" @default.