On Strongly First-Order Dependencies (Q5213641)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7162517

Language	Label	Description	Also known as
English	On Strongly First-Order Dependencies	scientific article; zbMATH DE number 7162517

Statements

scholarly article

0 references

On Strongly First-Order Dependencies (English)

0 references

Dependence Logic

0 references

publication date

4 February 2020

0 references

full work available at URL

https://arxiv.org/abs/1403.3698

0 references

Pietro Galliani

0 references

MaRDI profile type

MaRDI publication profile

0 references

From IF to BI. A tale of dependence and separation

0 references

Hierarchies in Dependence Logic

0 references

Generalized quantifiers in dependence logic

0 references

Characterizing quantifier extensions of dependence logic

0 references

Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information

0 references

0 references

0 references

The Doxastic Interpretation of Team Semantics

0 references

Hierarchies in independence logic

0 references

Dependence and independence

0 references

Hierarchies in Inclusion Logic with Lax Semantics

0 references

Compositional semantics for a language of imperfect information

0 references

Team Logic and Second-Order Logic

0 references

Independence in Database Relations

0 references

A double team semantics for generalized quantifiers

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-319-31803-5_4

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5213641

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5213641&oldid=36557823"