FRINK Linked Data Fragments server

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

• W2109794156 abstract "Nonmonotonic Logics such as Autoepistemic Logic, Reflective Logic, and Default Logic, are usually defined in terms of set-theoretic fixed-point equations defined over deductively closed sets of sentences of First Order Logic. Such systems may also be represented as necessary equivalences in a Modal Logic stronger than S5 with the added advantage that such representations may be generalized to allow quantified variables crossing modal scopes resulting in a Quantified Autoepistemic Logic, a Quantified Autoepistemic Kernel, a Quantified Reflective Logic, and a Quantified Default Logic. Quantifiers in all these generalizations obey all the normal laws of logic including both the Barcan formula and its converse. Herein, we address the problem of solving some necessary equivalences containing universal quantifiers over modal scopes. Solutions obtained by these methods are then compared to related results obtained in the literature by Circumscription in Second Order Logic since the disjunction of all the solutions of a necessary equivalence containing just normal defaults in these Quantified Logics, is equivalent to that system." @default.
• W2109794156 created "2016-06-24" @default.
• W2109794156 creator A5055504446 @default.
• W2109794156 date "2004-01-01" @default.
• W2109794156 modified "2023-09-24" @default.
• W2109794156 title "METHODS FOR SOLVING NECESSARY EQUIVALENCES" @default.
• W2109794156 cites W176012066 @default.
• W2109794156 cites W1780025212 @default.
• W2109794156 cites W1966552757 @default.
• W2109794156 cites W1984820433 @default.
• W2109794156 cites W1998363560 @default.
• W2109794156 cites W2062719791 @default.
• W2109794156 cites W2067326626 @default.
• W2109794156 cites W2070143862 @default.
• W2109794156 cites W2155322595 @default.
• W2109794156 cites W2163751633 @default.
• W2109794156 cites W2185809158 @default.
• W2109794156 cites W564926234 @default.
• W2109794156 cites W84479497 @default.
• W2109794156 hasPublicationYear "2004" @default.
• W2109794156 type Work @default.
• W2109794156 sameAs 2109794156 @default.
• W2109794156 citedByCount "0" @default.
• W2109794156 crossrefType "journal-article" @default.
• W2109794156 hasAuthorship W2109794156A5055504446 @default.
• W2109794156 hasConcept C102993220 @default.
• W2109794156 hasConcept C11191006 @default.
• W2109794156 hasConcept C114092440 @default.
• W2109794156 hasConcept C118615104 @default.
• W2109794156 hasConcept C121332964 @default.
• W2109794156 hasConcept C136119220 @default.
• W2109794156 hasConcept C154945302 @default.
• W2109794156 hasConcept C159032336 @default.
• W2109794156 hasConcept C160236029 @default.
• W2109794156 hasConcept C165801399 @default.
• W2109794156 hasConcept C172385210 @default.
• W2109794156 hasConcept C173125200 @default.
• W2109794156 hasConcept C185592680 @default.
• W2109794156 hasConcept C188027245 @default.
• W2109794156 hasConcept C18998212 @default.
• W2109794156 hasConcept C192609573 @default.
• W2109794156 hasConcept C202444582 @default.
• W2109794156 hasConcept C203659156 @default.
• W2109794156 hasConcept C27508121 @default.
• W2109794156 hasConcept C2777796570 @default.
• W2109794156 hasConcept C2780069185 @default.
• W2109794156 hasConcept C33203268 @default.
• W2109794156 hasConcept C33923547 @default.
• W2109794156 hasConcept C3845977 @default.
• W2109794156 hasConcept C41008148 @default.
• W2109794156 hasConcept C62360110 @default.
• W2109794156 hasConcept C62520636 @default.
• W2109794156 hasConcept C71139939 @default.
• W2109794156 hasConcept C80444323 @default.
• W2109794156 hasConceptScore W2109794156C102993220 @default.
• W2109794156 hasConceptScore W2109794156C11191006 @default.
• W2109794156 hasConceptScore W2109794156C114092440 @default.
• W2109794156 hasConceptScore W2109794156C118615104 @default.
• W2109794156 hasConceptScore W2109794156C121332964 @default.
• W2109794156 hasConceptScore W2109794156C136119220 @default.
• W2109794156 hasConceptScore W2109794156C154945302 @default.
• W2109794156 hasConceptScore W2109794156C159032336 @default.
• W2109794156 hasConceptScore W2109794156C160236029 @default.
• W2109794156 hasConceptScore W2109794156C165801399 @default.
• W2109794156 hasConceptScore W2109794156C172385210 @default.
• W2109794156 hasConceptScore W2109794156C173125200 @default.
• W2109794156 hasConceptScore W2109794156C185592680 @default.
• W2109794156 hasConceptScore W2109794156C188027245 @default.
• W2109794156 hasConceptScore W2109794156C18998212 @default.
• W2109794156 hasConceptScore W2109794156C192609573 @default.
• W2109794156 hasConceptScore W2109794156C202444582 @default.
• W2109794156 hasConceptScore W2109794156C203659156 @default.
• W2109794156 hasConceptScore W2109794156C27508121 @default.
• W2109794156 hasConceptScore W2109794156C2777796570 @default.
• W2109794156 hasConceptScore W2109794156C2780069185 @default.
• W2109794156 hasConceptScore W2109794156C33203268 @default.
• W2109794156 hasConceptScore W2109794156C33923547 @default.
• W2109794156 hasConceptScore W2109794156C3845977 @default.
• W2109794156 hasConceptScore W2109794156C41008148 @default.
• W2109794156 hasConceptScore W2109794156C62360110 @default.
• W2109794156 hasConceptScore W2109794156C62520636 @default.
• W2109794156 hasConceptScore W2109794156C71139939 @default.
• W2109794156 hasConceptScore W2109794156C80444323 @default.
• W2109794156 hasLocation W21097941561 @default.
• W2109794156 hasOpenAccess W2109794156 @default.
• W2109794156 hasPrimaryLocation W21097941561 @default.
• W2109794156 hasRelatedWork W1750171057 @default.
• W2109794156 hasRelatedWork W1785615301 @default.
• W2109794156 hasRelatedWork W1912165540 @default.
• W2109794156 hasRelatedWork W1987509337 @default.
• W2109794156 hasRelatedWork W2011567991 @default.
• W2109794156 hasRelatedWork W2018459570 @default.
• W2109794156 hasRelatedWork W2044621728 @default.
• W2109794156 hasRelatedWork W2045549616 @default.
• W2109794156 hasRelatedWork W2071208838 @default.
• W2109794156 hasRelatedWork W2073942343 @default.
• W2109794156 hasRelatedWork W2107737957 @default.
• W2109794156 hasRelatedWork W2110491962 @default.
• W2109794156 hasRelatedWork W2127129973 @default.
• W2109794156 hasRelatedWork W2133922504 @default.

• next