FRINK Linked Data Fragments server

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

• W1909716645 abstract "In this paper we introduce first-order non-monotonic modal logic and study its properties. Our definition is semantical and is based on the intuition similar to that lying behind the definition of first-order default logic. Thus, our definition of first-order non-monotonic modal logic well complies with that of first-order default logic and circumscription, providing a substantial evidence for its acceptance. In addition, our definition implies all properties of propositional non-monotonic modal logic, which supplies an additional support for its adequacy." @default.
• W1909716645 created "2016-06-24" @default.
• W1909716645 creator A5081476470 @default.
• W1909716645 creator A5084269949 @default.
• W1909716645 date "2000-01-01" @default.
• W1909716645 modified "2023-09-27" @default.
• W1909716645 title "First-order Non-monotonic Modal Logics" @default.
• W1909716645 cites W100714916 @default.
• W1909716645 cites W114456054 @default.
• W1909716645 cites W1493498708 @default.
• W1909716645 cites W1505241859 @default.
• W1909716645 cites W1527588453 @default.
• W1909716645 cites W1531731596 @default.
• W1909716645 cites W1541434994 @default.
• W1909716645 cites W1600348701 @default.
• W1909716645 cites W1831160428 @default.
• W1909716645 cites W1966552757 @default.
• W1909716645 cites W1966761138 @default.
• W1909716645 cites W1984820433 @default.
• W1909716645 cites W1986133180 @default.
• W1909716645 cites W1987903153 @default.
• W1909716645 cites W1991972474 @default.
• W1909716645 cites W1996347293 @default.
• W1909716645 cites W2043426101 @default.
• W1909716645 cites W2067326626 @default.
• W1909716645 cites W2088158505 @default.
• W1909716645 cites W2093641046 @default.
• W1909716645 cites W2095135724 @default.
• W1909716645 cites W211984302 @default.
• W1909716645 cites W2146436577 @default.
• W1909716645 cites W2155322595 @default.
• W1909716645 cites W2156567153 @default.
• W1909716645 cites W2164905047 @default.
• W1909716645 cites W2169602487 @default.
• W1909716645 cites W3000457705 @default.
• W1909716645 cites W3129277215 @default.
• W1909716645 cites W68551149 @default.
• W1909716645 doi "https://doi.org/10.3233/fi-2000-423405" @default.
• W1909716645 hasPublicationYear "2000" @default.
• W1909716645 type Work @default.
• W1909716645 sameAs 1909716645 @default.
• W1909716645 citedByCount "4" @default.
• W1909716645 crossrefType "journal-article" @default.
• W1909716645 hasAuthorship W1909716645A5081476470 @default.
• W1909716645 hasAuthorship W1909716645A5084269949 @default.
• W1909716645 hasConcept C102993220 @default.
• W1909716645 hasConcept C111472728 @default.
• W1909716645 hasConcept C11191006 @default.
• W1909716645 hasConcept C114092440 @default.
• W1909716645 hasConcept C119599485 @default.
• W1909716645 hasConcept C127413603 @default.
• W1909716645 hasConcept C132010649 @default.
• W1909716645 hasConcept C134306372 @default.
• W1909716645 hasConcept C138885662 @default.
• W1909716645 hasConcept C154945302 @default.
• W1909716645 hasConcept C159032336 @default.
• W1909716645 hasConcept C160236029 @default.
• W1909716645 hasConcept C165801399 @default.
• W1909716645 hasConcept C172385210 @default.
• W1909716645 hasConcept C185592680 @default.
• W1909716645 hasConcept C188027245 @default.
• W1909716645 hasConcept C192609573 @default.
• W1909716645 hasConcept C203659156 @default.
• W1909716645 hasConcept C27508121 @default.
• W1909716645 hasConcept C2777796570 @default.
• W1909716645 hasConcept C33923547 @default.
• W1909716645 hasConcept C3845977 @default.
• W1909716645 hasConcept C41008148 @default.
• W1909716645 hasConcept C62360110 @default.
• W1909716645 hasConcept C71139939 @default.
• W1909716645 hasConcept C72169020 @default.
• W1909716645 hasConcept C78344899 @default.
• W1909716645 hasConcept C80444323 @default.
• W1909716645 hasConceptScore W1909716645C102993220 @default.
• W1909716645 hasConceptScore W1909716645C111472728 @default.
• W1909716645 hasConceptScore W1909716645C11191006 @default.
• W1909716645 hasConceptScore W1909716645C114092440 @default.
• W1909716645 hasConceptScore W1909716645C119599485 @default.
• W1909716645 hasConceptScore W1909716645C127413603 @default.
• W1909716645 hasConceptScore W1909716645C132010649 @default.
• W1909716645 hasConceptScore W1909716645C134306372 @default.
• W1909716645 hasConceptScore W1909716645C138885662 @default.
• W1909716645 hasConceptScore W1909716645C154945302 @default.
• W1909716645 hasConceptScore W1909716645C159032336 @default.
• W1909716645 hasConceptScore W1909716645C160236029 @default.
• W1909716645 hasConceptScore W1909716645C165801399 @default.
• W1909716645 hasConceptScore W1909716645C172385210 @default.
• W1909716645 hasConceptScore W1909716645C185592680 @default.
• W1909716645 hasConceptScore W1909716645C188027245 @default.
• W1909716645 hasConceptScore W1909716645C192609573 @default.
• W1909716645 hasConceptScore W1909716645C203659156 @default.
• W1909716645 hasConceptScore W1909716645C27508121 @default.
• W1909716645 hasConceptScore W1909716645C2777796570 @default.
• W1909716645 hasConceptScore W1909716645C33923547 @default.
• W1909716645 hasConceptScore W1909716645C3845977 @default.
• W1909716645 hasConceptScore W1909716645C41008148 @default.
• W1909716645 hasConceptScore W1909716645C62360110 @default.
• W1909716645 hasConceptScore W1909716645C71139939 @default.
• W1909716645 hasConceptScore W1909716645C72169020 @default.
• W1909716645 hasConceptScore W1909716645C78344899 @default.

• next