FRINK Linked Data Fragments server

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

• W2224511541 abstract "We present deductive systems for various modal logics that can be obtained from the constructive variant of the normal modal logic CK by adding combinations of the axioms d, t, b, 4, and 5. This includes the constructive variants of the standard modal logics K4, S4, and S5. We use for our presentation the formalism of nested sequents and give a syntactic proof of cut elimination." @default.
• W2224511541 created "2016-06-24" @default.
• W2224511541 creator A5029161122 @default.
• W2224511541 creator A5029941199 @default.
• W2224511541 creator A5089810498 @default.
• W2224511541 date "2015-09-03" @default.
• W2224511541 modified "2023-10-15" @default.
• W2224511541 title "On Nested Sequents for Constructive Modal Logics" @default.
• W2224511541 cites W1488538795 @default.
• W2224511541 cites W1525047654 @default.
• W2224511541 cites W1539123436 @default.
• W2224511541 cites W1539726370 @default.
• W2224511541 cites W158172625 @default.
• W2224511541 cites W1590839691 @default.
• W2224511541 cites W1678412398 @default.
• W2224511541 cites W1964202571 @default.
• W2224511541 cites W1966647830 @default.
• W2224511541 cites W1970822788 @default.
• W2224511541 cites W1988177568 @default.
• W2224511541 cites W1988824860 @default.
• W2224511541 cites W1996723544 @default.
• W2224511541 cites W2009791150 @default.
• W2224511541 cites W2020894459 @default.
• W2224511541 cites W2023132547 @default.
• W2224511541 cites W2023557900 @default.
• W2224511541 cites W2067278394 @default.
• W2224511541 cites W2074551833 @default.
• W2224511541 cites W207654131 @default.
• W2224511541 cites W2087640560 @default.
• W2224511541 cites W2114469058 @default.
• W2224511541 cites W2137006460 @default.
• W2224511541 cites W2143326093 @default.
• W2224511541 cites W2160771441 @default.
• W2224511541 cites W2244976569 @default.
• W2224511541 cites W2318764792 @default.
• W2224511541 cites W2610670723 @default.
• W2224511541 cites W2908250557 @default.
• W2224511541 cites W49329176 @default.
• W2224511541 doi "https://doi.org/10.2168/lmcs-11(3:7)2015" @default.
• W2224511541 hasPublicationYear "2015" @default.
• W2224511541 type Work @default.
• W2224511541 sameAs 2224511541 @default.
• W2224511541 citedByCount "9" @default.
• W2224511541 countsByYear W22245115412015 @default.
• W2224511541 countsByYear W22245115412017 @default.
• W2224511541 countsByYear W22245115412018 @default.
• W2224511541 countsByYear W22245115412019 @default.
• W2224511541 countsByYear W22245115412020 @default.
• W2224511541 countsByYear W22245115412021 @default.
• W2224511541 countsByYear W22245115412023 @default.
• W2224511541 crossrefType "journal-article" @default.
• W2224511541 hasAuthorship W2224511541A5029161122 @default.
• W2224511541 hasAuthorship W2224511541A5029941199 @default.
• W2224511541 hasAuthorship W2224511541A5089810498 @default.
• W2224511541 hasBestOaLocation W22245115411 @default.
• W2224511541 hasConcept C11191006 @default.
• W2224511541 hasConcept C114092440 @default.
• W2224511541 hasConcept C118615104 @default.
• W2224511541 hasConcept C136119220 @default.
• W2224511541 hasConcept C142362112 @default.
• W2224511541 hasConcept C153349607 @default.
• W2224511541 hasConcept C167729594 @default.
• W2224511541 hasConcept C178421362 @default.
• W2224511541 hasConcept C185592680 @default.
• W2224511541 hasConcept C188027245 @default.
• W2224511541 hasConcept C192609573 @default.
• W2224511541 hasConcept C199343813 @default.
• W2224511541 hasConcept C199360897 @default.
• W2224511541 hasConcept C202444582 @default.
• W2224511541 hasConcept C2524010 @default.
• W2224511541 hasConcept C27508121 @default.
• W2224511541 hasConcept C2777686260 @default.
• W2224511541 hasConcept C2778701210 @default.
• W2224511541 hasConcept C33923547 @default.
• W2224511541 hasConcept C41008148 @default.
• W2224511541 hasConcept C558565934 @default.
• W2224511541 hasConcept C69562738 @default.
• W2224511541 hasConcept C71139939 @default.
• W2224511541 hasConcept C71924100 @default.
• W2224511541 hasConcept C73301696 @default.
• W2224511541 hasConcept C78344899 @default.
• W2224511541 hasConcept C98045186 @default.
• W2224511541 hasConceptScore W2224511541C11191006 @default.
• W2224511541 hasConceptScore W2224511541C114092440 @default.
• W2224511541 hasConceptScore W2224511541C118615104 @default.
• W2224511541 hasConceptScore W2224511541C136119220 @default.
• W2224511541 hasConceptScore W2224511541C142362112 @default.
• W2224511541 hasConceptScore W2224511541C153349607 @default.
• W2224511541 hasConceptScore W2224511541C167729594 @default.
• W2224511541 hasConceptScore W2224511541C178421362 @default.
• W2224511541 hasConceptScore W2224511541C185592680 @default.
• W2224511541 hasConceptScore W2224511541C188027245 @default.
• W2224511541 hasConceptScore W2224511541C192609573 @default.
• W2224511541 hasConceptScore W2224511541C199343813 @default.
• W2224511541 hasConceptScore W2224511541C199360897 @default.
• W2224511541 hasConceptScore W2224511541C202444582 @default.
• W2224511541 hasConceptScore W2224511541C2524010 @default.
• W2224511541 hasConceptScore W2224511541C27508121 @default.
• W2224511541 hasConceptScore W2224511541C2777686260 @default.
• W2224511541 hasConceptScore W2224511541C2778701210 @default.

• next