FRINK Linked Data Fragments server

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

• W1582149310 endingPage "100" @default.
• W1582149310 startingPage "63" @default.
• W1582149310 abstract "We propose a modal logic programming language called MProlog, which is as expressive as the general modal Horn fragment. We give a fixpoint semantics and an SLD-resolution calculus for MProlog in all of the basic serial modal logics KD, T, KDB, B, KD4, S4, KD5, KD45, and S5. For an MProlog program P and for L being one of the mentioned logics, we define an operator T_{L,P}, which has the least fixpoint I_{L,P}. This fixpoint is a set of formulae, which may contain labeled forms of the modal operator d, and is called the least L-model generator of P. The standard model of I_{L,P} is shown to be a least L-model of P. The SLD-resolution calculus for MProlog is designed with a similar style as for classical logic programming. It is sound and complete. We also extend the calculus for MProlog in the almost serial modal logics KB, K5, K45, and KB5." @default.
• W1582149310 created "2016-06-24" @default.
• W1582149310 creator A5055424683 @default.
• W1582149310 date "2003-01-01" @default.
• W1582149310 modified "2023-09-26" @default.
• W1582149310 title "A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs" @default.
• W1582149310 cites W1486653873 @default.
• W1582149310 cites W1497559908 @default.
• W1582149310 cites W1541434994 @default.
• W1582149310 cites W1552843312 @default.
• W1582149310 cites W1579330263 @default.
• W1582149310 cites W1580642598 @default.
• W1582149310 cites W1582842241 @default.
• W1582149310 cites W1606647729 @default.
• W1582149310 cites W1792172281 @default.
• W1582149310 cites W1866624891 @default.
• W1582149310 cites W1883859252 @default.
• W1582149310 cites W1910735682 @default.
• W1582149310 cites W1950219843 @default.
• W1582149310 cites W1971043386 @default.
• W1582149310 cites W2005920582 @default.
• W1582149310 cites W2008276941 @default.
• W1582149310 cites W2068379155 @default.
• W1582149310 cites W2093824806 @default.
• W1582149310 cites W2111324752 @default.
• W1582149310 cites W2113316597 @default.
• W1582149310 cites W2134592706 @default.
• W1582149310 cites W2153903356 @default.
• W1582149310 cites W2160811334 @default.
• W1582149310 cites W2170794388 @default.
• W1582149310 cites W2612793397 @default.
• W1582149310 cites W31561947 @default.
• W1582149310 cites W46806223 @default.
• W1582149310 cites W87862204 @default.
• W1582149310 cites W2261525487 @default.
• W1582149310 hasPublicationYear "2003" @default.
• W1582149310 type Work @default.
• W1582149310 sameAs 1582149310 @default.
• W1582149310 citedByCount "10" @default.
• W1582149310 countsByYear W15821493102015 @default.
• W1582149310 countsByYear W15821493102016 @default.
• W1582149310 crossrefType "journal-article" @default.
• W1582149310 hasAuthorship W1582149310A5055424683 @default.
• W1582149310 hasConcept C102993220 @default.
• W1582149310 hasConcept C104317684 @default.
• W1582149310 hasConcept C11191006 @default.
• W1582149310 hasConcept C118615104 @default.
• W1582149310 hasConcept C121332964 @default.
• W1582149310 hasConcept C128838566 @default.
• W1582149310 hasConcept C134306372 @default.
• W1582149310 hasConcept C138268822 @default.
• W1582149310 hasConcept C158448853 @default.
• W1582149310 hasConcept C163258240 @default.
• W1582149310 hasConcept C17020691 @default.
• W1582149310 hasConcept C173125200 @default.
• W1582149310 hasConcept C184337299 @default.
• W1582149310 hasConcept C185592680 @default.
• W1582149310 hasConcept C188027245 @default.
• W1582149310 hasConcept C189790780 @default.
• W1582149310 hasConcept C199343813 @default.
• W1582149310 hasConcept C199360897 @default.
• W1582149310 hasConcept C203659156 @default.
• W1582149310 hasConcept C27508121 @default.
• W1582149310 hasConcept C2776235265 @default.
• W1582149310 hasConcept C2777686260 @default.
• W1582149310 hasConcept C2780992000 @default.
• W1582149310 hasConcept C33923547 @default.
• W1582149310 hasConcept C41008148 @default.
• W1582149310 hasConcept C55493867 @default.
• W1582149310 hasConcept C61445026 @default.
• W1582149310 hasConcept C62520636 @default.
• W1582149310 hasConcept C71139939 @default.
• W1582149310 hasConcept C71924100 @default.
• W1582149310 hasConcept C78344899 @default.
• W1582149310 hasConcept C86339819 @default.
• W1582149310 hasConceptScore W1582149310C102993220 @default.
• W1582149310 hasConceptScore W1582149310C104317684 @default.
• W1582149310 hasConceptScore W1582149310C11191006 @default.
• W1582149310 hasConceptScore W1582149310C118615104 @default.
• W1582149310 hasConceptScore W1582149310C121332964 @default.
• W1582149310 hasConceptScore W1582149310C128838566 @default.
• W1582149310 hasConceptScore W1582149310C134306372 @default.
• W1582149310 hasConceptScore W1582149310C138268822 @default.
• W1582149310 hasConceptScore W1582149310C158448853 @default.
• W1582149310 hasConceptScore W1582149310C163258240 @default.
• W1582149310 hasConceptScore W1582149310C17020691 @default.
• W1582149310 hasConceptScore W1582149310C173125200 @default.
• W1582149310 hasConceptScore W1582149310C184337299 @default.
• W1582149310 hasConceptScore W1582149310C185592680 @default.
• W1582149310 hasConceptScore W1582149310C188027245 @default.
• W1582149310 hasConceptScore W1582149310C189790780 @default.
• W1582149310 hasConceptScore W1582149310C199343813 @default.
• W1582149310 hasConceptScore W1582149310C199360897 @default.
• W1582149310 hasConceptScore W1582149310C203659156 @default.
• W1582149310 hasConceptScore W1582149310C27508121 @default.
• W1582149310 hasConceptScore W1582149310C2776235265 @default.
• W1582149310 hasConceptScore W1582149310C2777686260 @default.
• W1582149310 hasConceptScore W1582149310C2780992000 @default.

• next