FRINK Linked Data Fragments server

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

• W142011187 endingPage "513" @default.
• W142011187 startingPage "508" @default.
• W142011187 abstract "The modal logic S4F provides an account for the default logic of Reiter, and several modal nonmonotonic logics of knowledge and belief. In this paper we focus on a fragment of the logic S4F concerned with modal formulas called modal defaults, and on sets of modal defaults -- modal default theories. We present characterizations of S4F-expansions of modal default theories, and show that strong and uniform equivalence of modal default theories can be expressed in terms of the logical equivalence in the logic S4F. We argue that the logic S4F can be viewed as the general default logic of nested defaults. We also study special modal default theories called modal programs, and show that this fragment of the logic S4F generalizes the logic here-and-there." @default.
• W142011187 created "2016-06-24" @default.
• W142011187 creator A5079794036 @default.
• W142011187 date "2007-07-22" @default.
• W142011187 modified "2023-09-24" @default.
• W142011187 title "The modal logic S4F, the default logic, and the logic here-and-there" @default.
• W142011187 cites W1549628945 @default.
• W142011187 cites W1554269373 @default.
• W142011187 cites W1573063610 @default.
• W142011187 cites W1601726121 @default.
• W142011187 cites W1639901403 @default.
• W142011187 cites W1672891595 @default.
• W142011187 cites W1971626643 @default.
• W142011187 cites W1985274317 @default.
• W142011187 cites W1988045110 @default.
• W142011187 cites W1988882917 @default.
• W142011187 cites W2010160994 @default.
• W142011187 cites W2018314350 @default.
• W142011187 cites W2034442203 @default.
• W142011187 cites W2043673291 @default.
• W142011187 cites W2066287719 @default.
• W142011187 cites W2076698873 @default.
• W142011187 cites W2147104186 @default.
• W142011187 cites W2152131859 @default.
• W142011187 cites W2155322595 @default.
• W142011187 cites W2156567153 @default.
• W142011187 cites W2169602487 @default.
• W142011187 cites W290319452 @default.
• W142011187 cites W578063101 @default.
• W142011187 cites W65854772 @default.
• W142011187 cites W68551149 @default.
• W142011187 hasPublicationYear "2007" @default.
• W142011187 type Work @default.
• W142011187 sameAs 142011187 @default.
• W142011187 citedByCount "5" @default.
• W142011187 countsByYear W1420111872012 @default.
• W142011187 countsByYear W1420111872014 @default.
• W142011187 countsByYear W1420111872017 @default.
• W142011187 crossrefType "proceedings-article" @default.
• W142011187 hasAuthorship W142011187A5079794036 @default.
• W142011187 hasConcept C102993220 @default.
• W142011187 hasConcept C11191006 @default.
• W142011187 hasConcept C114092440 @default.
• W142011187 hasConcept C118615104 @default.
• W142011187 hasConcept C121332964 @default.
• W142011187 hasConcept C154945302 @default.
• W142011187 hasConcept C160236029 @default.
• W142011187 hasConcept C165801399 @default.
• W142011187 hasConcept C172385210 @default.
• W142011187 hasConcept C173125200 @default.
• W142011187 hasConcept C185592680 @default.
• W142011187 hasConcept C188027245 @default.
• W142011187 hasConcept C192609573 @default.
• W142011187 hasConcept C203659156 @default.
• W142011187 hasConcept C27508121 @default.
• W142011187 hasConcept C2777796570 @default.
• W142011187 hasConcept C2780069185 @default.
• W142011187 hasConcept C33923547 @default.
• W142011187 hasConcept C3845977 @default.
• W142011187 hasConcept C41008148 @default.
• W142011187 hasConcept C62520636 @default.
• W142011187 hasConcept C71139939 @default.
• W142011187 hasConceptScore W142011187C102993220 @default.
• W142011187 hasConceptScore W142011187C11191006 @default.
• W142011187 hasConceptScore W142011187C114092440 @default.
• W142011187 hasConceptScore W142011187C118615104 @default.
• W142011187 hasConceptScore W142011187C121332964 @default.
• W142011187 hasConceptScore W142011187C154945302 @default.
• W142011187 hasConceptScore W142011187C160236029 @default.
• W142011187 hasConceptScore W142011187C165801399 @default.
• W142011187 hasConceptScore W142011187C172385210 @default.
• W142011187 hasConceptScore W142011187C173125200 @default.
• W142011187 hasConceptScore W142011187C185592680 @default.
• W142011187 hasConceptScore W142011187C188027245 @default.
• W142011187 hasConceptScore W142011187C192609573 @default.
• W142011187 hasConceptScore W142011187C203659156 @default.
• W142011187 hasConceptScore W142011187C27508121 @default.
• W142011187 hasConceptScore W142011187C2777796570 @default.
• W142011187 hasConceptScore W142011187C2780069185 @default.
• W142011187 hasConceptScore W142011187C33923547 @default.
• W142011187 hasConceptScore W142011187C3845977 @default.
• W142011187 hasConceptScore W142011187C41008148 @default.
• W142011187 hasConceptScore W142011187C62520636 @default.
• W142011187 hasConceptScore W142011187C71139939 @default.
• W142011187 hasLocation W1420111871 @default.
• W142011187 hasOpenAccess W142011187 @default.
• W142011187 hasPrimaryLocation W1420111871 @default.
• W142011187 hasRelatedWork W1545424768 @default.
• W142011187 hasRelatedWork W1566718590 @default.
• W142011187 hasRelatedWork W1575110518 @default.
• W142011187 hasRelatedWork W1974174939 @default.
• W142011187 hasRelatedWork W2022485265 @default.
• W142011187 hasRelatedWork W2034442203 @default.
• W142011187 hasRelatedWork W2041912923 @default.
• W142011187 hasRelatedWork W2076698873 @default.
• W142011187 hasRelatedWork W2087561262 @default.
• W142011187 hasRelatedWork W2155322595 @default.
• W142011187 hasRelatedWork W2164905047 @default.

• next