Matches in SemOpenAlex for { <https://semopenalex.org/work/W4381736682> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4381736682 endingPage "14" @default.
- W4381736682 startingPage "1" @default.
- W4381736682 abstract "Abstract This paper proves the finite axiomatizability of transitive modal logics of finite depth and finite width w.r.t. proper-successor-equivalence. The frame condition of the latter requires, in a rooted transitive frame, a finite upper bound of cardinality for antichains of points with different sets of proper successors. The result generalizes Rybakov’s result of the finite axiomatizability of extensions of $mathbf {S4}$ of finite depth and finite width." @default.
- W4381736682 created "2023-06-24" @default.
- W4381736682 creator A5005578228 @default.
- W4381736682 creator A5091271209 @default.
- W4381736682 date "2023-06-23" @default.
- W4381736682 modified "2023-09-27" @default.
- W4381736682 title "FINITE AXIOMATIZABILITY OF TRANSITIVE MODAL LOGICS OF FINITE DEPTH AND WIDTH WITH RESPECT TO PROPER-SUCCESSOR-EQUIVALENCE" @default.
- W4381736682 cites W1986094041 @default.
- W4381736682 cites W2008952614 @default.
- W4381736682 cites W2028174037 @default.
- W4381736682 cites W2036348018 @default.
- W4381736682 cites W2076972393 @default.
- W4381736682 cites W2090086476 @default.
- W4381736682 cites W2153275758 @default.
- W4381736682 cites W3149551834 @default.
- W4381736682 cites W4211144022 @default.
- W4381736682 doi "https://doi.org/10.1017/s1755020323000175" @default.
- W4381736682 hasPublicationYear "2023" @default.
- W4381736682 type Work @default.
- W4381736682 citedByCount "0" @default.
- W4381736682 crossrefType "journal-article" @default.
- W4381736682 hasAuthorship W4381736682A5005578228 @default.
- W4381736682 hasAuthorship W4381736682A5091271209 @default.
- W4381736682 hasConcept C114614502 @default.
- W4381736682 hasConcept C121332964 @default.
- W4381736682 hasConcept C124101348 @default.
- W4381736682 hasConcept C134306372 @default.
- W4381736682 hasConcept C135628077 @default.
- W4381736682 hasConcept C185592680 @default.
- W4381736682 hasConcept C188027245 @default.
- W4381736682 hasConcept C191399111 @default.
- W4381736682 hasConcept C202444582 @default.
- W4381736682 hasConcept C2780069185 @default.
- W4381736682 hasConcept C33923547 @default.
- W4381736682 hasConcept C41008148 @default.
- W4381736682 hasConcept C71139939 @default.
- W4381736682 hasConcept C75306776 @default.
- W4381736682 hasConcept C87117476 @default.
- W4381736682 hasConcept C97355855 @default.
- W4381736682 hasConceptScore W4381736682C114614502 @default.
- W4381736682 hasConceptScore W4381736682C121332964 @default.
- W4381736682 hasConceptScore W4381736682C124101348 @default.
- W4381736682 hasConceptScore W4381736682C134306372 @default.
- W4381736682 hasConceptScore W4381736682C135628077 @default.
- W4381736682 hasConceptScore W4381736682C185592680 @default.
- W4381736682 hasConceptScore W4381736682C188027245 @default.
- W4381736682 hasConceptScore W4381736682C191399111 @default.
- W4381736682 hasConceptScore W4381736682C202444582 @default.
- W4381736682 hasConceptScore W4381736682C2780069185 @default.
- W4381736682 hasConceptScore W4381736682C33923547 @default.
- W4381736682 hasConceptScore W4381736682C41008148 @default.
- W4381736682 hasConceptScore W4381736682C71139939 @default.
- W4381736682 hasConceptScore W4381736682C75306776 @default.
- W4381736682 hasConceptScore W4381736682C87117476 @default.
- W4381736682 hasConceptScore W4381736682C97355855 @default.
- W4381736682 hasLocation W43817366821 @default.
- W4381736682 hasOpenAccess W4381736682 @default.
- W4381736682 hasPrimaryLocation W43817366821 @default.
- W4381736682 hasRelatedWork W1973109584 @default.
- W4381736682 hasRelatedWork W1978539514 @default.
- W4381736682 hasRelatedWork W2072268239 @default.
- W4381736682 hasRelatedWork W2083044841 @default.
- W4381736682 hasRelatedWork W2317783843 @default.
- W4381736682 hasRelatedWork W2331003186 @default.
- W4381736682 hasRelatedWork W2964187826 @default.
- W4381736682 hasRelatedWork W4211007126 @default.
- W4381736682 hasRelatedWork W4321499188 @default.
- W4381736682 hasRelatedWork W4381736682 @default.
- W4381736682 isParatext "false" @default.
- W4381736682 isRetracted "false" @default.
- W4381736682 workType "article" @default.