FRINK Linked Data Fragments server

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

• W2948247532 abstract "By slightly adapting two equivalent semantics of noncontingency operator, we obtain two variants, $boxdot$ and $boxplus$, with non-equivalent semantics. We show that on the class of models satisfying any of five basic properties (i.e. seriality, reflexivity, transitivity, symmetry, Euclidicity), the logic $mathcal{L}(boxdot)$, which has $boxdot$ as the sole modal primitive, is less expressive than the logic $mathcal{L}(boxplus)$, which has $boxplus$ as the sole modal primitive. We investigate the frame definability of both languages. We then axiomatize $mathcal{L}(boxplus)$ and $mathcal{L}(boxdot)$ over various classes of bimodal frames. Among other results, a notion of morphisms, called `$boxdot$-morphisms', are provided to show the completeness of axiomatizations of $mathcal{L}(boxdot)$ over serial frames and also over symmetric frames." @default.
• W2948247532 created "2019-06-14" @default.
• W2948247532 creator A5087182382 @default.
• W2948247532 date "2019-06-07" @default.
• W2948247532 modified "2023-09-27" @default.
• W2948247532 title "Two variants of noncontingency operator" @default.
• W2948247532 cites W16179680 @default.
• W2948247532 cites W1989481495 @default.
• W2948247532 cites W2028311000 @default.
• W2948247532 cites W2066873006 @default.
• W2948247532 cites W2072977212 @default.
• W2948247532 cites W2099932469 @default.
• W2948247532 cites W2123985313 @default.
• W2948247532 cites W2142583143 @default.
• W2948247532 cites W2346246140 @default.
• W2948247532 cites W2611027657 @default.
• W2948247532 cites W2779669479 @default.
• W2948247532 cites W2786314660 @default.
• W2948247532 cites W2908111765 @default.
• W2948247532 cites W3101842518 @default.
• W2948247532 hasPublicationYear "2019" @default.
• W2948247532 type Work @default.
• W2948247532 sameAs 2948247532 @default.
• W2948247532 citedByCount "0" @default.
• W2948247532 crossrefType "posted-content" @default.
• W2948247532 hasAuthorship W2948247532A5087182382 @default.
• W2948247532 hasConcept C104317684 @default.
• W2948247532 hasConcept C114614502 @default.
• W2948247532 hasConcept C118615104 @default.
• W2948247532 hasConcept C126042441 @default.
• W2948247532 hasConcept C134306372 @default.
• W2948247532 hasConcept C136119220 @default.
• W2948247532 hasConcept C137212723 @default.
• W2948247532 hasConcept C154945302 @default.
• W2948247532 hasConcept C158448853 @default.
• W2948247532 hasConcept C17020691 @default.
• W2948247532 hasConcept C17231256 @default.
• W2948247532 hasConcept C184337299 @default.
• W2948247532 hasConcept C185592680 @default.
• W2948247532 hasConcept C188027245 @default.
• W2948247532 hasConcept C191399111 @default.
• W2948247532 hasConcept C199360897 @default.
• W2948247532 hasConcept C202444582 @default.
• W2948247532 hasConcept C27508121 @default.
• W2948247532 hasConcept C2777212361 @default.
• W2948247532 hasConcept C33923547 @default.
• W2948247532 hasConcept C41008148 @default.
• W2948247532 hasConcept C55493867 @default.
• W2948247532 hasConcept C71139939 @default.
• W2948247532 hasConcept C76155785 @default.
• W2948247532 hasConcept C78344899 @default.
• W2948247532 hasConcept C86339819 @default.
• W2948247532 hasConceptScore W2948247532C104317684 @default.
• W2948247532 hasConceptScore W2948247532C114614502 @default.
• W2948247532 hasConceptScore W2948247532C118615104 @default.
• W2948247532 hasConceptScore W2948247532C126042441 @default.
• W2948247532 hasConceptScore W2948247532C134306372 @default.
• W2948247532 hasConceptScore W2948247532C136119220 @default.
• W2948247532 hasConceptScore W2948247532C137212723 @default.
• W2948247532 hasConceptScore W2948247532C154945302 @default.
• W2948247532 hasConceptScore W2948247532C158448853 @default.
• W2948247532 hasConceptScore W2948247532C17020691 @default.
• W2948247532 hasConceptScore W2948247532C17231256 @default.
• W2948247532 hasConceptScore W2948247532C184337299 @default.
• W2948247532 hasConceptScore W2948247532C185592680 @default.
• W2948247532 hasConceptScore W2948247532C188027245 @default.
• W2948247532 hasConceptScore W2948247532C191399111 @default.
• W2948247532 hasConceptScore W2948247532C199360897 @default.
• W2948247532 hasConceptScore W2948247532C202444582 @default.
• W2948247532 hasConceptScore W2948247532C27508121 @default.
• W2948247532 hasConceptScore W2948247532C2777212361 @default.
• W2948247532 hasConceptScore W2948247532C33923547 @default.
• W2948247532 hasConceptScore W2948247532C41008148 @default.
• W2948247532 hasConceptScore W2948247532C55493867 @default.
• W2948247532 hasConceptScore W2948247532C71139939 @default.
• W2948247532 hasConceptScore W2948247532C76155785 @default.
• W2948247532 hasConceptScore W2948247532C78344899 @default.
• W2948247532 hasConceptScore W2948247532C86339819 @default.
• W2948247532 hasLocation W29482475321 @default.
• W2948247532 hasOpenAccess W2948247532 @default.
• W2948247532 hasPrimaryLocation W29482475321 @default.
• W2948247532 hasRelatedWork W1059541196 @default.
• W2948247532 hasRelatedWork W142053201 @default.
• W2948247532 hasRelatedWork W1480389067 @default.
• W2948247532 hasRelatedWork W1530728130 @default.
• W2948247532 hasRelatedWork W1606971543 @default.
• W2948247532 hasRelatedWork W1625156626 @default.
• W2948247532 hasRelatedWork W2003311901 @default.
• W2948247532 hasRelatedWork W2014467270 @default.
• W2948247532 hasRelatedWork W2029151503 @default.
• W2948247532 hasRelatedWork W2050579864 @default.
• W2948247532 hasRelatedWork W207485613 @default.
• W2948247532 hasRelatedWork W2127907968 @default.
• W2948247532 hasRelatedWork W2244009261 @default.
• W2948247532 hasRelatedWork W2286419476 @default.
• W2948247532 hasRelatedWork W2489834239 @default.
• W2948247532 hasRelatedWork W2549473677 @default.
• W2948247532 hasRelatedWork W2799361847 @default.
• W2948247532 hasRelatedWork W2937483042 @default.
• W2948247532 hasRelatedWork W3158961529 @default.

• next