FRINK Linked Data Fragments server

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

• W3008715280 abstract "G3-style sequent calculi for the logics in the cube of non-normal modal logics and for their deontic extensions are studied. For each calculus we prove that weakening and contraction are height-preserving admissible, and we give a syntactic proof of the admissibility of cut. This implies that the subformula property holds and that derivability can be decided by a terminating proof search whose complexity is in PSPACE. These calculi are shown to be equivalent to the axiomatic ones and, therefore, they are sound and complete with respect to neighbourhood semantics. Finally, it is given a Maehara-style proof of Craig's interpolation theorem for most of the logics considered." @default.
• W3008715280 created "2020-03-06" @default.
• W3008715280 creator A5080616827 @default.
• W3008715280 date "2019-03-27" @default.
• W3008715280 modified "2023-09-27" @default.
• W3008715280 title "Sequent calculi and interpolation for non-normal modal and deonticlogics" @default.
• W3008715280 cites W1506717521 @default.
• W3008715280 cites W1528233644 @default.
• W3008715280 cites W1570374618 @default.
• W3008715280 cites W1580642598 @default.
• W3008715280 cites W1596067335 @default.
• W3008715280 cites W1998546048 @default.
• W3008715280 cites W2018651033 @default.
• W3008715280 cites W2025873079 @default.
• W3008715280 cites W2058636048 @default.
• W3008715280 cites W2067093513 @default.
• W3008715280 cites W2090553806 @default.
• W3008715280 cites W2092765780 @default.
• W3008715280 cites W2121827343 @default.
• W3008715280 cites W2127394739 @default.
• W3008715280 cites W2134929682 @default.
• W3008715280 cites W2147579323 @default.
• W3008715280 cites W2155088962 @default.
• W3008715280 cites W2215786367 @default.
• W3008715280 cites W2250074872 @default.
• W3008715280 cites W2540819425 @default.
• W3008715280 cites W2758969507 @default.
• W3008715280 cites W2898960428 @default.
• W3008715280 cites W2899099304 @default.
• W3008715280 cites W2921750093 @default.
• W3008715280 cites W2925439225 @default.
• W3008715280 cites W2946543186 @default.
• W3008715280 cites W2964142950 @default.
• W3008715280 hasPublicationYear "2019" @default.
• W3008715280 type Work @default.
• W3008715280 sameAs 3008715280 @default.
• W3008715280 citedByCount "0" @default.
• W3008715280 crossrefType "posted-content" @default.
• W3008715280 hasAuthorship W3008715280A5080616827 @default.
• W3008715280 hasConcept C108710211 @default.
• W3008715280 hasConcept C111472728 @default.
• W3008715280 hasConcept C11191006 @default.
• W3008715280 hasConcept C114092440 @default.
• W3008715280 hasConcept C11413529 @default.
• W3008715280 hasConcept C118615104 @default.
• W3008715280 hasConcept C136119220 @default.
• W3008715280 hasConcept C138885662 @default.
• W3008715280 hasConcept C167729594 @default.
• W3008715280 hasConcept C179799912 @default.
• W3008715280 hasConcept C185592680 @default.
• W3008715280 hasConcept C188027245 @default.
• W3008715280 hasConcept C189950617 @default.
• W3008715280 hasConcept C197685441 @default.
• W3008715280 hasConcept C199343813 @default.
• W3008715280 hasConcept C202444582 @default.
• W3008715280 hasConcept C2524010 @default.
• W3008715280 hasConcept C27508121 @default.
• W3008715280 hasConcept C2777686260 @default.
• W3008715280 hasConcept C33923547 @default.
• W3008715280 hasConcept C41895202 @default.
• W3008715280 hasConcept C6377922 @default.
• W3008715280 hasConcept C65880906 @default.
• W3008715280 hasConcept C71139939 @default.
• W3008715280 hasConcept C71924100 @default.
• W3008715280 hasConcept C89421646 @default.
• W3008715280 hasConceptScore W3008715280C108710211 @default.
• W3008715280 hasConceptScore W3008715280C111472728 @default.
• W3008715280 hasConceptScore W3008715280C11191006 @default.
• W3008715280 hasConceptScore W3008715280C114092440 @default.
• W3008715280 hasConceptScore W3008715280C11413529 @default.
• W3008715280 hasConceptScore W3008715280C118615104 @default.
• W3008715280 hasConceptScore W3008715280C136119220 @default.
• W3008715280 hasConceptScore W3008715280C138885662 @default.
• W3008715280 hasConceptScore W3008715280C167729594 @default.
• W3008715280 hasConceptScore W3008715280C179799912 @default.
• W3008715280 hasConceptScore W3008715280C185592680 @default.
• W3008715280 hasConceptScore W3008715280C188027245 @default.
• W3008715280 hasConceptScore W3008715280C189950617 @default.
• W3008715280 hasConceptScore W3008715280C197685441 @default.
• W3008715280 hasConceptScore W3008715280C199343813 @default.
• W3008715280 hasConceptScore W3008715280C202444582 @default.
• W3008715280 hasConceptScore W3008715280C2524010 @default.
• W3008715280 hasConceptScore W3008715280C27508121 @default.
• W3008715280 hasConceptScore W3008715280C2777686260 @default.
• W3008715280 hasConceptScore W3008715280C33923547 @default.
• W3008715280 hasConceptScore W3008715280C41895202 @default.
• W3008715280 hasConceptScore W3008715280C6377922 @default.
• W3008715280 hasConceptScore W3008715280C65880906 @default.
• W3008715280 hasConceptScore W3008715280C71139939 @default.
• W3008715280 hasConceptScore W3008715280C71924100 @default.
• W3008715280 hasConceptScore W3008715280C89421646 @default.
• W3008715280 hasLocation W30087152801 @default.
• W3008715280 hasOpenAccess W3008715280 @default.
• W3008715280 hasPrimaryLocation W30087152801 @default.
• W3008715280 hasRelatedWork W1567530468 @default.
• W3008715280 hasRelatedWork W183020182 @default.
• W3008715280 hasRelatedWork W1975560341 @default.
• W3008715280 hasRelatedWork W1991361313 @default.
• W3008715280 hasRelatedWork W2037995299 @default.
• W3008715280 hasRelatedWork W2155776066 @default.

• next