FRINK Linked Data Fragments server

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

• W2950681618 abstract "We study modal team logic MTL, the team-semantical extension of modal logic ML closed under Boolean negation. Its fragments, such as modal dependence, independence, and inclusion logic, are well-understood. However, due to the unrestricted Boolean negation, the satisfiability problem of full MTL has been notoriously resistant to a complexity theoretical classification. In our approach, we introduce the notion of canonical models into the team-semantical setting. By construction of such a model, we reduce the satisfiability problem of MTL to simple model checking. Afterwards, we show that this approach is optimal in the sense that MTL-formulas can efficiently enforce canonicity. Furthermore, to capture these results in terms of complexity, we introduce a non-elementary complexity class, TOWER(poly), and prove that it contains satisfiability and validity of MTL as complete problems. We also prove that the fragments of MTL with bounded modal depth are complete for the levels of the elementary hierarchy (with polynomially many alternations). The respective hardness results hold for both strict or lax semantics of the modal operators and the splitting disjunction, and also over the class of reflexive and transitive frames." @default.
• W2950681618 created "2019-06-27" @default.
• W2950681618 creator A5062261702 @default.
• W2950681618 date "2019-04-01" @default.
• W2950681618 modified "2023-10-14" @default.
• W2950681618 title "Canonical Models and the Complexity of Modal Team Logic" @default.
• W2950681618 cites W1482215821 @default.
• W2950681618 cites W1489270299 @default.
• W2950681618 cites W1736037452 @default.
• W2950681618 cites W1901350436 @default.
• W2950681618 cites W1926269500 @default.
• W2950681618 cites W1948516912 @default.
• W2950681618 cites W1981194978 @default.
• W2950681618 cites W1990514682 @default.
• W2950681618 cites W1998084650 @default.
• W2950681618 cites W2003216212 @default.
• W2950681618 cites W2026852433 @default.
• W2950681618 cites W2034690236 @default.
• W2950681618 cites W2036265926 @default.
• W2950681618 cites W2036639698 @default.
• W2950681618 cites W2073491323 @default.
• W2950681618 cites W2163751633 @default.
• W2950681618 cites W2285760602 @default.
• W2950681618 cites W2405405439 @default.
• W2950681618 cites W2441642482 @default.
• W2950681618 cites W2505761605 @default.
• W2950681618 cites W2606123530 @default.
• W2950681618 cites W2610670723 @default.
• W2950681618 cites W2795306477 @default.
• W2950681618 cites W2952431426 @default.
• W2950681618 cites W2962791617 @default.
• W2950681618 cites W2962988080 @default.
• W2950681618 cites W2963377543 @default.
• W2950681618 cites W2963866037 @default.
• W2950681618 cites W2964051209 @default.
• W2950681618 cites W2964104541 @default.
• W2950681618 cites W2964143660 @default.
• W2950681618 cites W3037175162 @default.
• W2950681618 cites W3092653590 @default.
• W2950681618 cites W83792636 @default.
• W2950681618 doi "https://doi.org/10.23638/lmcs-15(2:2)2019" @default.
• W2950681618 hasPublicationYear "2019" @default.
• W2950681618 type Work @default.
• W2950681618 sameAs 2950681618 @default.
• W2950681618 citedByCount "1" @default.
• W2950681618 countsByYear W29506816182021 @default.
• W2950681618 crossrefType "journal-article" @default.
• W2950681618 hasAuthorship W2950681618A5062261702 @default.
• W2950681618 hasBestOaLocation W29506816182 @default.
• W2950681618 hasConcept C102993220 @default.
• W2950681618 hasConcept C111472728 @default.
• W2950681618 hasConcept C11191006 @default.
• W2950681618 hasConcept C114092440 @default.
• W2950681618 hasConcept C11413529 @default.
• W2950681618 hasConcept C114614502 @default.
• W2950681618 hasConcept C118615104 @default.
• W2950681618 hasConcept C134306372 @default.
• W2950681618 hasConcept C138885662 @default.
• W2950681618 hasConcept C154945302 @default.
• W2950681618 hasConcept C168773769 @default.
• W2950681618 hasConcept C179799912 @default.
• W2950681618 hasConcept C185592680 @default.
• W2950681618 hasConcept C188027245 @default.
• W2950681618 hasConcept C191399111 @default.
• W2950681618 hasConcept C199360897 @default.
• W2950681618 hasConcept C203659156 @default.
• W2950681618 hasConcept C2185349 @default.
• W2950681618 hasConcept C27508121 @default.
• W2950681618 hasConcept C2777212361 @default.
• W2950681618 hasConcept C2778029271 @default.
• W2950681618 hasConcept C2780586882 @default.
• W2950681618 hasConcept C33923547 @default.
• W2950681618 hasConcept C34388435 @default.
• W2950681618 hasConcept C39637292 @default.
• W2950681618 hasConcept C41008148 @default.
• W2950681618 hasConcept C6943359 @default.
• W2950681618 hasConcept C71139939 @default.
• W2950681618 hasConcept C78344899 @default.
• W2950681618 hasConcept C80444323 @default.
• W2950681618 hasConceptScore W2950681618C102993220 @default.
• W2950681618 hasConceptScore W2950681618C111472728 @default.
• W2950681618 hasConceptScore W2950681618C11191006 @default.
• W2950681618 hasConceptScore W2950681618C114092440 @default.
• W2950681618 hasConceptScore W2950681618C11413529 @default.
• W2950681618 hasConceptScore W2950681618C114614502 @default.
• W2950681618 hasConceptScore W2950681618C118615104 @default.
• W2950681618 hasConceptScore W2950681618C134306372 @default.
• W2950681618 hasConceptScore W2950681618C138885662 @default.
• W2950681618 hasConceptScore W2950681618C154945302 @default.
• W2950681618 hasConceptScore W2950681618C168773769 @default.
• W2950681618 hasConceptScore W2950681618C179799912 @default.
• W2950681618 hasConceptScore W2950681618C185592680 @default.
• W2950681618 hasConceptScore W2950681618C188027245 @default.
• W2950681618 hasConceptScore W2950681618C191399111 @default.
• W2950681618 hasConceptScore W2950681618C199360897 @default.
• W2950681618 hasConceptScore W2950681618C203659156 @default.
• W2950681618 hasConceptScore W2950681618C2185349 @default.
• W2950681618 hasConceptScore W2950681618C27508121 @default.
• W2950681618 hasConceptScore W2950681618C2777212361 @default.
• W2950681618 hasConceptScore W2950681618C2778029271 @default.

• next