FRINK Linked Data Fragments server

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

• W3008129045 endingPage "100529" @default.
• W3008129045 startingPage "100529" @default.
• W3008129045 abstract "Abstract We introduce the completeness problem for Modal Logic (possibly with fixpoint operators) and examine its complexity. A formula is called complete, if any two satisfying processes are bisimilar. The completeness problem is closely connected to the characterization problem, which asks whether a given formula characterizes a given process up to bisimulation equivalence. We discover that completeness, characterization, and validity have the same complexity — with some exceptions for which there are, in general, no complete formulae. To prove our upper bounds, we present a non-deterministic procedure with an oracle for validity that combines tableaux and a test for bisimilarity, and determines whether a formula is complete." @default.
• W3008129045 created "2020-03-06" @default.
• W3008129045 creator A5016540152 @default.
• W3008129045 creator A5041913577 @default.
• W3008129045 creator A5066986721 @default.
• W3008129045 creator A5077349456 @default.
• W3008129045 date "2020-04-01" @default.
• W3008129045 modified "2023-10-16" @default.
• W3008129045 title "The complexity of identifying characteristic formulae" @default.
• W3008129045 cites W1601452436 @default.
• W3008129045 cites W1819209966 @default.
• W3008129045 cites W1968829301 @default.
• W3008129045 cites W1978260344 @default.
• W3008129045 cites W1978469611 @default.
• W3008129045 cites W1981194978 @default.
• W3008129045 cites W1985294169 @default.
• W3008129045 cites W2015640848 @default.
• W3008129045 cites W2025280888 @default.
• W3008129045 cites W2029980187 @default.
• W3008129045 cites W2033100041 @default.
• W3008129045 cites W2036639698 @default.
• W3008129045 cites W2044504659 @default.
• W3008129045 cites W2068361557 @default.
• W3008129045 cites W2069709605 @default.
• W3008129045 cites W2073491323 @default.
• W3008129045 cites W2076073997 @default.
• W3008129045 cites W2083398633 @default.
• W3008129045 cites W2113617913 @default.
• W3008129045 cites W2127907968 @default.
• W3008129045 cites W2133147428 @default.
• W3008129045 cites W2153364044 @default.
• W3008129045 cites W2160811334 @default.
• W3008129045 cites W2287532945 @default.
• W3008129045 cites W4211144022 @default.
• W3008129045 cites W4256369010 @default.
• W3008129045 doi "https://doi.org/10.1016/j.jlamp.2020.100529" @default.
• W3008129045 hasPublicationYear "2020" @default.
• W3008129045 type Work @default.
• W3008129045 sameAs 3008129045 @default.
• W3008129045 citedByCount "1" @default.
• W3008129045 countsByYear W30081290452022 @default.
• W3008129045 crossrefType "journal-article" @default.
• W3008129045 hasAuthorship W3008129045A5016540152 @default.
• W3008129045 hasAuthorship W3008129045A5041913577 @default.
• W3008129045 hasAuthorship W3008129045A5066986721 @default.
• W3008129045 hasAuthorship W3008129045A5077349456 @default.
• W3008129045 hasConcept C11191006 @default.
• W3008129045 hasConcept C115903868 @default.
• W3008129045 hasConcept C118615104 @default.
• W3008129045 hasConcept C134306372 @default.
• W3008129045 hasConcept C135315306 @default.
• W3008129045 hasConcept C171250308 @default.
• W3008129045 hasConcept C17231256 @default.
• W3008129045 hasConcept C173125200 @default.
• W3008129045 hasConcept C185592680 @default.
• W3008129045 hasConcept C188027245 @default.
• W3008129045 hasConcept C192562407 @default.
• W3008129045 hasConcept C27508121 @default.
• W3008129045 hasConcept C2780069185 @default.
• W3008129045 hasConcept C2780841128 @default.
• W3008129045 hasConcept C33923547 @default.
• W3008129045 hasConcept C41008148 @default.
• W3008129045 hasConcept C55166926 @default.
• W3008129045 hasConcept C71139939 @default.
• W3008129045 hasConceptScore W3008129045C11191006 @default.
• W3008129045 hasConceptScore W3008129045C115903868 @default.
• W3008129045 hasConceptScore W3008129045C118615104 @default.
• W3008129045 hasConceptScore W3008129045C134306372 @default.
• W3008129045 hasConceptScore W3008129045C135315306 @default.
• W3008129045 hasConceptScore W3008129045C171250308 @default.
• W3008129045 hasConceptScore W3008129045C17231256 @default.
• W3008129045 hasConceptScore W3008129045C173125200 @default.
• W3008129045 hasConceptScore W3008129045C185592680 @default.
• W3008129045 hasConceptScore W3008129045C188027245 @default.
• W3008129045 hasConceptScore W3008129045C192562407 @default.
• W3008129045 hasConceptScore W3008129045C27508121 @default.
• W3008129045 hasConceptScore W3008129045C2780069185 @default.
• W3008129045 hasConceptScore W3008129045C2780841128 @default.
• W3008129045 hasConceptScore W3008129045C33923547 @default.
• W3008129045 hasConceptScore W3008129045C41008148 @default.
• W3008129045 hasConceptScore W3008129045C55166926 @default.
• W3008129045 hasConceptScore W3008129045C71139939 @default.
• W3008129045 hasLocation W30081290451 @default.
• W3008129045 hasOpenAccess W3008129045 @default.
• W3008129045 hasPrimaryLocation W30081290451 @default.
• W3008129045 hasRelatedWork W1974891317 @default.
• W3008129045 hasRelatedWork W2042127053 @default.
• W3008129045 hasRelatedWork W2142036596 @default.
• W3008129045 hasRelatedWork W2187256922 @default.
• W3008129045 hasRelatedWork W2313400459 @default.
• W3008129045 hasRelatedWork W2748952813 @default.
• W3008129045 hasRelatedWork W2899084033 @default.
• W3008129045 hasRelatedWork W2913765211 @default.
• W3008129045 hasRelatedWork W2963510427 @default.
• W3008129045 hasRelatedWork W4244379845 @default.
• W3008129045 hasVolume "112" @default.
• W3008129045 isParatext "false" @default.
• W3008129045 isRetracted "false" @default.

• next