Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287759898> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4287759898 abstract "We present some hypersequent calculi for all systems of the classical cube and their extensions with axioms $T$, $P$, $D$, and, for every $ngeq 1$, rule $RD^+_n$. The calculi are internal as they only employ the language of the logic, plus additional structural connectives. We show that the calculi are complete with respect to the corresponding axiomatisation by a syntactic proof of cut elimination. Then we define a terminating root-first proof search strategy based on the hypersequent calculi and show that it is optimal for coNP-complete logics. Moreover, we obtain that from every saturated leaf of a failed proof it is possible to define a countermodel of the root hypersequent in the bi-neighbourhood semantics, and for regular logics also in the relational semantics. We finish the paper by giving a translation between hypersequent rule applications and derivations in a labelled system for the classical cube." @default.
- W4287759898 created "2022-07-26" @default.
- W4287759898 creator A5000093016 @default.
- W4287759898 creator A5009045679 @default.
- W4287759898 creator A5019687464 @default.
- W4287759898 creator A5042888655 @default.
- W4287759898 date "2020-06-09" @default.
- W4287759898 modified "2023-10-18" @default.
- W4287759898 title "Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity" @default.
- W4287759898 doi "https://doi.org/10.48550/arxiv.2006.05436" @default.
- W4287759898 hasPublicationYear "2020" @default.
- W4287759898 type Work @default.
- W4287759898 citedByCount "0" @default.
- W4287759898 crossrefType "posted-content" @default.
- W4287759898 hasAuthorship W4287759898A5000093016 @default.
- W4287759898 hasAuthorship W4287759898A5009045679 @default.
- W4287759898 hasAuthorship W4287759898A5019687464 @default.
- W4287759898 hasAuthorship W4287759898A5042888655 @default.
- W4287759898 hasBestOaLocation W42877598981 @default.
- W4287759898 hasConcept C11413529 @default.
- W4287759898 hasConcept C118615104 @default.
- W4287759898 hasConcept C138885662 @default.
- W4287759898 hasConcept C167729594 @default.
- W4287759898 hasConcept C184337299 @default.
- W4287759898 hasConcept C185592680 @default.
- W4287759898 hasConcept C188027245 @default.
- W4287759898 hasConcept C199343813 @default.
- W4287759898 hasConcept C199360897 @default.
- W4287759898 hasConcept C2524010 @default.
- W4287759898 hasConcept C2777686260 @default.
- W4287759898 hasConcept C33923547 @default.
- W4287759898 hasConcept C41008148 @default.
- W4287759898 hasConcept C41895202 @default.
- W4287759898 hasConcept C6377922 @default.
- W4287759898 hasConcept C71139939 @default.
- W4287759898 hasConcept C71924100 @default.
- W4287759898 hasConceptScore W4287759898C11413529 @default.
- W4287759898 hasConceptScore W4287759898C118615104 @default.
- W4287759898 hasConceptScore W4287759898C138885662 @default.
- W4287759898 hasConceptScore W4287759898C167729594 @default.
- W4287759898 hasConceptScore W4287759898C184337299 @default.
- W4287759898 hasConceptScore W4287759898C185592680 @default.
- W4287759898 hasConceptScore W4287759898C188027245 @default.
- W4287759898 hasConceptScore W4287759898C199343813 @default.
- W4287759898 hasConceptScore W4287759898C199360897 @default.
- W4287759898 hasConceptScore W4287759898C2524010 @default.
- W4287759898 hasConceptScore W4287759898C2777686260 @default.
- W4287759898 hasConceptScore W4287759898C33923547 @default.
- W4287759898 hasConceptScore W4287759898C41008148 @default.
- W4287759898 hasConceptScore W4287759898C41895202 @default.
- W4287759898 hasConceptScore W4287759898C6377922 @default.
- W4287759898 hasConceptScore W4287759898C71139939 @default.
- W4287759898 hasConceptScore W4287759898C71924100 @default.
- W4287759898 hasLocation W42877598981 @default.
- W4287759898 hasLocation W42877598982 @default.
- W4287759898 hasLocation W42877598983 @default.
- W4287759898 hasOpenAccess W4287759898 @default.
- W4287759898 hasPrimaryLocation W42877598981 @default.
- W4287759898 hasRelatedWork W10462600 @default.
- W4287759898 hasRelatedWork W10744749 @default.
- W4287759898 hasRelatedWork W12301096 @default.
- W4287759898 hasRelatedWork W12780597 @default.
- W4287759898 hasRelatedWork W1370157 @default.
- W4287759898 hasRelatedWork W3510994 @default.
- W4287759898 hasRelatedWork W5268957 @default.
- W4287759898 hasRelatedWork W633838 @default.
- W4287759898 hasRelatedWork W6393781 @default.
- W4287759898 hasRelatedWork W9080237 @default.
- W4287759898 isParatext "false" @default.
- W4287759898 isRetracted "false" @default.
- W4287759898 workType "article" @default.