Matches in SemOpenAlex for { <https://semopenalex.org/work/W1542776952> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1542776952 abstract "The modal logic KW with finite temporal frames (i.e. well-founded frames) can be used for verifying the properties where system termination is assumed, such as partial correctness of a system. This paper presents an unification-based proof method for the modal logic KW. In order to certify that a formula does not have a model of a well-founded frame, it is necessary to examine the fact if it has a model, then the model contains infinite transitions. It is, however, difficult to examine with unification-based proof methods. This paper introduces the concept of non-iterative frames. The satisfiability of a formula in noniterative frames agrees with the one in well-founded frames. The size of the evidence of the fact that a formula does not have a model of non-iterative frame is finite. Based on this property, we have constructed a unification-based prover to check unsatisfiability of a formula in KW." @default.
- W1542776952 created "2016-06-24" @default.
- W1542776952 creator A5058739699 @default.
- W1542776952 creator A5088859890 @default.
- W1542776952 date "1999-01-01" @default.
- W1542776952 modified "2023-09-28" @default.
- W1542776952 title "Resolution Method for Modal Logic with Well-Founded Frames" @default.
- W1542776952 cites W1488853201 @default.
- W1542776952 cites W1570374618 @default.
- W1542776952 cites W1582842241 @default.
- W1542776952 cites W2017094488 @default.
- W1542776952 cites W2106316031 @default.
- W1542776952 cites W2134977256 @default.
- W1542776952 cites W2158628691 @default.
- W1542776952 cites W2167789485 @default.
- W1542776952 cites W4247797067 @default.
- W1542776952 doi "https://doi.org/10.1007/3-540-48168-0_20" @default.
- W1542776952 hasPublicationYear "1999" @default.
- W1542776952 type Work @default.
- W1542776952 sameAs 1542776952 @default.
- W1542776952 citedByCount "0" @default.
- W1542776952 crossrefType "book-chapter" @default.
- W1542776952 hasAuthorship W1542776952A5058739699 @default.
- W1542776952 hasAuthorship W1542776952A5088859890 @default.
- W1542776952 hasConcept C102993220 @default.
- W1542776952 hasConcept C11191006 @default.
- W1542776952 hasConcept C114092440 @default.
- W1542776952 hasConcept C11413529 @default.
- W1542776952 hasConcept C126042441 @default.
- W1542776952 hasConcept C136119220 @default.
- W1542776952 hasConcept C159694833 @default.
- W1542776952 hasConcept C168773769 @default.
- W1542776952 hasConcept C185592680 @default.
- W1542776952 hasConcept C188027245 @default.
- W1542776952 hasConcept C199360897 @default.
- W1542776952 hasConcept C202444582 @default.
- W1542776952 hasConcept C203659156 @default.
- W1542776952 hasConcept C206880738 @default.
- W1542776952 hasConcept C27508121 @default.
- W1542776952 hasConcept C33923547 @default.
- W1542776952 hasConcept C41008148 @default.
- W1542776952 hasConcept C55439883 @default.
- W1542776952 hasConcept C71139939 @default.
- W1542776952 hasConcept C76155785 @default.
- W1542776952 hasConcept C80444323 @default.
- W1542776952 hasConcept C96146094 @default.
- W1542776952 hasConceptScore W1542776952C102993220 @default.
- W1542776952 hasConceptScore W1542776952C11191006 @default.
- W1542776952 hasConceptScore W1542776952C114092440 @default.
- W1542776952 hasConceptScore W1542776952C11413529 @default.
- W1542776952 hasConceptScore W1542776952C126042441 @default.
- W1542776952 hasConceptScore W1542776952C136119220 @default.
- W1542776952 hasConceptScore W1542776952C159694833 @default.
- W1542776952 hasConceptScore W1542776952C168773769 @default.
- W1542776952 hasConceptScore W1542776952C185592680 @default.
- W1542776952 hasConceptScore W1542776952C188027245 @default.
- W1542776952 hasConceptScore W1542776952C199360897 @default.
- W1542776952 hasConceptScore W1542776952C202444582 @default.
- W1542776952 hasConceptScore W1542776952C203659156 @default.
- W1542776952 hasConceptScore W1542776952C206880738 @default.
- W1542776952 hasConceptScore W1542776952C27508121 @default.
- W1542776952 hasConceptScore W1542776952C33923547 @default.
- W1542776952 hasConceptScore W1542776952C41008148 @default.
- W1542776952 hasConceptScore W1542776952C55439883 @default.
- W1542776952 hasConceptScore W1542776952C71139939 @default.
- W1542776952 hasConceptScore W1542776952C76155785 @default.
- W1542776952 hasConceptScore W1542776952C80444323 @default.
- W1542776952 hasConceptScore W1542776952C96146094 @default.
- W1542776952 hasLocation W15427769521 @default.
- W1542776952 hasOpenAccess W1542776952 @default.
- W1542776952 hasPrimaryLocation W15427769521 @default.
- W1542776952 hasRelatedWork W1506101803 @default.
- W1542776952 hasRelatedWork W1507173517 @default.
- W1542776952 hasRelatedWork W1516229504 @default.
- W1542776952 hasRelatedWork W1530612821 @default.
- W1542776952 hasRelatedWork W1538440743 @default.
- W1542776952 hasRelatedWork W1575830255 @default.
- W1542776952 hasRelatedWork W1791618115 @default.
- W1542776952 hasRelatedWork W1972733422 @default.
- W1542776952 hasRelatedWork W1975657455 @default.
- W1542776952 hasRelatedWork W1998304852 @default.
- W1542776952 hasRelatedWork W2022371068 @default.
- W1542776952 hasRelatedWork W2043383965 @default.
- W1542776952 hasRelatedWork W2049399166 @default.
- W1542776952 hasRelatedWork W2053864268 @default.
- W1542776952 hasRelatedWork W2094484747 @default.
- W1542776952 hasRelatedWork W2119466354 @default.
- W1542776952 hasRelatedWork W2194260832 @default.
- W1542776952 hasRelatedWork W2337119313 @default.
- W1542776952 hasRelatedWork W2584841737 @default.
- W1542776952 hasRelatedWork W37473834 @default.
- W1542776952 isParatext "false" @default.
- W1542776952 isRetracted "false" @default.
- W1542776952 magId "1542776952" @default.
- W1542776952 workType "book-chapter" @default.