Matches in SemOpenAlex for { <https://semopenalex.org/work/W23516745> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W23516745 endingPage "802" @default.
- W23516745 startingPage "798" @default.
- W23516745 abstract "In this work we further investigate the relation, first found by Truszczynski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing its application to other general non-monotonic formalisms. For comparison purposes, we start defining a subset of S4F we called Intuitionistic Default Logic (IDL), which consists in incorporating an additional set of propositional operators. These operators are translated into modal formulas using Godel's pattern for encoding Intuitionistic Logic into S4. Then, we prove that, under a particular models minimization policy, IDL generalizes Turner's Nested Default Logic (NDL), in the sense that the latter does not allow nesting or combining the rule conditional operator. This result is also used to show that strong equivalence of default theories can be reduced to a simple S4F equivalence test. Finally, we prove that IDL also generalizes Pearce's Equilibrium Logic, which encodes logic programs into the intermediate logic of Here-and-There." @default.
- W23516745 created "2016-06-24" @default.
- W23516745 creator A5027134864 @default.
- W23516745 creator A5028323744 @default.
- W23516745 date "2004-08-22" @default.
- W23516745 modified "2023-10-17" @default.
- W23516745 title "New insights on the intuitionistic interpretation of Default Logic" @default.
- W23516745 cites W1549628945 @default.
- W23516745 cites W1559427454 @default.
- W23516745 cites W1567252621 @default.
- W23516745 cites W1586434992 @default.
- W23516745 cites W1601726121 @default.
- W23516745 cites W1672891595 @default.
- W23516745 cites W1694306392 @default.
- W23516745 cites W1985274317 @default.
- W23516745 cites W1988882917 @default.
- W23516745 cites W2034442203 @default.
- W23516745 cites W2056678287 @default.
- W23516745 cites W2090184124 @default.
- W23516745 cites W2155322595 @default.
- W23516745 cites W2163751633 @default.
- W23516745 cites W2169602487 @default.
- W23516745 cites W3000457705 @default.
- W23516745 cites W37234920 @default.
- W23516745 cites W68551149 @default.
- W23516745 hasPublicationYear "2004" @default.
- W23516745 type Work @default.
- W23516745 sameAs 23516745 @default.
- W23516745 citedByCount "5" @default.
- W23516745 countsByYear W235167452012 @default.
- W23516745 countsByYear W235167452017 @default.
- W23516745 crossrefType "proceedings-article" @default.
- W23516745 hasAuthorship W23516745A5027134864 @default.
- W23516745 hasAuthorship W23516745A5028323744 @default.
- W23516745 hasConcept C102993220 @default.
- W23516745 hasConcept C118615104 @default.
- W23516745 hasConcept C159032336 @default.
- W23516745 hasConcept C160236029 @default.
- W23516745 hasConcept C171018156 @default.
- W23516745 hasConcept C178421362 @default.
- W23516745 hasConcept C185592680 @default.
- W23516745 hasConcept C188027245 @default.
- W23516745 hasConcept C203659156 @default.
- W23516745 hasConcept C2524010 @default.
- W23516745 hasConcept C27508121 @default.
- W23516745 hasConcept C33203268 @default.
- W23516745 hasConcept C33923547 @default.
- W23516745 hasConcept C3845977 @default.
- W23516745 hasConcept C41008148 @default.
- W23516745 hasConcept C69562738 @default.
- W23516745 hasConcept C71139939 @default.
- W23516745 hasConcept C80444323 @default.
- W23516745 hasConceptScore W23516745C102993220 @default.
- W23516745 hasConceptScore W23516745C118615104 @default.
- W23516745 hasConceptScore W23516745C159032336 @default.
- W23516745 hasConceptScore W23516745C160236029 @default.
- W23516745 hasConceptScore W23516745C171018156 @default.
- W23516745 hasConceptScore W23516745C178421362 @default.
- W23516745 hasConceptScore W23516745C185592680 @default.
- W23516745 hasConceptScore W23516745C188027245 @default.
- W23516745 hasConceptScore W23516745C203659156 @default.
- W23516745 hasConceptScore W23516745C2524010 @default.
- W23516745 hasConceptScore W23516745C27508121 @default.
- W23516745 hasConceptScore W23516745C33203268 @default.
- W23516745 hasConceptScore W23516745C33923547 @default.
- W23516745 hasConceptScore W23516745C3845977 @default.
- W23516745 hasConceptScore W23516745C41008148 @default.
- W23516745 hasConceptScore W23516745C69562738 @default.
- W23516745 hasConceptScore W23516745C71139939 @default.
- W23516745 hasConceptScore W23516745C80444323 @default.
- W23516745 hasLocation W235167451 @default.
- W23516745 hasOpenAccess W23516745 @default.
- W23516745 hasPrimaryLocation W235167451 @default.
- W23516745 hasRelatedWork W142011187 @default.
- W23516745 hasRelatedWork W1533537820 @default.
- W23516745 hasRelatedWork W1544720236 @default.
- W23516745 hasRelatedWork W1548644447 @default.
- W23516745 hasRelatedWork W1601726121 @default.
- W23516745 hasRelatedWork W2018314350 @default.
- W23516745 hasRelatedWork W2034442203 @default.
- W23516745 hasRelatedWork W2076698873 @default.
- W23516745 hasRelatedWork W2115196991 @default.
- W23516745 hasRelatedWork W2155322595 @default.
- W23516745 hasRelatedWork W2252906474 @default.
- W23516745 hasRelatedWork W2605178286 @default.
- W23516745 hasRelatedWork W2651218488 @default.
- W23516745 hasRelatedWork W2734665510 @default.
- W23516745 hasRelatedWork W2894929382 @default.
- W23516745 hasRelatedWork W2914101325 @default.
- W23516745 hasRelatedWork W2914398864 @default.
- W23516745 hasRelatedWork W3105500087 @default.
- W23516745 hasRelatedWork W3141454231 @default.
- W23516745 hasRelatedWork W45335713 @default.
- W23516745 isParatext "false" @default.
- W23516745 isRetracted "false" @default.
- W23516745 magId "23516745" @default.
- W23516745 workType "article" @default.