Matches in SemOpenAlex for { <https://semopenalex.org/work/W4293333931> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W4293333931 abstract "Hybrid logic with binders is an expressive specification language. Its satisfiability problem is undecidable in general. If frames are restricted to N or general linear orders, then satisfiability is known to be decidable, but of non-elementary complexity. In this paper, we consider monotone hybrid logics (i.e., the Boolean connectives are conjunction and disjunction only) over N and general linear orders. We show that the satisfiability problem remains non-elementary over linear orders, but its complexity drops to PSPACE-completeness over N. We categorize the strict fragments arising from different combinations of modal and hybrid operators into NP-complete and tractable (i.e. complete for NC1or LOGSPACE). Interestingly, NP-completeness depends only on the fragment and not on the frame. For the cases above NP, satisfiability over linear orders is harder than over N, while below NP it is at most as hard. In addition we examine model-theoretic properties of the fragments in question." @default.
- W4293333931 created "2022-08-27" @default.
- W4293333931 creator A5013804417 @default.
- W4293333931 creator A5025571978 @default.
- W4293333931 creator A5047184663 @default.
- W4293333931 creator A5061379113 @default.
- W4293333931 creator A5078172662 @default.
- W4293333931 creator A5079767975 @default.
- W4293333931 date "2012-04-05" @default.
- W4293333931 modified "2023-09-25" @default.
- W4293333931 title "The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers" @default.
- W4293333931 doi "https://doi.org/10.48550/arxiv.1204.1196" @default.
- W4293333931 hasPublicationYear "2012" @default.
- W4293333931 type Work @default.
- W4293333931 citedByCount "0" @default.
- W4293333931 crossrefType "posted-content" @default.
- W4293333931 hasAuthorship W4293333931A5013804417 @default.
- W4293333931 hasAuthorship W4293333931A5025571978 @default.
- W4293333931 hasAuthorship W4293333931A5047184663 @default.
- W4293333931 hasAuthorship W4293333931A5061379113 @default.
- W4293333931 hasAuthorship W4293333931A5078172662 @default.
- W4293333931 hasAuthorship W4293333931A5079767975 @default.
- W4293333931 hasBestOaLocation W42933339311 @default.
- W4293333931 hasConcept C11413529 @default.
- W4293333931 hasConcept C114614502 @default.
- W4293333931 hasConcept C118615104 @default.
- W4293333931 hasConcept C134026603 @default.
- W4293333931 hasConcept C134306372 @default.
- W4293333931 hasConcept C153269930 @default.
- W4293333931 hasConcept C168773769 @default.
- W4293333931 hasConcept C17231256 @default.
- W4293333931 hasConcept C192034797 @default.
- W4293333931 hasConcept C2524010 @default.
- W4293333931 hasConcept C2776235265 @default.
- W4293333931 hasConcept C2834757 @default.
- W4293333931 hasConcept C311688 @default.
- W4293333931 hasConcept C33923547 @default.
- W4293333931 hasConcept C39637292 @default.
- W4293333931 hasConcept C6943359 @default.
- W4293333931 hasConceptScore W4293333931C11413529 @default.
- W4293333931 hasConceptScore W4293333931C114614502 @default.
- W4293333931 hasConceptScore W4293333931C118615104 @default.
- W4293333931 hasConceptScore W4293333931C134026603 @default.
- W4293333931 hasConceptScore W4293333931C134306372 @default.
- W4293333931 hasConceptScore W4293333931C153269930 @default.
- W4293333931 hasConceptScore W4293333931C168773769 @default.
- W4293333931 hasConceptScore W4293333931C17231256 @default.
- W4293333931 hasConceptScore W4293333931C192034797 @default.
- W4293333931 hasConceptScore W4293333931C2524010 @default.
- W4293333931 hasConceptScore W4293333931C2776235265 @default.
- W4293333931 hasConceptScore W4293333931C2834757 @default.
- W4293333931 hasConceptScore W4293333931C311688 @default.
- W4293333931 hasConceptScore W4293333931C33923547 @default.
- W4293333931 hasConceptScore W4293333931C39637292 @default.
- W4293333931 hasConceptScore W4293333931C6943359 @default.
- W4293333931 hasLocation W42933339311 @default.
- W4293333931 hasLocation W42933339312 @default.
- W4293333931 hasOpenAccess W4293333931 @default.
- W4293333931 hasPrimaryLocation W42933339311 @default.
- W4293333931 hasRelatedWork W1483892218 @default.
- W4293333931 hasRelatedWork W1561517399 @default.
- W4293333931 hasRelatedWork W1627056135 @default.
- W4293333931 hasRelatedWork W2011289699 @default.
- W4293333931 hasRelatedWork W2951261477 @default.
- W4293333931 hasRelatedWork W2964047030 @default.
- W4293333931 hasRelatedWork W3176334073 @default.
- W4293333931 hasRelatedWork W4293333931 @default.
- W4293333931 hasRelatedWork W4298065645 @default.
- W4293333931 hasRelatedWork W4300858135 @default.
- W4293333931 isParatext "false" @default.
- W4293333931 isRetracted "false" @default.
- W4293333931 workType "article" @default.