Erratum to: ``On definability in dependence logic

DOI10.1007/s10849-010-9125-6zbMath1208.03034OpenAlexW2084298794MaRDI QIDQ2429991

Juha Kontinen, Jouko Väänänen

Publication date: 5 April 2011

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-010-9125-6

zbMATH Keywords

independence friendly logicdependence logicteamexpressive power of open formulas

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (4)

On elementary logics for quantitative dependencies ⋮ COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES ⋮ Negation and partial axiomatizations of dependence and independence logic revisited ⋮ Grelling on Dependence

Cites Work

• On definability in dependence logic

This page was built for publication: Erratum to: ``On definability in dependence logic