<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Inclusion and exclusion dependencies in team semantics — On some logics of imperfect information

Name: Inclusion and exclusion dependencies in team semantics — On some logics of imperfect information
Creator: Galliani P
Keywords: 03B60, 03C80, 03C85, Imperfect information, Logic, FOS: Mathematics, Model theory, Mathematics - Logic, 0102 computer and information sciences, Independence, 0101 mathematics, Dependence

descriptionPublicationkeyboard_double_arrow_right Article , Preprint 01 Jan 2012Embargo end date: 01 Jan 2011 Italy Publisher:Elsevier BVJournal:Annals of Pure and Applied Logic, volume 163, pages 68-84 (issn: 0168-0072,

Authors: Galliani P;

doi: 10.1016/j.apal.2011.08.005 , 10.48550/arxiv.1106.1323

arXiv: http://arxiv.org/abs/1106.1323

handle: 11383/2145652

Inclusion and exclusion dependencies in team semantics — On some logics of imperfect information

- Summary
- Subjects
- Related research
  (3)
- Metrics

Abstract

We introduce some new logics of imperfect information by adding atomic formulas corresponding to inclusion and exclusion dependencies to the language of first order logic. The properties of these logics and their relationships with other logics of imperfect information are then studied. Furthermore, a game theoretic semantics for these logics is developed. As a corollary of these results, we characterize the expressive power of independence logic, thus answering an open problem posed in (Gr��del and V��n��nen, 2010).

Country

Italy

Related Organizations

Keywords

03B60, 03C80, 03C85, Imperfect information, Logic, FOS: Mathematics, Model theory, Mathematics - Logic, Independence, Dependence, Logic (math.LO), Team semantics

3 Research products, page 1 of 1

The hierarchy theorem for second order generalized quantifiers
2006IsAmongTopNSimilarDocuments
Generalized Quantifiers in Dependence Logic
2012IsAmongTopNSimilarDocuments
PA(aa)
1995IsAmongTopNSimilarDocuments

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	110
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 1%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%