( en | de | ru )

 

Disambiguation of "Väänänen, Jouko A."

Author of the publication

copydeleteadd this publication to your clipboard
Axiomatizing first-order consequences in dependence logic.

, and . Ann. Pure Appl. Log., 164 (11): 1101-1117 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kaisa Väänänen

Riitta Väänänen

Jouko Jokisalo

Jouko Parad

Jouko Jokisalo

 

Other publications of authors with the same name

Generalized Quantifiers.. Bulletin of the EATCS, (1997)On Dependence Logic, and . CoRR, (2013)From IF to BI: a tale of dependence and separation, and . CoRR, (2011)Finite information logic., and . Ann. Pure Appl. Log., 134 (1): 83-93 (2005)Henkin and Function Quantifiers., and . Ann. Pure Appl. Log., 43 (3): 273-292 (1989)A note on extensions of infinitary logic., and . Arch. Math. Log., 44 (1): 63-69 (2005)On Scott and Karp Trees of Uncountable Models., and . J. Symb. Log., 55 (3): 897-908 (1990)Dependence Logic - A New Approach to Independence Friendly Logic.. London Mathematical Society student texts Cambridge University Press, (2007)Introduction to the special theme: Maths for Everyday Life., and . ERCIM News, (2008)Generalized Quantifiers, an Introduction.. ESSLLI, volume 1754 of Lecture Notes in Computer Science, page 1-17. Springer, (1997)