Matches in SemOpenAlex for { <https://semopenalex.org/work/W2968640505> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2968640505 abstract "Abstract This is a sequel article to [10] where a hypersequent calculus (HC) for some temporal logics of linear frames including Kt4.3 and its extensions for dense and serial flow of time was investigated in detail. A distinctive feature of this approach is that hypersequents are noncommutative, i.e., they are finite lists of sequents in contrast to other hypersequent approaches using sets or multisets. Such a system in [10] was proved to be cut-free HC formalization of respective logics by means of semantical argument. In this article we present an equivalent variant of this calculus for which a constructive syntactical proof of cut elimination is provided." @default.
- W2968640505 created "2019-08-22" @default.
- W2968640505 creator A5036443124 @default.
- W2968640505 date "2019-08-13" @default.
- W2968640505 modified "2023-09-25" @default.
- W2968640505 title "CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME" @default.
- W2968640505 cites W1765007146 @default.
- W2968640505 cites W1971043428 @default.
- W2968640505 cites W1990470938 @default.
- W2968640505 cites W2037330115 @default.
- W2968640505 cites W2043677412 @default.
- W2968640505 cites W2153202364 @default.
- W2968640505 cites W2313862367 @default.
- W2968640505 cites W27601353 @default.
- W2968640505 cites W2801542259 @default.
- W2968640505 cites W4236364473 @default.
- W2968640505 doi "https://doi.org/10.1017/s1755020319000352" @default.
- W2968640505 hasPublicationYear "2019" @default.
- W2968640505 type Work @default.
- W2968640505 sameAs 2968640505 @default.
- W2968640505 citedByCount "4" @default.
- W2968640505 countsByYear W29686405052020 @default.
- W2968640505 countsByYear W29686405052021 @default.
- W2968640505 crossrefType "journal-article" @default.
- W2968640505 hasAuthorship W2968640505A5036443124 @default.
- W2968640505 hasConcept C108710211 @default.
- W2968640505 hasConcept C118615104 @default.
- W2968640505 hasConcept C136119220 @default.
- W2968640505 hasConcept C138885662 @default.
- W2968640505 hasConcept C154945302 @default.
- W2968640505 hasConcept C185592680 @default.
- W2968640505 hasConcept C199343813 @default.
- W2968640505 hasConcept C199360897 @default.
- W2968640505 hasConcept C202444582 @default.
- W2968640505 hasConcept C2524010 @default.
- W2968640505 hasConcept C2776401178 @default.
- W2968640505 hasConcept C2776502983 @default.
- W2968640505 hasConcept C2777686260 @default.
- W2968640505 hasConcept C2778701210 @default.
- W2968640505 hasConcept C28077239 @default.
- W2968640505 hasConcept C33923547 @default.
- W2968640505 hasConcept C41008148 @default.
- W2968640505 hasConcept C41895202 @default.
- W2968640505 hasConcept C55493867 @default.
- W2968640505 hasConcept C65880906 @default.
- W2968640505 hasConcept C71924100 @default.
- W2968640505 hasConcept C98045186 @default.
- W2968640505 hasConcept C98184364 @default.
- W2968640505 hasConceptScore W2968640505C108710211 @default.
- W2968640505 hasConceptScore W2968640505C118615104 @default.
- W2968640505 hasConceptScore W2968640505C136119220 @default.
- W2968640505 hasConceptScore W2968640505C138885662 @default.
- W2968640505 hasConceptScore W2968640505C154945302 @default.
- W2968640505 hasConceptScore W2968640505C185592680 @default.
- W2968640505 hasConceptScore W2968640505C199343813 @default.
- W2968640505 hasConceptScore W2968640505C199360897 @default.
- W2968640505 hasConceptScore W2968640505C202444582 @default.
- W2968640505 hasConceptScore W2968640505C2524010 @default.
- W2968640505 hasConceptScore W2968640505C2776401178 @default.
- W2968640505 hasConceptScore W2968640505C2776502983 @default.
- W2968640505 hasConceptScore W2968640505C2777686260 @default.
- W2968640505 hasConceptScore W2968640505C2778701210 @default.
- W2968640505 hasConceptScore W2968640505C28077239 @default.
- W2968640505 hasConceptScore W2968640505C33923547 @default.
- W2968640505 hasConceptScore W2968640505C41008148 @default.
- W2968640505 hasConceptScore W2968640505C41895202 @default.
- W2968640505 hasConceptScore W2968640505C55493867 @default.
- W2968640505 hasConceptScore W2968640505C65880906 @default.
- W2968640505 hasConceptScore W2968640505C71924100 @default.
- W2968640505 hasConceptScore W2968640505C98045186 @default.
- W2968640505 hasConceptScore W2968640505C98184364 @default.
- W2968640505 hasLocation W29686405051 @default.
- W2968640505 hasOpenAccess W2968640505 @default.
- W2968640505 hasPrimaryLocation W29686405051 @default.
- W2968640505 hasRelatedWork W10744749 @default.
- W2968640505 hasRelatedWork W11150396 @default.
- W2968640505 hasRelatedWork W1370157 @default.
- W2968640505 hasRelatedWork W4199488 @default.
- W2968640505 hasRelatedWork W5644932 @default.
- W2968640505 hasRelatedWork W7843319 @default.
- W2968640505 hasRelatedWork W7885259 @default.
- W2968640505 hasRelatedWork W7980256 @default.
- W2968640505 hasRelatedWork W8130393 @default.
- W2968640505 hasRelatedWork W8365111 @default.
- W2968640505 isParatext "false" @default.
- W2968640505 isRetracted "false" @default.
- W2968640505 magId "2968640505" @default.
- W2968640505 workType "article" @default.