On Definability in Dependence Logic

Authors:
Juha Kontinen;Jouko Väänänen
Affiliations:
Department of Mathematics and Statistics, University of Helsinki, University of Helsinki, Finland 00014;ILLC, University of Amsterdam, Amsterdam, The Netherlands and Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland
Venue:
Journal of Logic, Language and Information
Year:
2009

Citing 2
Cited 13

The principles of mathematics revisited

The principles of mathematics revisited
Some Strange Quantifiers

Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht

Team Logic and Second-Order Logic

WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Erratum to: On Definability in Dependence Logic

Journal of Logic, Language and Information
Generalized Quantifiers in Dependence Logic

Journal of Logic, Language and Information
Team Logic and Second-Order Logic

Fundamenta Informaticae - Logic, Language, Information and Computation
Hierarchies in Dependence Logic

ACM Transactions on Computational Logic (TOCL)
Dependence and Independence

Studia Logica
Expressivity of Imperfect Information Logics without Identity

Studia Logica
Editorial Introduction

Studia Logica
Coherence and Computational Complexity of Quantifier-free Dependence Logic Formulas

Studia Logica
Expressing Second-order Sentences in Intuitionistic Dependence Logic

Studia Logica
Epistemic Operators in Dependence Logic

Studia Logica
Model-checking games for logics of imperfect information

Theoretical Computer Science
The Dynamification of Modal Dependence Logic

Journal of Logic, Language and Information

Quantified Score

Hi-index	0.00

Visualization

Abstract

We study the expressive power of open formulas of dependence logic introduced in Väänänen [Dependence logic (Vol. 70 of London Mathematical Society Student Texts), 2007]. In particular, we answer a question raised by Wilfrid Hodges: how to characterize the sets of teams definable by means of identity only in dependence logic, or equivalently in independence friendly logic.