Matches in SemOpenAlex for { <https://semopenalex.org/work/W1597140906> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1597140906 abstract "We give complete sequent-like tableau systems for the modal logics KB, KDB, K5, and KD5. Analytic cut rules are used to obtain the completeness. The systems have the analytic superformula property and can thus give a decision procedure." @default.
- W1597140906 created "2016-06-24" @default.
- W1597140906 creator A5055424683 @default.
- W1597140906 date "2000-01-01" @default.
- W1597140906 modified "2023-09-27" @default.
- W1597140906 title "Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5" @default.
- W1597140906 cites W1483339275 @default.
- W1597140906 cites W1567530468 @default.
- W1597140906 cites W1570374618 @default.
- W1597140906 cites W1580642598 @default.
- W1597140906 cites W2062485819 @default.
- W1597140906 cites W2075277371 @default.
- W1597140906 cites W4242309855 @default.
- W1597140906 doi "https://doi.org/10.1007/10722086_27" @default.
- W1597140906 hasPublicationYear "2000" @default.
- W1597140906 type Work @default.
- W1597140906 sameAs 1597140906 @default.
- W1597140906 citedByCount "4" @default.
- W1597140906 crossrefType "book-chapter" @default.
- W1597140906 hasAuthorship W1597140906A5055424683 @default.
- W1597140906 hasConcept C102993220 @default.
- W1597140906 hasConcept C108710211 @default.
- W1597140906 hasConcept C111472728 @default.
- W1597140906 hasConcept C114092440 @default.
- W1597140906 hasConcept C11413529 @default.
- W1597140906 hasConcept C134306372 @default.
- W1597140906 hasConcept C138885662 @default.
- W1597140906 hasConcept C17231256 @default.
- W1597140906 hasConcept C185592680 @default.
- W1597140906 hasConcept C188027245 @default.
- W1597140906 hasConcept C189950617 @default.
- W1597140906 hasConcept C199343813 @default.
- W1597140906 hasConcept C199360897 @default.
- W1597140906 hasConcept C203659156 @default.
- W1597140906 hasConcept C2524010 @default.
- W1597140906 hasConcept C27508121 @default.
- W1597140906 hasConcept C2777686260 @default.
- W1597140906 hasConcept C33923547 @default.
- W1597140906 hasConcept C41008148 @default.
- W1597140906 hasConcept C65880906 @default.
- W1597140906 hasConcept C71139939 @default.
- W1597140906 hasConcept C71924100 @default.
- W1597140906 hasConcept C80444323 @default.
- W1597140906 hasConcept C89421646 @default.
- W1597140906 hasConceptScore W1597140906C102993220 @default.
- W1597140906 hasConceptScore W1597140906C108710211 @default.
- W1597140906 hasConceptScore W1597140906C111472728 @default.
- W1597140906 hasConceptScore W1597140906C114092440 @default.
- W1597140906 hasConceptScore W1597140906C11413529 @default.
- W1597140906 hasConceptScore W1597140906C134306372 @default.
- W1597140906 hasConceptScore W1597140906C138885662 @default.
- W1597140906 hasConceptScore W1597140906C17231256 @default.
- W1597140906 hasConceptScore W1597140906C185592680 @default.
- W1597140906 hasConceptScore W1597140906C188027245 @default.
- W1597140906 hasConceptScore W1597140906C189950617 @default.
- W1597140906 hasConceptScore W1597140906C199343813 @default.
- W1597140906 hasConceptScore W1597140906C199360897 @default.
- W1597140906 hasConceptScore W1597140906C203659156 @default.
- W1597140906 hasConceptScore W1597140906C2524010 @default.
- W1597140906 hasConceptScore W1597140906C27508121 @default.
- W1597140906 hasConceptScore W1597140906C2777686260 @default.
- W1597140906 hasConceptScore W1597140906C33923547 @default.
- W1597140906 hasConceptScore W1597140906C41008148 @default.
- W1597140906 hasConceptScore W1597140906C65880906 @default.
- W1597140906 hasConceptScore W1597140906C71139939 @default.
- W1597140906 hasConceptScore W1597140906C71924100 @default.
- W1597140906 hasConceptScore W1597140906C80444323 @default.
- W1597140906 hasConceptScore W1597140906C89421646 @default.
- W1597140906 hasLocation W15971409061 @default.
- W1597140906 hasOpenAccess W1597140906 @default.
- W1597140906 hasPrimaryLocation W15971409061 @default.
- W1597140906 hasRelatedWork W1483339275 @default.
- W1597140906 hasRelatedWork W149855783 @default.
- W1597140906 hasRelatedWork W1546773510 @default.
- W1597140906 hasRelatedWork W1560904997 @default.
- W1597140906 hasRelatedWork W1591857789 @default.
- W1597140906 hasRelatedWork W1596272894 @default.
- W1597140906 hasRelatedWork W1982775212 @default.
- W1597140906 hasRelatedWork W1995718667 @default.
- W1597140906 hasRelatedWork W1997262001 @default.
- W1597140906 hasRelatedWork W2016752739 @default.
- W1597140906 hasRelatedWork W2053892987 @default.
- W1597140906 hasRelatedWork W2064387576 @default.
- W1597140906 hasRelatedWork W2117223386 @default.
- W1597140906 hasRelatedWork W2123194086 @default.
- W1597140906 hasRelatedWork W2132862307 @default.
- W1597140906 hasRelatedWork W2133922504 @default.
- W1597140906 hasRelatedWork W2147579323 @default.
- W1597140906 hasRelatedWork W2150137870 @default.
- W1597140906 hasRelatedWork W2286252794 @default.
- W1597140906 hasRelatedWork W2525383019 @default.
- W1597140906 isParatext "false" @default.
- W1597140906 isRetracted "false" @default.
- W1597140906 magId "1597140906" @default.
- W1597140906 workType "book-chapter" @default.