Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information (Q645985): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / arXiv ID | |||
Property / arXiv ID: 1106.1323 / 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: Inclusion dependencies and their interaction with functional dependencies / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hierarchies in Dependence Logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4058132 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A normal form for relational databases that is based on domains and keys / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5691485 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4336034 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compositional semantics for a language of imperfect information / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3574468 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5755192 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Team Logic and Second-Order Logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On definability in dependence logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3113046 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a generalization of quantifiers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hybrid logic meets IF modal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3446107 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3574474 / rank | |||
Normal rank |
Latest revision as of 16:02, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information |
scientific article |
Statements
Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information (English)
0 references
11 November 2011
0 references
dependence
0 references
independence
0 references
imperfect information
0 references
team semantics
0 references
model theory
0 references