Matches in SemOpenAlex for { <https://semopenalex.org/work/W2092988840> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2092988840 endingPage "458" @default.
- W2092988840 startingPage "441" @default.
- W2092988840 abstract "We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both subrelational transitions such as monotone neighbourhood frames or selection function models as well as those with more structure such as Markov chains and alternating temporal frames. We provide a generic canonical cut-free sequent system and a terminating proof-search strategy for the fragment without the difference modality but including the global modality." @default.
- W2092988840 created "2016-06-24" @default.
- W2092988840 creator A5042479147 @default.
- W2092988840 creator A5077171828 @default.
- W2092988840 date "2010-12-01" @default.
- W2092988840 modified "2023-10-16" @default.
- W2092988840 title "Hybrid logic with the difference modality for generalisations of graphs" @default.
- W2092988840 cites W1503578951 @default.
- W2092988840 cites W151593980 @default.
- W2092988840 cites W1525860295 @default.
- W2092988840 cites W1570729432 @default.
- W2092988840 cites W1570796240 @default.
- W2092988840 cites W1795577507 @default.
- W2092988840 cites W2038631580 @default.
- W2092988840 cites W2060917500 @default.
- W2092988840 cites W2067803913 @default.
- W2092988840 cites W2077519384 @default.
- W2092988840 cites W2104166006 @default.
- W2092988840 cites W2109058602 @default.
- W2092988840 cites W2111402410 @default.
- W2092988840 cites W2120926795 @default.
- W2092988840 cites W2133256831 @default.
- W2092988840 cites W2142018979 @default.
- W2092988840 cites W2144102914 @default.
- W2092988840 cites W2155557313 @default.
- W2092988840 cites W2166396462 @default.
- W2092988840 cites W2250074872 @default.
- W2092988840 cites W2405904545 @default.
- W2092988840 cites W2610670723 @default.
- W2092988840 cites W2912491216 @default.
- W2092988840 cites W3189472968 @default.
- W2092988840 doi "https://doi.org/10.1016/j.jal.2010.08.011" @default.
- W2092988840 hasPublicationYear "2010" @default.
- W2092988840 type Work @default.
- W2092988840 sameAs 2092988840 @default.
- W2092988840 citedByCount "3" @default.
- W2092988840 countsByYear W20929888402013 @default.
- W2092988840 countsByYear W20929888402020 @default.
- W2092988840 crossrefType "journal-article" @default.
- W2092988840 hasAuthorship W2092988840A5042479147 @default.
- W2092988840 hasAuthorship W2092988840A5077171828 @default.
- W2092988840 hasConcept C105795698 @default.
- W2092988840 hasConcept C108710211 @default.
- W2092988840 hasConcept C11413529 @default.
- W2092988840 hasConcept C118615104 @default.
- W2092988840 hasConcept C137155000 @default.
- W2092988840 hasConcept C138885662 @default.
- W2092988840 hasConcept C154945302 @default.
- W2092988840 hasConcept C2524010 @default.
- W2092988840 hasConcept C2776235265 @default.
- W2092988840 hasConcept C2780226545 @default.
- W2092988840 hasConcept C2834757 @default.
- W2092988840 hasConcept C33923547 @default.
- W2092988840 hasConcept C41008148 @default.
- W2092988840 hasConcept C41895202 @default.
- W2092988840 hasConcept C65880906 @default.
- W2092988840 hasConcept C80444323 @default.
- W2092988840 hasConcept C89421646 @default.
- W2092988840 hasConcept C98763669 @default.
- W2092988840 hasConceptScore W2092988840C105795698 @default.
- W2092988840 hasConceptScore W2092988840C108710211 @default.
- W2092988840 hasConceptScore W2092988840C11413529 @default.
- W2092988840 hasConceptScore W2092988840C118615104 @default.
- W2092988840 hasConceptScore W2092988840C137155000 @default.
- W2092988840 hasConceptScore W2092988840C138885662 @default.
- W2092988840 hasConceptScore W2092988840C154945302 @default.
- W2092988840 hasConceptScore W2092988840C2524010 @default.
- W2092988840 hasConceptScore W2092988840C2776235265 @default.
- W2092988840 hasConceptScore W2092988840C2780226545 @default.
- W2092988840 hasConceptScore W2092988840C2834757 @default.
- W2092988840 hasConceptScore W2092988840C33923547 @default.
- W2092988840 hasConceptScore W2092988840C41008148 @default.
- W2092988840 hasConceptScore W2092988840C41895202 @default.
- W2092988840 hasConceptScore W2092988840C65880906 @default.
- W2092988840 hasConceptScore W2092988840C80444323 @default.
- W2092988840 hasConceptScore W2092988840C89421646 @default.
- W2092988840 hasConceptScore W2092988840C98763669 @default.
- W2092988840 hasIssue "4" @default.
- W2092988840 hasLocation W20929888401 @default.
- W2092988840 hasOpenAccess W2092988840 @default.
- W2092988840 hasPrimaryLocation W20929888401 @default.
- W2092988840 hasRelatedWork W1545980826 @default.
- W2092988840 hasRelatedWork W2031370656 @default.
- W2092988840 hasRelatedWork W2033347591 @default.
- W2092988840 hasRelatedWork W2075337691 @default.
- W2092988840 hasRelatedWork W2086309981 @default.
- W2092988840 hasRelatedWork W2092988840 @default.
- W2092988840 hasRelatedWork W2117353155 @default.
- W2092988840 hasRelatedWork W2162049448 @default.
- W2092988840 hasRelatedWork W2963722268 @default.
- W2092988840 hasRelatedWork W4294407756 @default.
- W2092988840 hasVolume "8" @default.
- W2092988840 isParatext "false" @default.
- W2092988840 isRetracted "false" @default.
- W2092988840 magId "2092988840" @default.
- W2092988840 workType "article" @default.