FRINK Linked Data Fragments server

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

• W69058103 endingPage "153" @default.
• W69058103 startingPage "142" @default.
• W69058103 abstract "We study dynamic modal operators that can change the model during the evaluation of a formula. In particular, we extend the basic modal language with modalities that are able to swap, delete or add pairs of related elements of the domain, while traversing an edge of the accessibility relation. We study these languages together with the sabotage modal logic, which can arbitrarily delete edges of the model. We define a suitable notion of bisimulation for the basic modal logic extended with each of the new dynamic operators and investigate their expressive power, showing that they are all uncomparable. We also show that the complexity of their model checking problems is PSpace-complete." @default.
• W69058103 created "2016-06-24" @default.
• W69058103 creator A5022706489 @default.
• W69058103 creator A5042275970 @default.
• W69058103 creator A5078884064 @default.
• W69058103 date "2012-01-01" @default.
• W69058103 modified "2023-10-07" @default.
• W69058103 title "Moving Arrows and Four Model Checking Results" @default.
• W69058103 cites W1989783863 @default.
• W69058103 cites W2096959337 @default.
• W69058103 cites W2102598450 @default.
• W69058103 cites W2111499053 @default.
• W69058103 cites W2147756013 @default.
• W69058103 cites W2153871866 @default.
• W69058103 cites W2159131252 @default.
• W69058103 cites W4211144022 @default.
• W69058103 cites W4256000740 @default.
• W69058103 doi "https://doi.org/10.1007/978-3-642-32621-9_11" @default.
• W69058103 hasPublicationYear "2012" @default.
• W69058103 type Work @default.
• W69058103 sameAs 69058103 @default.
• W69058103 citedByCount "28" @default.
• W69058103 countsByYear W690581032013 @default.
• W69058103 countsByYear W690581032014 @default.
• W69058103 countsByYear W690581032015 @default.
• W69058103 countsByYear W690581032016 @default.
• W69058103 countsByYear W690581032017 @default.
• W69058103 countsByYear W690581032018 @default.
• W69058103 countsByYear W690581032019 @default.
• W69058103 countsByYear W690581032020 @default.
• W69058103 countsByYear W690581032021 @default.
• W69058103 countsByYear W690581032022 @default.
• W69058103 countsByYear W690581032023 @default.
• W69058103 crossrefType "book-chapter" @default.
• W69058103 hasAuthorship W69058103A5022706489 @default.
• W69058103 hasAuthorship W69058103A5042275970 @default.
• W69058103 hasAuthorship W69058103A5078884064 @default.
• W69058103 hasBestOaLocation W690581032 @default.
• W69058103 hasConcept C10138342 @default.
• W69058103 hasConcept C102993220 @default.
• W69058103 hasConcept C110251889 @default.
• W69058103 hasConcept C11191006 @default.
• W69058103 hasConcept C11413529 @default.
• W69058103 hasConcept C121332964 @default.
• W69058103 hasConcept C13280743 @default.
• W69058103 hasConcept C135315306 @default.
• W69058103 hasConcept C162324750 @default.
• W69058103 hasConcept C165801399 @default.
• W69058103 hasConcept C172385210 @default.
• W69058103 hasConcept C176809094 @default.
• W69058103 hasConcept C185592680 @default.
• W69058103 hasConcept C188027245 @default.
• W69058103 hasConcept C195818886 @default.
• W69058103 hasConcept C203659156 @default.
• W69058103 hasConcept C205649164 @default.
• W69058103 hasConcept C27508121 @default.
• W69058103 hasConcept C2777796570 @default.
• W69058103 hasConcept C41008148 @default.
• W69058103 hasConcept C62520636 @default.
• W69058103 hasConcept C71139939 @default.
• W69058103 hasConcept C80444323 @default.
• W69058103 hasConcept C99821215 @default.
• W69058103 hasConceptScore W69058103C10138342 @default.
• W69058103 hasConceptScore W69058103C102993220 @default.
• W69058103 hasConceptScore W69058103C110251889 @default.
• W69058103 hasConceptScore W69058103C11191006 @default.
• W69058103 hasConceptScore W69058103C11413529 @default.
• W69058103 hasConceptScore W69058103C121332964 @default.
• W69058103 hasConceptScore W69058103C13280743 @default.
• W69058103 hasConceptScore W69058103C135315306 @default.
• W69058103 hasConceptScore W69058103C162324750 @default.
• W69058103 hasConceptScore W69058103C165801399 @default.
• W69058103 hasConceptScore W69058103C172385210 @default.
• W69058103 hasConceptScore W69058103C176809094 @default.
• W69058103 hasConceptScore W69058103C185592680 @default.
• W69058103 hasConceptScore W69058103C188027245 @default.
• W69058103 hasConceptScore W69058103C195818886 @default.
• W69058103 hasConceptScore W69058103C203659156 @default.
• W69058103 hasConceptScore W69058103C205649164 @default.
• W69058103 hasConceptScore W69058103C27508121 @default.
• W69058103 hasConceptScore W69058103C2777796570 @default.
• W69058103 hasConceptScore W69058103C41008148 @default.
• W69058103 hasConceptScore W69058103C62520636 @default.
• W69058103 hasConceptScore W69058103C71139939 @default.
• W69058103 hasConceptScore W69058103C80444323 @default.
• W69058103 hasConceptScore W69058103C99821215 @default.
• W69058103 hasLocation W690581031 @default.
• W69058103 hasLocation W690581032 @default.
• W69058103 hasOpenAccess W69058103 @default.
• W69058103 hasPrimaryLocation W690581031 @default.
• W69058103 hasRelatedWork W1537541219 @default.
• W69058103 hasRelatedWork W1866049941 @default.
• W69058103 hasRelatedWork W2082558313 @default.
• W69058103 hasRelatedWork W2115136657 @default.
• W69058103 hasRelatedWork W2178366839 @default.
• W69058103 hasRelatedWork W2741600867 @default.
• W69058103 hasRelatedWork W2794771199 @default.
• W69058103 hasRelatedWork W2947093719 @default.

• next