Matches in SemOpenAlex for { <https://semopenalex.org/work/W2964117002> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2964117002 endingPage "30" @default.
- W2964117002 startingPage "16" @default.
- W2964117002 abstract "In this paper we investigate further the tableaux system for a deontic action logic we presented in previous work. This tableaux system uses atoms (of a given boolean algebra of action terms) as labels of formulae, this allows us to embrace parallel execution of actions and action complement, two action operators that may present difficulties in their treatment. One of the restrictions of this logic is that it uses vocabularies with a finite number of actions. In this article we prove that this restriction does not affect the coherence of the deduction system; in other words, we prove that the system is complete with respect to language extension. We also study the computational complexity of this extended deductive framework and we prove that the complexity of this system is in PSPACE, which is an improvement with respect to related systems." @default.
- W2964117002 created "2019-07-30" @default.
- W2964117002 creator A5025139066 @default.
- W2964117002 creator A5046933752 @default.
- W2964117002 date "2013-01-01" @default.
- W2964117002 modified "2023-09-24" @default.
- W2964117002 title "Automated Reasoning over Deontic Action Logics with Finite Vocabularies." @default.
- W2964117002 hasPublicationYear "2013" @default.
- W2964117002 type Work @default.
- W2964117002 sameAs 2964117002 @default.
- W2964117002 citedByCount "0" @default.
- W2964117002 crossrefType "journal-article" @default.
- W2964117002 hasAuthorship W2964117002A5025139066 @default.
- W2964117002 hasAuthorship W2964117002A5046933752 @default.
- W2964117002 hasConcept C104317684 @default.
- W2964117002 hasConcept C105795698 @default.
- W2964117002 hasConcept C112313634 @default.
- W2964117002 hasConcept C118615104 @default.
- W2964117002 hasConcept C121332964 @default.
- W2964117002 hasConcept C127716648 @default.
- W2964117002 hasConcept C136119220 @default.
- W2964117002 hasConcept C138885662 @default.
- W2964117002 hasConcept C185592680 @default.
- W2964117002 hasConcept C188082640 @default.
- W2964117002 hasConcept C199360897 @default.
- W2964117002 hasConcept C202444582 @default.
- W2964117002 hasConcept C2778029271 @default.
- W2964117002 hasConcept C2780791683 @default.
- W2964117002 hasConcept C2781181686 @default.
- W2964117002 hasConcept C33923547 @default.
- W2964117002 hasConcept C41008148 @default.
- W2964117002 hasConcept C41895202 @default.
- W2964117002 hasConcept C55493867 @default.
- W2964117002 hasConcept C62520636 @default.
- W2964117002 hasConcept C6377922 @default.
- W2964117002 hasConcept C80444323 @default.
- W2964117002 hasConceptScore W2964117002C104317684 @default.
- W2964117002 hasConceptScore W2964117002C105795698 @default.
- W2964117002 hasConceptScore W2964117002C112313634 @default.
- W2964117002 hasConceptScore W2964117002C118615104 @default.
- W2964117002 hasConceptScore W2964117002C121332964 @default.
- W2964117002 hasConceptScore W2964117002C127716648 @default.
- W2964117002 hasConceptScore W2964117002C136119220 @default.
- W2964117002 hasConceptScore W2964117002C138885662 @default.
- W2964117002 hasConceptScore W2964117002C185592680 @default.
- W2964117002 hasConceptScore W2964117002C188082640 @default.
- W2964117002 hasConceptScore W2964117002C199360897 @default.
- W2964117002 hasConceptScore W2964117002C202444582 @default.
- W2964117002 hasConceptScore W2964117002C2778029271 @default.
- W2964117002 hasConceptScore W2964117002C2780791683 @default.
- W2964117002 hasConceptScore W2964117002C2781181686 @default.
- W2964117002 hasConceptScore W2964117002C33923547 @default.
- W2964117002 hasConceptScore W2964117002C41008148 @default.
- W2964117002 hasConceptScore W2964117002C41895202 @default.
- W2964117002 hasConceptScore W2964117002C55493867 @default.
- W2964117002 hasConceptScore W2964117002C62520636 @default.
- W2964117002 hasConceptScore W2964117002C6377922 @default.
- W2964117002 hasConceptScore W2964117002C80444323 @default.
- W2964117002 hasLocation W29641170021 @default.
- W2964117002 hasOpenAccess W2964117002 @default.
- W2964117002 hasPrimaryLocation W29641170021 @default.
- W2964117002 hasRelatedWork W1560092834 @default.
- W2964117002 hasRelatedWork W1569543037 @default.
- W2964117002 hasRelatedWork W1649425559 @default.
- W2964117002 hasRelatedWork W1684057677 @default.
- W2964117002 hasRelatedWork W1691564963 @default.
- W2964117002 hasRelatedWork W2026097436 @default.
- W2964117002 hasRelatedWork W2031749383 @default.
- W2964117002 hasRelatedWork W2114561477 @default.
- W2964117002 hasRelatedWork W2149845275 @default.
- W2964117002 hasRelatedWork W2165797525 @default.
- W2964117002 hasRelatedWork W2279502176 @default.
- W2964117002 hasRelatedWork W2406850484 @default.
- W2964117002 hasRelatedWork W2596127847 @default.
- W2964117002 hasRelatedWork W2611436690 @default.
- W2964117002 hasRelatedWork W2945615298 @default.
- W2964117002 hasRelatedWork W2949068336 @default.
- W2964117002 hasRelatedWork W2952468129 @default.
- W2964117002 hasRelatedWork W3104226853 @default.
- W2964117002 hasRelatedWork W3141445507 @default.
- W2964117002 hasRelatedWork W571026040 @default.
- W2964117002 isParatext "false" @default.
- W2964117002 isRetracted "false" @default.
- W2964117002 magId "2964117002" @default.
- W2964117002 workType "article" @default.