Matches in SemOpenAlex for { <https://semopenalex.org/work/W8551796> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W8551796 endingPage "181" @default.
- W8551796 startingPage "177" @default.
- W8551796 abstract "We present a general proof method for normal systems of modal predicate logic with identical inference rules for each such logic. Different systems are obtained by changing the conditions under which two formulas are considered complementary. The paper extends previous work in that we are no longer confined to models in which the Barcan formula and its converse hold. This allows the domain of individuals to vary from world to world. Modifications to the original inference rules are given, and a semantic justification is provided." @default.
- W8551796 created "2016-06-24" @default.
- W8551796 creator A5029392653 @default.
- W8551796 creator A5039700640 @default.
- W8551796 date "1988-08-21" @default.
- W8551796 modified "2023-09-24" @default.
- W8551796 title "A general proof method for modal predicate logic without the Barcan formula" @default.
- W8551796 cites W10343000 @default.
- W8551796 cites W123871734 @default.
- W8551796 cites W14925732 @default.
- W8551796 cites W1531751116 @default.
- W8551796 cites W1864286575 @default.
- W8551796 cites W2099036216 @default.
- W8551796 cites W2099143991 @default.
- W8551796 cites W2121375212 @default.
- W8551796 cites W2127129973 @default.
- W8551796 cites W2163751633 @default.
- W8551796 cites W3144889436 @default.
- W8551796 hasPublicationYear "1988" @default.
- W8551796 type Work @default.
- W8551796 sameAs 8551796 @default.
- W8551796 citedByCount "1" @default.
- W8551796 crossrefType "proceedings-article" @default.
- W8551796 hasAuthorship W8551796A5029392653 @default.
- W8551796 hasAuthorship W8551796A5039700640 @default.
- W8551796 hasConcept C102993220 @default.
- W8551796 hasConcept C110039528 @default.
- W8551796 hasConcept C114092440 @default.
- W8551796 hasConcept C11413529 @default.
- W8551796 hasConcept C136119220 @default.
- W8551796 hasConcept C140146324 @default.
- W8551796 hasConcept C154945302 @default.
- W8551796 hasConcept C185592680 @default.
- W8551796 hasConcept C188027245 @default.
- W8551796 hasConcept C19689857 @default.
- W8551796 hasConcept C199360897 @default.
- W8551796 hasConcept C202444582 @default.
- W8551796 hasConcept C203659156 @default.
- W8551796 hasConcept C2524010 @default.
- W8551796 hasConcept C27508121 @default.
- W8551796 hasConcept C2776214188 @default.
- W8551796 hasConcept C2776809875 @default.
- W8551796 hasConcept C33923547 @default.
- W8551796 hasConcept C3746660 @default.
- W8551796 hasConcept C41008148 @default.
- W8551796 hasConcept C71139939 @default.
- W8551796 hasConcept C73314972 @default.
- W8551796 hasConcept C80444323 @default.
- W8551796 hasConceptScore W8551796C102993220 @default.
- W8551796 hasConceptScore W8551796C110039528 @default.
- W8551796 hasConceptScore W8551796C114092440 @default.
- W8551796 hasConceptScore W8551796C11413529 @default.
- W8551796 hasConceptScore W8551796C136119220 @default.
- W8551796 hasConceptScore W8551796C140146324 @default.
- W8551796 hasConceptScore W8551796C154945302 @default.
- W8551796 hasConceptScore W8551796C185592680 @default.
- W8551796 hasConceptScore W8551796C188027245 @default.
- W8551796 hasConceptScore W8551796C19689857 @default.
- W8551796 hasConceptScore W8551796C199360897 @default.
- W8551796 hasConceptScore W8551796C202444582 @default.
- W8551796 hasConceptScore W8551796C203659156 @default.
- W8551796 hasConceptScore W8551796C2524010 @default.
- W8551796 hasConceptScore W8551796C27508121 @default.
- W8551796 hasConceptScore W8551796C2776214188 @default.
- W8551796 hasConceptScore W8551796C2776809875 @default.
- W8551796 hasConceptScore W8551796C33923547 @default.
- W8551796 hasConceptScore W8551796C3746660 @default.
- W8551796 hasConceptScore W8551796C41008148 @default.
- W8551796 hasConceptScore W8551796C71139939 @default.
- W8551796 hasConceptScore W8551796C73314972 @default.
- W8551796 hasConceptScore W8551796C80444323 @default.
- W8551796 hasLocation W85517961 @default.
- W8551796 hasOpenAccess W8551796 @default.
- W8551796 hasPrimaryLocation W85517961 @default.
- W8551796 hasRelatedWork W10343000 @default.
- W8551796 hasRelatedWork W1505779129 @default.
- W8551796 hasRelatedWork W1524378866 @default.
- W8551796 hasRelatedWork W1966944960 @default.
- W8551796 hasRelatedWork W2017682709 @default.
- W8551796 hasRelatedWork W2020595717 @default.
- W8551796 hasRelatedWork W2043056708 @default.
- W8551796 hasRelatedWork W2087505639 @default.
- W8551796 hasRelatedWork W2114339954 @default.
- W8551796 hasRelatedWork W2147302656 @default.
- W8551796 hasRelatedWork W2155410891 @default.
- W8551796 hasRelatedWork W2165031373 @default.
- W8551796 hasRelatedWork W2244976569 @default.
- W8551796 hasRelatedWork W25034683 @default.
- W8551796 hasRelatedWork W2604713618 @default.
- W8551796 hasRelatedWork W2950841209 @default.
- W8551796 hasRelatedWork W2995194331 @default.
- W8551796 hasRelatedWork W32330612 @default.
- W8551796 hasRelatedWork W74207700 @default.
- W8551796 hasRelatedWork W775374114 @default.
- W8551796 isParatext "false" @default.
- W8551796 isRetracted "false" @default.
- W8551796 magId "8551796" @default.
- W8551796 workType "article" @default.