Matches in SemOpenAlex for { <https://semopenalex.org/work/W1634684952> ?p ?o ?g. }
- W1634684952 endingPage "276" @default.
- W1634684952 startingPage "253" @default.
- W1634684952 abstract "We study the extension of propositional ground non-monotonic modal logic to the firstorder case. We show that first-order ground non-monotonic modal logic well complies with first-order default logic by interpreting the latter in the former by the Truszczynski like translation and present a minimal model semantics of first-order ground non-monotonicmodal logic." @default.
- W1634684952 created "2016-06-24" @default.
- W1634684952 creator A5025180684 @default.
- W1634684952 creator A5081476470 @default.
- W1634684952 date "2008-08-01" @default.
- W1634684952 modified "2023-09-24" @default.
- W1634684952 title "First-Order Ground Non-Monotonic Modal Logic" @default.
- W1634684952 cites W100714916 @default.
- W1634684952 cites W1527588453 @default.
- W1634684952 cites W1531731596 @default.
- W1634684952 cites W1541434994 @default.
- W1634684952 cites W1549050756 @default.
- W1634684952 cites W1909716645 @default.
- W1634684952 cites W1984820433 @default.
- W1634684952 cites W2018459570 @default.
- W1634684952 cites W2030773975 @default.
- W1634684952 cites W2034646159 @default.
- W1634684952 cites W2043426101 @default.
- W1634684952 cites W2067326626 @default.
- W1634684952 cites W2093641046 @default.
- W1634684952 cites W2155322595 @default.
- W1634684952 cites W2156567153 @default.
- W1634684952 cites W2169602487 @default.
- W1634684952 cites W3000457705 @default.
- W1634684952 cites W3129277215 @default.
- W1634684952 cites W68551149 @default.
- W1634684952 cites W85217067 @default.
- W1634684952 hasPublicationYear "2008" @default.
- W1634684952 type Work @default.
- W1634684952 sameAs 1634684952 @default.
- W1634684952 citedByCount "0" @default.
- W1634684952 crossrefType "journal-article" @default.
- W1634684952 hasAuthorship W1634684952A5025180684 @default.
- W1634684952 hasAuthorship W1634684952A5081476470 @default.
- W1634684952 hasConcept C102993220 @default.
- W1634684952 hasConcept C114092440 @default.
- W1634684952 hasConcept C119599485 @default.
- W1634684952 hasConcept C127413603 @default.
- W1634684952 hasConcept C134306372 @default.
- W1634684952 hasConcept C159032336 @default.
- W1634684952 hasConcept C160236029 @default.
- W1634684952 hasConcept C165801399 @default.
- W1634684952 hasConcept C172385210 @default.
- W1634684952 hasConcept C185592680 @default.
- W1634684952 hasConcept C188027245 @default.
- W1634684952 hasConcept C192609573 @default.
- W1634684952 hasConcept C199360897 @default.
- W1634684952 hasConcept C203659156 @default.
- W1634684952 hasConcept C27508121 @default.
- W1634684952 hasConcept C2777796570 @default.
- W1634684952 hasConcept C2778029271 @default.
- W1634684952 hasConcept C28826006 @default.
- W1634684952 hasConcept C2987642246 @default.
- W1634684952 hasConcept C33923547 @default.
- W1634684952 hasConcept C3845977 @default.
- W1634684952 hasConcept C41008148 @default.
- W1634684952 hasConcept C71139939 @default.
- W1634684952 hasConcept C72169020 @default.
- W1634684952 hasConcept C80444323 @default.
- W1634684952 hasConceptScore W1634684952C102993220 @default.
- W1634684952 hasConceptScore W1634684952C114092440 @default.
- W1634684952 hasConceptScore W1634684952C119599485 @default.
- W1634684952 hasConceptScore W1634684952C127413603 @default.
- W1634684952 hasConceptScore W1634684952C134306372 @default.
- W1634684952 hasConceptScore W1634684952C159032336 @default.
- W1634684952 hasConceptScore W1634684952C160236029 @default.
- W1634684952 hasConceptScore W1634684952C165801399 @default.
- W1634684952 hasConceptScore W1634684952C172385210 @default.
- W1634684952 hasConceptScore W1634684952C185592680 @default.
- W1634684952 hasConceptScore W1634684952C188027245 @default.
- W1634684952 hasConceptScore W1634684952C192609573 @default.
- W1634684952 hasConceptScore W1634684952C199360897 @default.
- W1634684952 hasConceptScore W1634684952C203659156 @default.
- W1634684952 hasConceptScore W1634684952C27508121 @default.
- W1634684952 hasConceptScore W1634684952C2777796570 @default.
- W1634684952 hasConceptScore W1634684952C2778029271 @default.
- W1634684952 hasConceptScore W1634684952C28826006 @default.
- W1634684952 hasConceptScore W1634684952C2987642246 @default.
- W1634684952 hasConceptScore W1634684952C33923547 @default.
- W1634684952 hasConceptScore W1634684952C3845977 @default.
- W1634684952 hasConceptScore W1634684952C41008148 @default.
- W1634684952 hasConceptScore W1634684952C71139939 @default.
- W1634684952 hasConceptScore W1634684952C72169020 @default.
- W1634684952 hasConceptScore W1634684952C80444323 @default.
- W1634684952 hasIssue "3" @default.
- W1634684952 hasLocation W16346849521 @default.
- W1634684952 hasOpenAccess W1634684952 @default.
- W1634684952 hasPrimaryLocation W16346849521 @default.
- W1634684952 hasRelatedWork W1510985212 @default.
- W1634684952 hasRelatedWork W1588790262 @default.
- W1634684952 hasRelatedWork W1866049941 @default.
- W1634684952 hasRelatedWork W1909716645 @default.
- W1634684952 hasRelatedWork W1979416980 @default.
- W1634684952 hasRelatedWork W1987509337 @default.
- W1634684952 hasRelatedWork W1994732130 @default.
- W1634684952 hasRelatedWork W2007985911 @default.
- W1634684952 hasRelatedWork W2025567386 @default.
- W1634684952 hasRelatedWork W2046065973 @default.