FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2470240534> ?p ?o ?g. }

• W2470240534 endingPage "exv077" @default.
• W2470240534 startingPage "exv077" @default.
• W2470240534 abstract "We study labeled transition systems where at each state an agent is aware of and hence reasons about only a part of the entire system (called the ‘sight’). We develop a logic for such systems: the ‘logic of sights’. We explore its model theory, give an axiomatization and prove its completeness. We show that the logic is a fragment of the loosely guarded fragment of first-order logic. We show that the satisfiability problem of the logic is PSPACE-complete and the combined complexity of its model-checking problem is in PTIME. Finally we discuss its relation to other logics as well as extensions." @default.
• W2470240534 created "2016-07-22" @default.
• W2470240534 creator A5019863253 @default.
• W2470240534 creator A5041272001 @default.
• W2470240534 creator A5086061239 @default.
• W2470240534 date "2016-06-25" @default.
• W2470240534 modified "2023-10-17" @default.
• W2470240534 title "A logic of sights" @default.
• W2470240534 cites W1483892218 @default.
• W2470240534 cites W1489891289 @default.
• W2470240534 cites W1502739147 @default.
• W2470240534 cites W1527278424 @default.
• W2470240534 cites W1899466088 @default.
• W2470240534 cites W1976307763 @default.
• W2470240534 cites W2009038643 @default.
• W2470240534 cites W2039352370 @default.
• W2470240534 cites W2045916861 @default.
• W2470240534 cites W2068303037 @default.
• W2470240534 cites W2069709605 @default.
• W2470240534 cites W2071230904 @default.
• W2470240534 cites W2073491323 @default.
• W2470240534 cites W2110686957 @default.
• W2470240534 cites W2117200542 @default.
• W2470240534 cites W2167702039 @default.
• W2470240534 cites W2294397889 @default.
• W2470240534 cites W2964933744 @default.
• W2470240534 cites W3023191323 @default.
• W2470240534 cites W3124614942 @default.
• W2470240534 cites W4235131552 @default.
• W2470240534 cites W4236835455 @default.
• W2470240534 cites W4241108585 @default.
• W2470240534 cites W4243975304 @default.
• W2470240534 doi "https://doi.org/10.1093/logcom/exv077" @default.
• W2470240534 hasPublicationYear "2016" @default.
• W2470240534 type Work @default.
• W2470240534 sameAs 2470240534 @default.
• W2470240534 citedByCount "1" @default.
• W2470240534 countsByYear W24702405342018 @default.
• W2470240534 crossrefType "journal-article" @default.
• W2470240534 hasAuthorship W2470240534A5019863253 @default.
• W2470240534 hasAuthorship W2470240534A5041272001 @default.
• W2470240534 hasAuthorship W2470240534A5086061239 @default.
• W2470240534 hasBestOaLocation W24702405342 @default.
• W2470240534 hasConcept C11413529 @default.
• W2470240534 hasConcept C121332964 @default.
• W2470240534 hasConcept C1276947 @default.
• W2470240534 hasConcept C134026603 @default.
• W2470240534 hasConcept C134306372 @default.
• W2470240534 hasConcept C1517167 @default.
• W2470240534 hasConcept C165801399 @default.
• W2470240534 hasConcept C168773769 @default.
• W2470240534 hasConcept C17231256 @default.
• W2470240534 hasConcept C172385210 @default.
• W2470240534 hasConcept C179799912 @default.
• W2470240534 hasConcept C197685441 @default.
• W2470240534 hasConcept C199360897 @default.
• W2470240534 hasConcept C2776235265 @default.
• W2470240534 hasConcept C2777796570 @default.
• W2470240534 hasConcept C311688 @default.
• W2470240534 hasConcept C33923547 @default.
• W2470240534 hasConcept C41008148 @default.
• W2470240534 hasConcept C62520636 @default.
• W2470240534 hasConcept C80444323 @default.
• W2470240534 hasConceptScore W2470240534C11413529 @default.
• W2470240534 hasConceptScore W2470240534C121332964 @default.
• W2470240534 hasConceptScore W2470240534C1276947 @default.
• W2470240534 hasConceptScore W2470240534C134026603 @default.
• W2470240534 hasConceptScore W2470240534C134306372 @default.
• W2470240534 hasConceptScore W2470240534C1517167 @default.
• W2470240534 hasConceptScore W2470240534C165801399 @default.
• W2470240534 hasConceptScore W2470240534C168773769 @default.
• W2470240534 hasConceptScore W2470240534C17231256 @default.
• W2470240534 hasConceptScore W2470240534C172385210 @default.
• W2470240534 hasConceptScore W2470240534C179799912 @default.
• W2470240534 hasConceptScore W2470240534C197685441 @default.
• W2470240534 hasConceptScore W2470240534C199360897 @default.
• W2470240534 hasConceptScore W2470240534C2776235265 @default.
• W2470240534 hasConceptScore W2470240534C2777796570 @default.
• W2470240534 hasConceptScore W2470240534C311688 @default.
• W2470240534 hasConceptScore W2470240534C33923547 @default.
• W2470240534 hasConceptScore W2470240534C41008148 @default.
• W2470240534 hasConceptScore W2470240534C62520636 @default.
• W2470240534 hasConceptScore W2470240534C80444323 @default.
• W2470240534 hasLocation W24702405341 @default.
• W2470240534 hasLocation W24702405342 @default.
• W2470240534 hasLocation W24702405343 @default.
• W2470240534 hasLocation W24702405344 @default.
• W2470240534 hasLocation W24702405345 @default.
• W2470240534 hasLocation W24702405346 @default.
• W2470240534 hasLocation W24702405347 @default.
• W2470240534 hasOpenAccess W2470240534 @default.
• W2470240534 hasPrimaryLocation W24702405341 @default.
• W2470240534 hasRelatedWork W1511330298 @default.
• W2470240534 hasRelatedWork W1984423678 @default.
• W2470240534 hasRelatedWork W2026191634 @default.
• W2470240534 hasRelatedWork W2027321599 @default.
• W2470240534 hasRelatedWork W2160698488 @default.
• W2470240534 hasRelatedWork W2162177529 @default.

• next