Characterizing quantifier extensions of dependence logic (Q4916562): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Generalized quantifiers in dependence logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: From IF to BI. A tale of dependence and separation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3446107 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information / rank
 
Normal rank
Property / cites work
 
Property / cites work: On definability in dependence logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Preface for Studia Logica special issue (2) / rank
 
Normal rank

Latest revision as of 10:02, 6 July 2024

scientific article; zbMATH DE number 6156718
Language Label Description Also known as
English
Characterizing quantifier extensions of dependence logic
scientific article; zbMATH DE number 6156718

    Statements

    Characterizing quantifier extensions of dependence logic (English)
    0 references
    0 references
    0 references
    0 references
    23 April 2013
    0 references
    0 references
    dependence logic
    0 references
    independence logic
    0 references
    generalized quantifiers
    0 references
    quantifier extensions of existential second-order logic
    0 references
    0 references
    0 references