Matches in SemOpenAlex for { <https://semopenalex.org/work/W2946543186> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2946543186 endingPage "506" @default.
- W2946543186 startingPage "478" @default.
- W2946543186 abstract "Abstract This paper provides a proof-theoretic study of quantified non-normal modal logics (NNML). It introduces labelled sequent calculi based on neighbourhood semantics for the first-order extension, with both varying and constant domains, of monotone NNML, and studies the role of the Barcan formulas in these calculi. It will be shown that the calculi introduced have good structural properties: invertibility of the rules, height-preserving admissibility of weakening and contraction and syntactic cut elimination. It will also be shown that each of the calculi introduced is sound and complete with respect to the appropriate class of neighbourhood frames. In particular, the completeness proof constructs a formal derivation for derivable sequents and a countermodel for non-derivable ones, and gives a semantic proof of the admissibility of cut." @default.
- W2946543186 created "2019-05-29" @default.
- W2946543186 creator A5051669490 @default.
- W2946543186 creator A5080616827 @default.
- W2946543186 date "2019-05-24" @default.
- W2946543186 modified "2023-09-24" @default.
- W2946543186 title "Proof theory for quantified monotone modal logics" @default.
- W2946543186 cites W1043660496 @default.
- W2946543186 cites W1489270299 @default.
- W2946543186 cites W1528233644 @default.
- W2946543186 cites W1570981990 @default.
- W2946543186 cites W1588085858 @default.
- W2946543186 cites W1975000410 @default.
- W2946543186 cites W1981707252 @default.
- W2946543186 cites W1995718667 @default.
- W2946543186 cites W2058636048 @default.
- W2946543186 cites W2078117620 @default.
- W2946543186 cites W2102405627 @default.
- W2946543186 cites W2109058602 @default.
- W2946543186 cites W2215786367 @default.
- W2946543186 cites W2216255786 @default.
- W2946543186 cites W2241461299 @default.
- W2946543186 cites W2549644848 @default.
- W2946543186 cites W4242309855 @default.
- W2946543186 doi "https://doi.org/10.1093/jigpal/jzz015" @default.
- W2946543186 hasPublicationYear "2019" @default.
- W2946543186 type Work @default.
- W2946543186 sameAs 2946543186 @default.
- W2946543186 citedByCount "7" @default.
- W2946543186 countsByYear W29465431862019 @default.
- W2946543186 countsByYear W29465431862020 @default.
- W2946543186 countsByYear W29465431862021 @default.
- W2946543186 crossrefType "journal-article" @default.
- W2946543186 hasAuthorship W2946543186A5051669490 @default.
- W2946543186 hasAuthorship W2946543186A5080616827 @default.
- W2946543186 hasBestOaLocation W29465431862 @default.
- W2946543186 hasConcept C108710211 @default.
- W2946543186 hasConcept C118615104 @default.
- W2946543186 hasConcept C134306372 @default.
- W2946543186 hasConcept C136119220 @default.
- W2946543186 hasConcept C17231256 @default.
- W2946543186 hasConcept C185592680 @default.
- W2946543186 hasConcept C188027245 @default.
- W2946543186 hasConcept C199343813 @default.
- W2946543186 hasConcept C202444582 @default.
- W2946543186 hasConcept C2318724 @default.
- W2946543186 hasConcept C2524010 @default.
- W2946543186 hasConcept C27508121 @default.
- W2946543186 hasConcept C2777686260 @default.
- W2946543186 hasConcept C2834757 @default.
- W2946543186 hasConcept C33923547 @default.
- W2946543186 hasConcept C41008148 @default.
- W2946543186 hasConcept C71139939 @default.
- W2946543186 hasConcept C71924100 @default.
- W2946543186 hasConcept C89421646 @default.
- W2946543186 hasConceptScore W2946543186C108710211 @default.
- W2946543186 hasConceptScore W2946543186C118615104 @default.
- W2946543186 hasConceptScore W2946543186C134306372 @default.
- W2946543186 hasConceptScore W2946543186C136119220 @default.
- W2946543186 hasConceptScore W2946543186C17231256 @default.
- W2946543186 hasConceptScore W2946543186C185592680 @default.
- W2946543186 hasConceptScore W2946543186C188027245 @default.
- W2946543186 hasConceptScore W2946543186C199343813 @default.
- W2946543186 hasConceptScore W2946543186C202444582 @default.
- W2946543186 hasConceptScore W2946543186C2318724 @default.
- W2946543186 hasConceptScore W2946543186C2524010 @default.
- W2946543186 hasConceptScore W2946543186C27508121 @default.
- W2946543186 hasConceptScore W2946543186C2777686260 @default.
- W2946543186 hasConceptScore W2946543186C2834757 @default.
- W2946543186 hasConceptScore W2946543186C33923547 @default.
- W2946543186 hasConceptScore W2946543186C41008148 @default.
- W2946543186 hasConceptScore W2946543186C71139939 @default.
- W2946543186 hasConceptScore W2946543186C71924100 @default.
- W2946543186 hasConceptScore W2946543186C89421646 @default.
- W2946543186 hasFunder F4320321108 @default.
- W2946543186 hasIssue "4" @default.
- W2946543186 hasLocation W29465431861 @default.
- W2946543186 hasLocation W29465431862 @default.
- W2946543186 hasLocation W29465431863 @default.
- W2946543186 hasOpenAccess W2946543186 @default.
- W2946543186 hasPrimaryLocation W29465431861 @default.
- W2946543186 hasRelatedWork W1896053542 @default.
- W2946543186 hasRelatedWork W2125838990 @default.
- W2946543186 hasRelatedWork W2263480042 @default.
- W2946543186 hasRelatedWork W2946543186 @default.
- W2946543186 hasRelatedWork W2966182976 @default.
- W2946543186 hasRelatedWork W3112266304 @default.
- W2946543186 hasRelatedWork W40492301 @default.
- W2946543186 hasRelatedWork W620828109 @default.
- W2946543186 hasRelatedWork W2525383019 @default.
- W2946543186 hasRelatedWork W44358947 @default.
- W2946543186 hasVolume "27" @default.
- W2946543186 isParatext "false" @default.
- W2946543186 isRetracted "false" @default.
- W2946543186 magId "2946543186" @default.
- W2946543186 workType "article" @default.