Axiomatizing first-order consequences in dependence logic

Juha Kontinen, Jouko A. Väänänen. Axiomatizing first-order consequences in dependence logic. Annals of Pure and Applied Logic, 164(11):1101-1117, 2013. [doi]

Authors

Juha Kontinen

This author has not been identified. Look up 'Juha Kontinen' in Google

Jouko A. Väänänen

This author has not been identified. Look up 'Jouko A. Väänänen' in Google