Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566288082> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1566288082 endingPage "241" @default.
- W1566288082 startingPage "213" @default.
- W1566288082 abstract "Proof theory of modal logics, though largely studied since the fifties, has always been a delicate subject, the main reason being the apparent impossibility to obtain elegant, natural systems for intensional operators (with the excellent exception of intuitionistic logic). For example Segerberg, not earlier than 1984 [5], observed that the Gentzen format, which works so well for truth functional and intuitionistic operators, cannot be a priori expected to remain valid for modal logics; carrying to the limit this observation one could even assert that ‘logics with no good proof theory are unnatural.’ In such a way we should mark as ‘unnatural’ all modal logics (with great delight of a large number of logicians!)." @default.
- W1566288082 created "2016-06-24" @default.
- W1566288082 creator A5060055067 @default.
- W1566288082 creator A5086707385 @default.
- W1566288082 date "1996-01-01" @default.
- W1566288082 modified "2023-10-17" @default.
- W1566288082 title "A Computational Interpretation of Modal Proofs" @default.
- W1566288082 cites W2009791150 @default.
- W1566288082 cites W2023557900 @default.
- W1566288082 cites W2068886128 @default.
- W1566288082 cites W2074551833 @default.
- W1566288082 cites W2075277371 @default.
- W1566288082 cites W2077010210 @default.
- W1566288082 cites W2118895762 @default.
- W1566288082 cites W2134870220 @default.
- W1566288082 doi "https://doi.org/10.1007/978-94-017-2798-3_12" @default.
- W1566288082 hasPublicationYear "1996" @default.
- W1566288082 type Work @default.
- W1566288082 sameAs 1566288082 @default.
- W1566288082 citedByCount "44" @default.
- W1566288082 countsByYear W15662880822012 @default.
- W1566288082 countsByYear W15662880822014 @default.
- W1566288082 countsByYear W15662880822015 @default.
- W1566288082 countsByYear W15662880822016 @default.
- W1566288082 countsByYear W15662880822018 @default.
- W1566288082 countsByYear W15662880822019 @default.
- W1566288082 countsByYear W15662880822020 @default.
- W1566288082 countsByYear W15662880822023 @default.
- W1566288082 crossrefType "book-chapter" @default.
- W1566288082 hasAuthorship W1566288082A5060055067 @default.
- W1566288082 hasAuthorship W1566288082A5086707385 @default.
- W1566288082 hasConcept C108710211 @default.
- W1566288082 hasConcept C111472728 @default.
- W1566288082 hasConcept C11191006 @default.
- W1566288082 hasConcept C114092440 @default.
- W1566288082 hasConcept C136119220 @default.
- W1566288082 hasConcept C136172866 @default.
- W1566288082 hasConcept C138885662 @default.
- W1566288082 hasConcept C17744445 @default.
- W1566288082 hasConcept C185592680 @default.
- W1566288082 hasConcept C188027245 @default.
- W1566288082 hasConcept C199343813 @default.
- W1566288082 hasConcept C199539241 @default.
- W1566288082 hasConcept C202444582 @default.
- W1566288082 hasConcept C2524010 @default.
- W1566288082 hasConcept C27508121 @default.
- W1566288082 hasConcept C2776261394 @default.
- W1566288082 hasConcept C2777686260 @default.
- W1566288082 hasConcept C33923547 @default.
- W1566288082 hasConcept C41895202 @default.
- W1566288082 hasConcept C527412718 @default.
- W1566288082 hasConcept C71139939 @default.
- W1566288082 hasConcept C71924100 @default.
- W1566288082 hasConcept C78344899 @default.
- W1566288082 hasConceptScore W1566288082C108710211 @default.
- W1566288082 hasConceptScore W1566288082C111472728 @default.
- W1566288082 hasConceptScore W1566288082C11191006 @default.
- W1566288082 hasConceptScore W1566288082C114092440 @default.
- W1566288082 hasConceptScore W1566288082C136119220 @default.
- W1566288082 hasConceptScore W1566288082C136172866 @default.
- W1566288082 hasConceptScore W1566288082C138885662 @default.
- W1566288082 hasConceptScore W1566288082C17744445 @default.
- W1566288082 hasConceptScore W1566288082C185592680 @default.
- W1566288082 hasConceptScore W1566288082C188027245 @default.
- W1566288082 hasConceptScore W1566288082C199343813 @default.
- W1566288082 hasConceptScore W1566288082C199539241 @default.
- W1566288082 hasConceptScore W1566288082C202444582 @default.
- W1566288082 hasConceptScore W1566288082C2524010 @default.
- W1566288082 hasConceptScore W1566288082C27508121 @default.
- W1566288082 hasConceptScore W1566288082C2776261394 @default.
- W1566288082 hasConceptScore W1566288082C2777686260 @default.
- W1566288082 hasConceptScore W1566288082C33923547 @default.
- W1566288082 hasConceptScore W1566288082C41895202 @default.
- W1566288082 hasConceptScore W1566288082C527412718 @default.
- W1566288082 hasConceptScore W1566288082C71139939 @default.
- W1566288082 hasConceptScore W1566288082C71924100 @default.
- W1566288082 hasConceptScore W1566288082C78344899 @default.
- W1566288082 hasLocation W15662880821 @default.
- W1566288082 hasOpenAccess W1566288082 @default.
- W1566288082 hasPrimaryLocation W15662880821 @default.
- W1566288082 hasRelatedWork W119381390 @default.
- W1566288082 hasRelatedWork W1537541219 @default.
- W1566288082 hasRelatedWork W1566288082 @default.
- W1566288082 hasRelatedWork W1988817063 @default.
- W1566288082 hasRelatedWork W2079341417 @default.
- W1566288082 hasRelatedWork W2188462059 @default.
- W1566288082 hasRelatedWork W2299748756 @default.
- W1566288082 hasRelatedWork W2329094605 @default.
- W1566288082 hasRelatedWork W2962420748 @default.
- W1566288082 hasRelatedWork W731649 @default.
- W1566288082 isParatext "false" @default.
- W1566288082 isRetracted "false" @default.
- W1566288082 magId "1566288082" @default.
- W1566288082 workType "book-chapter" @default.