Epistemic Operators in Dependence Logic

  title={Epistemic Operators in Dependence Logic},
  author={Pietro Galliani},
  journal={Studia Logica},
The properties of the ∀1 quantifier defined by Kontinen and Väänänen in [13] are studied, and its definition is generalized to that of a family of quantifiers ∀n. Furthermore, some epistemic operators δ for Dependence Logic are also introduced, and the relationship between these ∀n quantifiers and the δ operators are investigated. The Game Theoretic Semantics for Dependence Logic and the corresponding Ehrenfeucht-Fraissé game are then adapted to these new connectives. Finally, it is proved that… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 19 references

Dependence Logic

  • Väänänen, Jouko
  • 2007
Highly Influential
10 Excerpts

Some Remarks on Infinitely Long Formulas, in Infinitistic Methods

  • Henkin, Leon
  • Proc. Symposium on Foundations of Mathematics…
  • 1961
Highly Influential
5 Excerpts

Epistemic operators and uniform definability in dependence logic

  • Galliani, Pietro
  • Proceedings of Dependence and Independence in…
  • 2010
1 Excerpt

, and Theo Jannsen , Equivalence and Quantifier Rules for Logic with Imperfect Information

  • Xavier Caicedo, Francien Dechesne
  • Logic Journal of the IGPL
  • 2009

Independence Friendly Logic, Stanford

  • Tulenheimo, Tero
  • Encyclopedia of Philosophy,
  • 2009
1 Excerpt

Jannsen, Equivalence and Quantifier Rules for Logic with Imperfect Information, Logic

  • Caicedo, Xavier, Francien Dechesne, Theo
  • Journal of the IGPL 17(1):91–129,
  • 2009
2 Excerpts

The stories of logic and information

  • Benthem, Johan van, Maricarmen Martinez
  • Philosophy of Information (Handbook of the…
  • 2008
2 Excerpts

Similar Papers

Loading similar papers…