Matches in SemOpenAlex for { <https://semopenalex.org/work/W2267657316> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2267657316 abstract "We give sound and complete Hilbert-style axiomatizations for propositional dependence logic (PD), modal dependence logic (MDL), and extended modal dependence logic (EMDL) by extending existing axiomatizations for propositional logic and modal logic. In addition, we give novel labeled tableau calculi for PD, MDL, and EMDL. We prove soundness, completeness and termination for each of the labeled calculi." @default.
- W2267657316 created "2016-06-24" @default.
- W2267657316 creator A5065788231 @default.
- W2267657316 creator A5073358565 @default.
- W2267657316 date "2014-10-19" @default.
- W2267657316 modified "2023-09-25" @default.
- W2267657316 title "Axiomatizing Propositional Dependence Logics" @default.
- W2267657316 cites W83792636 @default.
- W2267657316 hasPublicationYear "2014" @default.
- W2267657316 type Work @default.
- W2267657316 sameAs 2267657316 @default.
- W2267657316 citedByCount "2" @default.
- W2267657316 countsByYear W22676573162014 @default.
- W2267657316 countsByYear W22676573162015 @default.
- W2267657316 crossrefType "posted-content" @default.
- W2267657316 hasAuthorship W2267657316A5065788231 @default.
- W2267657316 hasAuthorship W2267657316A5073358565 @default.
- W2267657316 hasConcept C102993220 @default.
- W2267657316 hasConcept C110039528 @default.
- W2267657316 hasConcept C11413529 @default.
- W2267657316 hasConcept C118615104 @default.
- W2267657316 hasConcept C121332964 @default.
- W2267657316 hasConcept C134306372 @default.
- W2267657316 hasConcept C14523651 @default.
- W2267657316 hasConcept C165801399 @default.
- W2267657316 hasConcept C17231256 @default.
- W2267657316 hasConcept C172385210 @default.
- W2267657316 hasConcept C188027245 @default.
- W2267657316 hasConcept C191222856 @default.
- W2267657316 hasConcept C192562407 @default.
- W2267657316 hasConcept C199343813 @default.
- W2267657316 hasConcept C199360897 @default.
- W2267657316 hasConcept C203659156 @default.
- W2267657316 hasConcept C27508121 @default.
- W2267657316 hasConcept C2777686260 @default.
- W2267657316 hasConcept C2777796570 @default.
- W2267657316 hasConcept C33203268 @default.
- W2267657316 hasConcept C33923547 @default.
- W2267657316 hasConcept C3845977 @default.
- W2267657316 hasConcept C39920170 @default.
- W2267657316 hasConcept C41008148 @default.
- W2267657316 hasConcept C62520636 @default.
- W2267657316 hasConcept C69562738 @default.
- W2267657316 hasConcept C71139939 @default.
- W2267657316 hasConcept C71924100 @default.
- W2267657316 hasConceptScore W2267657316C102993220 @default.
- W2267657316 hasConceptScore W2267657316C110039528 @default.
- W2267657316 hasConceptScore W2267657316C11413529 @default.
- W2267657316 hasConceptScore W2267657316C118615104 @default.
- W2267657316 hasConceptScore W2267657316C121332964 @default.
- W2267657316 hasConceptScore W2267657316C134306372 @default.
- W2267657316 hasConceptScore W2267657316C14523651 @default.
- W2267657316 hasConceptScore W2267657316C165801399 @default.
- W2267657316 hasConceptScore W2267657316C17231256 @default.
- W2267657316 hasConceptScore W2267657316C172385210 @default.
- W2267657316 hasConceptScore W2267657316C188027245 @default.
- W2267657316 hasConceptScore W2267657316C191222856 @default.
- W2267657316 hasConceptScore W2267657316C192562407 @default.
- W2267657316 hasConceptScore W2267657316C199343813 @default.
- W2267657316 hasConceptScore W2267657316C199360897 @default.
- W2267657316 hasConceptScore W2267657316C203659156 @default.
- W2267657316 hasConceptScore W2267657316C27508121 @default.
- W2267657316 hasConceptScore W2267657316C2777686260 @default.
- W2267657316 hasConceptScore W2267657316C2777796570 @default.
- W2267657316 hasConceptScore W2267657316C33203268 @default.
- W2267657316 hasConceptScore W2267657316C33923547 @default.
- W2267657316 hasConceptScore W2267657316C3845977 @default.
- W2267657316 hasConceptScore W2267657316C39920170 @default.
- W2267657316 hasConceptScore W2267657316C41008148 @default.
- W2267657316 hasConceptScore W2267657316C62520636 @default.
- W2267657316 hasConceptScore W2267657316C69562738 @default.
- W2267657316 hasConceptScore W2267657316C71139939 @default.
- W2267657316 hasConceptScore W2267657316C71924100 @default.
- W2267657316 hasLocation W22676573161 @default.
- W2267657316 hasOpenAccess W2267657316 @default.
- W2267657316 hasPrimaryLocation W22676573161 @default.
- W2267657316 hasRelatedWork W1497109150 @default.
- W2267657316 hasRelatedWork W1519702305 @default.
- W2267657316 hasRelatedWork W1540863024 @default.
- W2267657316 hasRelatedWork W1555569636 @default.
- W2267657316 hasRelatedWork W1834198313 @default.
- W2267657316 hasRelatedWork W189246291 @default.
- W2267657316 hasRelatedWork W2015640848 @default.
- W2267657316 hasRelatedWork W2055279698 @default.
- W2267657316 hasRelatedWork W2121899526 @default.
- W2267657316 hasRelatedWork W2168190997 @default.
- W2267657316 hasRelatedWork W2285502565 @default.
- W2267657316 hasRelatedWork W2547970422 @default.
- W2267657316 hasRelatedWork W2591594485 @default.
- W2267657316 hasRelatedWork W2893109491 @default.
- W2267657316 hasRelatedWork W2952995226 @default.
- W2267657316 hasRelatedWork W2963562820 @default.
- W2267657316 hasRelatedWork W3126734519 @default.
- W2267657316 hasRelatedWork W645775852 @default.
- W2267657316 hasRelatedWork W86787093 @default.
- W2267657316 hasRelatedWork W2356569341 @default.
- W2267657316 isParatext "false" @default.
- W2267657316 isRetracted "false" @default.
- W2267657316 magId "2267657316" @default.
- W2267657316 workType "article" @default.