Matches in SemOpenAlex for { <https://semopenalex.org/work/W2895261010> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2895261010 abstract "We devise a shallow semantical embedding of Åqvist's dyadic deontic logic <strong>E</strong> in classical higher-order logic. This embedding is encoded in Isabelle/HOL, which turns this system into a proof assistant for deontic logic reasoning. The experiments with this environment provide evidence that this logic textit{implementation} fruitfully enables interactive and automated reasoning at the meta-level and the object-level." @default.
- W2895261010 created "2018-10-12" @default.
- W2895261010 creator A5018144910 @default.
- W2895261010 creator A5048066112 @default.
- W2895261010 creator A5055110324 @default.
- W2895261010 date "2018-10-03" @default.
- W2895261010 modified "2023-09-24" @default.
- W2895261010 title "Åqvist's Dyadic Deontic Logic E in HOL" @default.
- W2895261010 doi "https://doi.org/10.29007/t29j" @default.
- W2895261010 hasPublicationYear "2018" @default.
- W2895261010 type Work @default.
- W2895261010 sameAs 2895261010 @default.
- W2895261010 citedByCount "2" @default.
- W2895261010 countsByYear W28952610102019 @default.
- W2895261010 countsByYear W28952610102020 @default.
- W2895261010 crossrefType "report-series" @default.
- W2895261010 hasAuthorship W2895261010A5018144910 @default.
- W2895261010 hasAuthorship W2895261010A5048066112 @default.
- W2895261010 hasAuthorship W2895261010A5055110324 @default.
- W2895261010 hasBestOaLocation W28952610101 @default.
- W2895261010 hasConcept C102993220 @default.
- W2895261010 hasConcept C111472728 @default.
- W2895261010 hasConcept C138885662 @default.
- W2895261010 hasConcept C154945302 @default.
- W2895261010 hasConcept C169896238 @default.
- W2895261010 hasConcept C17435882 @default.
- W2895261010 hasConcept C199360897 @default.
- W2895261010 hasConcept C2781238097 @default.
- W2895261010 hasConcept C41008148 @default.
- W2895261010 hasConcept C41608201 @default.
- W2895261010 hasConcept C6377922 @default.
- W2895261010 hasConcept C80444323 @default.
- W2895261010 hasConceptScore W2895261010C102993220 @default.
- W2895261010 hasConceptScore W2895261010C111472728 @default.
- W2895261010 hasConceptScore W2895261010C138885662 @default.
- W2895261010 hasConceptScore W2895261010C154945302 @default.
- W2895261010 hasConceptScore W2895261010C169896238 @default.
- W2895261010 hasConceptScore W2895261010C17435882 @default.
- W2895261010 hasConceptScore W2895261010C199360897 @default.
- W2895261010 hasConceptScore W2895261010C2781238097 @default.
- W2895261010 hasConceptScore W2895261010C41008148 @default.
- W2895261010 hasConceptScore W2895261010C41608201 @default.
- W2895261010 hasConceptScore W2895261010C6377922 @default.
- W2895261010 hasConceptScore W2895261010C80444323 @default.
- W2895261010 hasLocation W28952610101 @default.
- W2895261010 hasLocation W28952610102 @default.
- W2895261010 hasLocation W28952610103 @default.
- W2895261010 hasOpenAccess W2895261010 @default.
- W2895261010 hasPrimaryLocation W28952610101 @default.
- W2895261010 hasRelatedWork W1543469746 @default.
- W2895261010 hasRelatedWork W1578467191 @default.
- W2895261010 hasRelatedWork W1598846073 @default.
- W2895261010 hasRelatedWork W2106047869 @default.
- W2895261010 hasRelatedWork W2128482538 @default.
- W2895261010 hasRelatedWork W2149546448 @default.
- W2895261010 hasRelatedWork W23890626 @default.
- W2895261010 hasRelatedWork W77329694 @default.
- W2895261010 hasRelatedWork W2500740404 @default.
- W2895261010 hasRelatedWork W3023134755 @default.
- W2895261010 isParatext "false" @default.
- W2895261010 isRetracted "false" @default.
- W2895261010 magId "2895261010" @default.
- W2895261010 workType "paratext" @default.