Matches in SemOpenAlex for { <https://semopenalex.org/work/W2008621787> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2008621787 endingPage "68" @default.
- W2008621787 startingPage "23" @default.
- W2008621787 abstract "I describe an algorithm which, when given a sentence Γ involving universally quantified predicate variables, first reduces this sentence to a normal form Γ* and then, if Γ* satisfies certain extra restrictions, eliminates the predicate variables of Γ* to produce a predicate-free equivalent of Γ. This process may involve the introduction of skolem functions but in many cases does not (and so produces a more elementary version of Γ). The algorithm eliminates the predicate variables by witnessing them with certain definable predicates. The choice of these predicates is guided by the shape of the normal form Γ*. The algorithm was initially designed to deal with modal correspondence problems. In this respect it is an extension of Sahlqvist's algorithm which produces first-order equivalents of a wide class of modal formulas. The algorithm is illustrated by several examples from modal logic." @default.
- W2008621787 created "2016-06-24" @default.
- W2008621787 creator A5049756356 @default.
- W2008621787 date "1994-01-01" @default.
- W2008621787 modified "2023-09-25" @default.
- W2008621787 title "The Monotonous Elimination of Predicate Variables" @default.
- W2008621787 doi "https://doi.org/10.1093/logcom/4.1.23" @default.
- W2008621787 hasPublicationYear "1994" @default.
- W2008621787 type Work @default.
- W2008621787 sameAs 2008621787 @default.
- W2008621787 citedByCount "12" @default.
- W2008621787 crossrefType "journal-article" @default.
- W2008621787 hasAuthorship W2008621787A5049756356 @default.
- W2008621787 hasConcept C102993220 @default.
- W2008621787 hasConcept C110039528 @default.
- W2008621787 hasConcept C11413529 @default.
- W2008621787 hasConcept C140146324 @default.
- W2008621787 hasConcept C154945302 @default.
- W2008621787 hasConcept C185592680 @default.
- W2008621787 hasConcept C188027245 @default.
- W2008621787 hasConcept C19689857 @default.
- W2008621787 hasConcept C199360897 @default.
- W2008621787 hasConcept C203659156 @default.
- W2008621787 hasConcept C2777530160 @default.
- W2008621787 hasConcept C2778029271 @default.
- W2008621787 hasConcept C33923547 @default.
- W2008621787 hasConcept C34849589 @default.
- W2008621787 hasConcept C41008148 @default.
- W2008621787 hasConcept C71139939 @default.
- W2008621787 hasConcept C73314972 @default.
- W2008621787 hasConceptScore W2008621787C102993220 @default.
- W2008621787 hasConceptScore W2008621787C110039528 @default.
- W2008621787 hasConceptScore W2008621787C11413529 @default.
- W2008621787 hasConceptScore W2008621787C140146324 @default.
- W2008621787 hasConceptScore W2008621787C154945302 @default.
- W2008621787 hasConceptScore W2008621787C185592680 @default.
- W2008621787 hasConceptScore W2008621787C188027245 @default.
- W2008621787 hasConceptScore W2008621787C19689857 @default.
- W2008621787 hasConceptScore W2008621787C199360897 @default.
- W2008621787 hasConceptScore W2008621787C203659156 @default.
- W2008621787 hasConceptScore W2008621787C2777530160 @default.
- W2008621787 hasConceptScore W2008621787C2778029271 @default.
- W2008621787 hasConceptScore W2008621787C33923547 @default.
- W2008621787 hasConceptScore W2008621787C34849589 @default.
- W2008621787 hasConceptScore W2008621787C41008148 @default.
- W2008621787 hasConceptScore W2008621787C71139939 @default.
- W2008621787 hasConceptScore W2008621787C73314972 @default.
- W2008621787 hasIssue "1" @default.
- W2008621787 hasLocation W20086217871 @default.
- W2008621787 hasOpenAccess W2008621787 @default.
- W2008621787 hasPrimaryLocation W20086217871 @default.
- W2008621787 hasRelatedWork W1917382139 @default.
- W2008621787 hasRelatedWork W1923728288 @default.
- W2008621787 hasRelatedWork W1987072891 @default.
- W2008621787 hasRelatedWork W2031478145 @default.
- W2008621787 hasRelatedWork W2123238369 @default.
- W2008621787 hasRelatedWork W2353234699 @default.
- W2008621787 hasRelatedWork W2963262080 @default.
- W2008621787 hasRelatedWork W88617650 @default.
- W2008621787 hasRelatedWork W96186137 @default.
- W2008621787 hasRelatedWork W2134288141 @default.
- W2008621787 hasVolume "4" @default.
- W2008621787 isParatext "false" @default.
- W2008621787 isRetracted "false" @default.
- W2008621787 magId "2008621787" @default.
- W2008621787 workType "article" @default.