FRINK Linked Data Fragments server

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

• W10343000 endingPage "923" @default.
• W10343000 startingPage "917" @default.
• W10343000 abstract "We present matrix proof systems for both constant- and varying-domain versions of the first-order modal logics K, K4, D, D4, T, 84 and 86 based on modal versions of Herbrand's Theorem specifically formulated to support efficient automated proof search. The systems treat the mil modal language (no normal-forming) and admit straightforward structure sharing implementations. A key fsature of our approach is the use of a specialised unification algorithm to reflect the conditions on the accessibility relation for a given logic. The matrix system for one logic differs from the matrix eystem for another only in the nature of this unification algorithm. In addition, proof search may be interpreted as constructing generalised proof trees in an appropriate tableau- or sequent-based proof system. This facilitates the use of the matrix systems within interactive environments." @default.
• W10343000 created "2016-06-24" @default.
• W10343000 creator A5008937002 @default.
• W10343000 date "1987-08-23" @default.
• W10343000 modified "2023-09-28" @default.
• W10343000 title "Matrix proof methods for modal logics" @default.
• W10343000 cites W109325276 @default.
• W10343000 cites W13238918 @default.
• W10343000 cites W1462866843 @default.
• W10343000 cites W1481327947 @default.
• W10343000 cites W1489854325 @default.
• W10343000 cites W1495396426 @default.
• W10343000 cites W1531751116 @default.
• W10343000 cites W1545815294 @default.
• W10343000 cites W1552338706 @default.
• W10343000 cites W1570374618 @default.
• W10343000 cites W1589748966 @default.
• W10343000 cites W1968605571 @default.
• W10343000 cites W1974866079 @default.
• W10343000 cites W1978260344 @default.
• W10343000 cites W2010939537 @default.
• W10343000 cites W2012436850 @default.
• W10343000 cites W2018221833 @default.
• W10343000 cites W2023808162 @default.
• W10343000 cites W2036996017 @default.
• W10343000 cites W2047669821 @default.
• W10343000 cites W2078580799 @default.
• W10343000 cites W2088135982 @default.
• W10343000 cites W2088350978 @default.
• W10343000 cites W2099036216 @default.
• W10343000 cites W2127129973 @default.
• W10343000 cites W2205909797 @default.
• W10343000 cites W2476671534 @default.
• W10343000 cites W2913570526 @default.
• W10343000 cites W48639784 @default.
• W10343000 hasPublicationYear "1987" @default.
• W10343000 type Work @default.
• W10343000 sameAs 10343000 @default.
• W10343000 citedByCount "18" @default.
• W10343000 crossrefType "proceedings-article" @default.
• W10343000 hasAuthorship W10343000A5008937002 @default.
• W10343000 hasConcept C102993220 @default.
• W10343000 hasConcept C105605280 @default.
• W10343000 hasConcept C106487976 @default.
• W10343000 hasConcept C108710211 @default.
• W10343000 hasConcept C11191006 @default.
• W10343000 hasConcept C114092440 @default.
• W10343000 hasConcept C11413529 @default.
• W10343000 hasConcept C118615104 @default.
• W10343000 hasConcept C136119220 @default.
• W10343000 hasConcept C159985019 @default.
• W10343000 hasConcept C185592680 @default.
• W10343000 hasConcept C188027245 @default.
• W10343000 hasConcept C192562407 @default.
• W10343000 hasConcept C195653647 @default.
• W10343000 hasConcept C199360897 @default.
• W10343000 hasConcept C202444582 @default.
• W10343000 hasConcept C203659156 @default.
• W10343000 hasConcept C2318724 @default.
• W10343000 hasConcept C2524010 @default.
• W10343000 hasConcept C27508121 @default.
• W10343000 hasConcept C33923547 @default.
• W10343000 hasConcept C41008148 @default.
• W10343000 hasConcept C65880906 @default.
• W10343000 hasConcept C71139939 @default.
• W10343000 hasConcept C80444323 @default.
• W10343000 hasConcept C89421646 @default.
• W10343000 hasConcept C96146094 @default.
• W10343000 hasConceptScore W10343000C102993220 @default.
• W10343000 hasConceptScore W10343000C105605280 @default.
• W10343000 hasConceptScore W10343000C106487976 @default.
• W10343000 hasConceptScore W10343000C108710211 @default.
• W10343000 hasConceptScore W10343000C11191006 @default.
• W10343000 hasConceptScore W10343000C114092440 @default.
• W10343000 hasConceptScore W10343000C11413529 @default.
• W10343000 hasConceptScore W10343000C118615104 @default.
• W10343000 hasConceptScore W10343000C136119220 @default.
• W10343000 hasConceptScore W10343000C159985019 @default.
• W10343000 hasConceptScore W10343000C185592680 @default.
• W10343000 hasConceptScore W10343000C188027245 @default.
• W10343000 hasConceptScore W10343000C192562407 @default.
• W10343000 hasConceptScore W10343000C195653647 @default.
• W10343000 hasConceptScore W10343000C199360897 @default.
• W10343000 hasConceptScore W10343000C202444582 @default.
• W10343000 hasConceptScore W10343000C203659156 @default.
• W10343000 hasConceptScore W10343000C2318724 @default.
• W10343000 hasConceptScore W10343000C2524010 @default.
• W10343000 hasConceptScore W10343000C27508121 @default.
• W10343000 hasConceptScore W10343000C33923547 @default.
• W10343000 hasConceptScore W10343000C41008148 @default.
• W10343000 hasConceptScore W10343000C65880906 @default.
• W10343000 hasConceptScore W10343000C71139939 @default.
• W10343000 hasConceptScore W10343000C80444323 @default.
• W10343000 hasConceptScore W10343000C89421646 @default.
• W10343000 hasConceptScore W10343000C96146094 @default.
• W10343000 hasLocation W103430001 @default.
• W10343000 hasOpenAccess W10343000 @default.
• W10343000 hasPrimaryLocation W103430001 @default.

• next