Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300647422> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4300647422 abstract "We provide a lower complexity bound for the satisfiability problem of a multi-agent justification logic, establishing that the general NEXP upper bound from our previous work is tight. We then use a simple modification of the corresponding reduction to prove that satisfiability for all multi-agent justification logics from there is hard for the Sigma 2 p class of the second level of the polynomial hierarchy - given certain reasonable conditions. Our methods improve on these required conditions for the same lower bound for the single-agent justification logics, proven by Buss and Kuznets in 2009, thus answering one of their open questions." @default.
- W4300647422 created "2022-10-03" @default.
- W4300647422 creator A5066986721 @default.
- W4300647422 date "2015-03-01" @default.
- W4300647422 modified "2023-09-26" @default.
- W4300647422 title "NEXP-completeness and Universal Hardness Results for Justification Logic" @default.
- W4300647422 doi "https://doi.org/10.48550/arxiv.1503.00362" @default.
- W4300647422 hasPublicationYear "2015" @default.
- W4300647422 type Work @default.
- W4300647422 citedByCount "0" @default.
- W4300647422 crossrefType "posted-content" @default.
- W4300647422 hasAuthorship W4300647422A5066986721 @default.
- W4300647422 hasBestOaLocation W43006474221 @default.
- W4300647422 hasConcept C111335779 @default.
- W4300647422 hasConcept C111472728 @default.
- W4300647422 hasConcept C114614502 @default.
- W4300647422 hasConcept C118615104 @default.
- W4300647422 hasConcept C134306372 @default.
- W4300647422 hasConcept C138885662 @default.
- W4300647422 hasConcept C154945302 @default.
- W4300647422 hasConcept C168773769 @default.
- W4300647422 hasConcept C17231256 @default.
- W4300647422 hasConcept C17744445 @default.
- W4300647422 hasConcept C199539241 @default.
- W4300647422 hasConcept C2524010 @default.
- W4300647422 hasConcept C2776013622 @default.
- W4300647422 hasConcept C2777212361 @default.
- W4300647422 hasConcept C2780586882 @default.
- W4300647422 hasConcept C311688 @default.
- W4300647422 hasConcept C31170391 @default.
- W4300647422 hasConcept C33923547 @default.
- W4300647422 hasConcept C41008148 @default.
- W4300647422 hasConcept C6943359 @default.
- W4300647422 hasConcept C77553402 @default.
- W4300647422 hasConceptScore W4300647422C111335779 @default.
- W4300647422 hasConceptScore W4300647422C111472728 @default.
- W4300647422 hasConceptScore W4300647422C114614502 @default.
- W4300647422 hasConceptScore W4300647422C118615104 @default.
- W4300647422 hasConceptScore W4300647422C134306372 @default.
- W4300647422 hasConceptScore W4300647422C138885662 @default.
- W4300647422 hasConceptScore W4300647422C154945302 @default.
- W4300647422 hasConceptScore W4300647422C168773769 @default.
- W4300647422 hasConceptScore W4300647422C17231256 @default.
- W4300647422 hasConceptScore W4300647422C17744445 @default.
- W4300647422 hasConceptScore W4300647422C199539241 @default.
- W4300647422 hasConceptScore W4300647422C2524010 @default.
- W4300647422 hasConceptScore W4300647422C2776013622 @default.
- W4300647422 hasConceptScore W4300647422C2777212361 @default.
- W4300647422 hasConceptScore W4300647422C2780586882 @default.
- W4300647422 hasConceptScore W4300647422C311688 @default.
- W4300647422 hasConceptScore W4300647422C31170391 @default.
- W4300647422 hasConceptScore W4300647422C33923547 @default.
- W4300647422 hasConceptScore W4300647422C41008148 @default.
- W4300647422 hasConceptScore W4300647422C6943359 @default.
- W4300647422 hasConceptScore W4300647422C77553402 @default.
- W4300647422 hasLocation W43006474221 @default.
- W4300647422 hasOpenAccess W4300647422 @default.
- W4300647422 hasPrimaryLocation W43006474221 @default.
- W4300647422 hasRelatedWork W1530996181 @default.
- W4300647422 hasRelatedWork W1561517399 @default.
- W4300647422 hasRelatedWork W1983992721 @default.
- W4300647422 hasRelatedWork W2041943346 @default.
- W4300647422 hasRelatedWork W2058258808 @default.
- W4300647422 hasRelatedWork W2062427087 @default.
- W4300647422 hasRelatedWork W2127594621 @default.
- W4300647422 hasRelatedWork W2395504005 @default.
- W4300647422 hasRelatedWork W2964047030 @default.
- W4300647422 hasRelatedWork W4377009930 @default.
- W4300647422 isParatext "false" @default.
- W4300647422 isRetracted "false" @default.
- W4300647422 workType "article" @default.