Team Logic and Second-Order Logic
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Hybrid Logic Meets IF Modal Logic
Journal of Logic, Language and Information
Complexity results for modal dependence logic
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Erratum to: On Definability in Dependence Logic
Journal of Logic, Language and Information
Hypergraphs of multiparty secrets
Annals of Mathematics and Artificial Intelligence
Complexity of model checking for modal dependence logic
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
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)
Model checking for modal intuitionistic dependence logic
TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation
Studia Logica
Studia Logica
Complexity Results for Modal Dependence Logic
Studia Logica
IF Modal Logic and Classical Negation
Studia Logica
Hi-index | 0.00 |
Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving on the way a precise mathematical treatment of Hintikka's independence friendly logic. Dependence logic adds the concept of dependence to first order logic. Here the syntax and semantics of dependence logic are studied, dependence logic is given an alternative game theoretic semantics, and results about its complexity are proven. This is a graduate textbook suitable for a special course in logic in mathematics, philosophy and computer science departments, and contains over 200 exercises, many of which have a full solution at the end of the book. It is also accessible to readers, with a basic knowledge of logic, interested in new phenomena in logic.