Остановите войну!
for scientists:
default search action
Jouko A. Väänänen
- > Home > Persons > Jouko A. Väänänen
Publications
- 2023
- [j73]Saharon Shelah, Jouko Väänänen:
Positive logics. Arch. Math. Log. 62(1-2): 207-223 (2023) - 2022
- [j70]Pietro Galliani, Jouko Väänänen:
Diversity, dependence and independence. Ann. Math. Artif. Intell. 90(2-3): 211-233 (2022) - [j69]Jouko Väänänen, Fan Yang, Philip Scott:
Introduction. Ann. Pure Appl. Log. 173(10): 103168 (2022) - [j68]Arnaud Durand, Juha Kontinen, Nicolas de Rugy-Altherre, Jouko Väänänen:
Tractability Frontier of Data Complexity in Team Semantics. ACM Trans. Comput. Log. 23(1): 3:1-3:21 (2022) - [i14]Arnaud Durand, Juha Kontinen, Jouko Väänänen:
Modular SAT-based techniques for reasoning tasks in team semantics. CoRR abs/2204.00576 (2022) - 2021
- [j67]Juliette Kennedy, Jouko Väänänen:
Logicality and Model Classes. Bull. Symb. Log. 27(4): 385-414 (2021) - [j66]Juliette Kennedy, Menachem Magidor, Jouko Väänänen:
Inner models from extended logics: Part 1. J. Math. Log. 21(2): 2150012:1-2150012:53 (2021) - 2020
- [c9]Pietro Galliani, Jouko Väänänen:
Diversity, Dependence and Independence. FoIKS 2020: 106-121 - 2019
- [j65]Jouko Väänänen, Ruy J. G. B. de Queiroz:
23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016. Ann. Pure Appl. Log. 170(9): 921-922 (2019) - [j64]Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen:
A logical approach to context-specific independence. Ann. Pure Appl. Log. 170(9): 975-992 (2019) - [i12]Pietro Galliani, Jouko Väänänen:
Diversity, Dependence and Independence. CoRR abs/1912.03252 (2019) - 2018
- [j62]Åsa Hirvonen, Thomas Scanlon, Jouko Väänänen, Dag Westerståhl:
Preface. Ann. Pure Appl. Log. 169(12): 1243-1245 (2018) - 2017
- [j61]Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen:
A logic for arguing about probabilities in measure teams. Arch. Math. Log. 56(5-6): 475-489 (2017) - [j60]Fan Yang, Jouko Väänänen:
Propositional team logics. Ann. Pure Appl. Log. 168(7): 1406-1441 (2017) - [j59]Jouko Väänänen, Ruy J. G. B. de Queiroz, Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés, José R. Arrazola Ramírez:
23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016). Log. J. IGPL 25(2): 253-272 (2017) - [j58]Fredrik Engström, Juha Kontinen, Jouko Väänänen:
Dependence logic with generalized quantifiers: Axiomatizations. J. Comput. Syst. Sci. 88: 90-102 (2017) - 2016
- [j57]Fan Yang, Jouko Väänänen:
Propositional logics of dependence. Ann. Pure Appl. Log. 167(7): 557-589 (2016) - [j56]Gianluca Paolini, Jouko Väänänen:
Dependence Logic in pregeometries and ω-stable Theories. J. Symb. Log. 81(1): 32-55 (2016) - [j55]Joan Bagaria, Jouko Väänänen:
On the Symbiosis between Model-Theoretic and Set-Theoretic Properties of Large Cardinals. J. Symb. Log. 81(2): 584-604 (2016) - [c8]Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen:
A Logical Approach to Context-Specific Independence. WoLLIC 2016: 165-182 - [p6]Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer:
Introduction. Dependence Logic 2016: 1-3 - [e3]Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer:
Dependence Logic, Theory and Applications. Springer 2016, ISBN 978-3-319-31801-1 [contents] - [e2]Jouko A. Väänänen, Åsa Hirvonen, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Lecture Notes in Computer Science 9803, Springer 2016, ISBN 978-3-662-52920-1 [contents] - 2015
- [j53]Saharon Shelah, Jouko A. Väänänen, Boban Velickovic:
Positional Strategies in Long Ehrenfeucht-FraïSSé Games. J. Symb. Log. 80(1): 285-300 (2015) - [j51]Daisuke Ikegami, Jouko Väänänen:
Boolean-Valued Second-Order Logic. Notre Dame J. Formal Log. 56(1): 167-190 (2015) - [j50]Juliette Kennedy, Saharon Shelah, Jouko Väänänen:
Regular Ultrapowers at Regular Cardinals. Notre Dame J. Formal Log. 56(3): 417-428 (2015) - [j49]Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen:
Quantum Team Logic and Bell's inequalities. Rev. Symb. Log. 8(4): 722-742 (2015) - [c7]Arnaud Durand, Juha Kontinen, Nicolas de Rugy-Altherre, Jouko Väänänen:
Tractability Frontier of Data Complexity in Team Semantics. GandALF 2015: 73-85 - [p4]Lauri Hella, Jouko Väänänen:
The Size of a Formula as a Measure of Complexity. Logic Without Borders 2015: 193-214 - [i11]Erich Grädel, Juha Kontinen, Jouko Väänänen, Heribert Vollmer:
Logics for Dependence and Independence (Dagstuhl Seminar 15261). Dagstuhl Reports 5(6): 70-85 (2015) - 2014
- [p2]Pietro Galliani, Jouko Väänänen:
On Dependence Logic. Johan van Benthem on Logic and Information Dynamics 2014: 101-119 - [i9]Fan Yang, Jouko Väänänen:
Propositional Logics of Dependence and Independence, Part I. CoRR abs/1412.7998 (2014) - 2013
- [j47]Juha Kontinen, Jouko A. Väänänen:
Axiomatizing first-order consequences in dependence logic. Ann. Pure Appl. Log. 164(11): 1101-1117 (2013) - [j46]Tapani Hyttinen, Kaisa Kangas, Jouko A. Väänänen:
On second-order characterizability. Log. J. IGPL 21(5): 767-787 (2013) - [j44]Juha Kontinen, Jouko A. Väänänen, Dag Westerståhl:
Editorial Introduction. Stud Logica 101(2): 233-236 (2013) - [j43]Erich Grädel, Jouko A. Väänänen:
Dependence and Independence. Stud Logica 101(2): 399-410 (2013) - [c5]Fredrik Engström, Juha Kontinen, Jouko A. Väänänen:
Dependence Logic with Generalized Quantifiers: Axiomatizations. WoLLIC 2013: 138-152 - [c4]Juha Kontinen, Sebastian Link, Jouko A. Väänänen:
Independence in Database Relations. WoLLIC 2013: 179-193 - [i8]Fredrik Engström, Juha Kontinen, Jouko A. Väänänen:
Dependence Logic with Generalized Quantifiers: Axiomatizations. CoRR abs/1304.0611 (2013) - [i7]Pietro Galliani, Jouko A. Väänänen:
On Dependence Logic. CoRR abs/1305.5948 (2013) - [i6]Samson Abramsky, Juha Kontinen, Jouko A. Väänänen, Heribert Vollmer:
Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071). Dagstuhl Reports 3(2): 45-54 (2013) - 2012
- [i5]Juha Kontinen, Jouko A. Väänänen:
Axiomatizing first order consequences in dependence logic. CoRR abs/1208.0176 (2012) - [i4]Lauri Hella, Jouko A. Väänänen:
The size of a formula as a measure of complexity. CoRR abs/1208.4803 (2012) - [i3]Erich Grädel, Jouko A. Väänänen:
Dependence and Independence. CoRR abs/1208.5268 (2012) - 2011
- [j41]Mirna Dzamonja, Jouko Väänänen:
Chain Models, Trees of singular Cardinality and Dynamic EF-Games. J. Math. Log. 11(1) (2011) - [j40]Menachem Magidor, Jouko Väänänen:
On löWenheim-Skolem-Tarski numbers for Extensions of First order Logic. J. Math. Log. 11(1) (2011) - [j39]Juha Kontinen, Jouko A. Väänänen:
Erratum to: On Definability in Dependence Logic. J. Log. Lang. Inf. 20(1): 133-134 (2011) - [j38]Juha Kontinen, Jouko A. Väänänen:
A Remark on Negation in Dependence Logic. Notre Dame J. Formal Log. 52(1): 55-65 (2011) - [i2]Samson Abramsky, Jouko A. Väänänen:
From IF to BI: a tale of dependence and separation. CoRR abs/1102.1388 (2011) - 2010
- [j37]Jouko A. Väänänen, Wilfrid Hodges:
Dependence of variables construed as an atomic formula. Ann. Pure Appl. Log. 161(6): 817-828 (2010) - 2009
- [j36]Johan van Benthem, Balder ten Cate, Jouko A. Väänänen:
Lindström theorems for fragments of first-order logic. Log. Methods Comput. Sci. 5(3) (2009) - [j35]Juha Kontinen, Jouko A. Väänänen:
On Definability in Dependence Logic. J. Log. Lang. Inf. 18(3): 317-332 (2009) - [j34]Samson Abramsky, Jouko A. Väänänen:
From IF to BI. Synth. 167(2): 207-230 (2009) - 2008
- [j33]S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko A. Väänänen:
Preface. Ann. Pure Appl. Log. 156(1): 1-2 (2008) - [j32]Juliette Kennedy, Saharon Shelah, Jouko A. Väänänen:
Regular ultrafilters and finite square principles. J. Symb. Log. 73(3): 817-823 (2008) - 2007
- [c3]Balder ten Cate, Johan van Benthem, Jouko A. Väänänen:
Lindstrom theorems for fragments of first-order logic. LICS 2007: 280-292 - 2006
- [j30]Saharon Shelah, Jouko A. Väänänen:
Recursive logic frames. Math. Log. Q. 52(2): 151-164 (2006) - 2005
- [j29]Saharon Shelah, Jouko A. Väänänen:
A note on extensions of infinitary logic. Arch. Math. Log. 44(1): 63-69 (2005) - [j28]Rohit Parikh, Jouko A. Väänänen:
Finite information logic. Ann. Pure Appl. Log. 134(1): 83-93 (2005) - 2004
- [j27]Jouko A. Väänänen, Boban Velickovic:
Games played on partial isomorphisms. Arch. Math. Log. 43(1): 19-30 (2004) - 2002
- [j24]Jouko A. Väänänen, Dag Westerståhl:
On the Expressive Power of Monotone Natural Language Quantifiers over Finite Models. J. Philos. Log. 31(4): 327-358 (2002) - 2000
- [j22]Saharon Shelah, Jouko A. Väänänen:
Stationary Sets and Infinitary Logic. J. Symb. Log. 65(3): 1311-1320 (2000) - 1999
- [j20]Jörg Flum, Matthias Schiehlen, Jouko A. Väänänen:
Quantifiers and Congruence Closure. Stud Logica 62(3): 315-340 (1999) - 1997
- [j17]Lauri Hella, Jouko A. Väänänen, Dag Westerståhl:
Definability of Polyadic Lifts of Generalized Quantifiers. J. Log. Lang. Inf. 6(3): 305-335 (1997) - 1996
- [j16]Lauri Hella, Kerkko Luosto, Jouko A. Väänänen:
The Hierarchy Theorem for Generalized Quantifiers. J. Symb. Log. 61(3): 802-817 (1996) - 1995
- [j15]Phokion G. Kolaitis, Jouko A. Väänänen:
Generalized Quantifiers and Pebble Games on Finite Structures. Ann. Pure Appl. Log. 74(1): 23-75 (1995) - 1993
- [j12]Alan H. Mekler, Jouko A. Väänänen:
Trees and Pi11-Subsets of omega1\omega1. J. Symb. Log. 58(3): 1052-1070 (1993) - [j11]Saharon Shelah, Heikki Tuuri, Jouko A. Väänänen:
On the Number of Automorphisms of Uncountable Models. J. Symb. Log. 58(4): 1402-1418 (1993) - 1992
- [j10]Gabriel Sandu, Jouko Väänänen:
Partially Ordered Connectives. Math. Log. Q. 38(1): 361-372 (1992) - [c1]Phokion G. Kolaitis, Jouko A. Väänänen:
Generalized Quantifiers and Pebble Games on Finite Structures. LICS 1992: 348-359 - 1991
- [j9]Heinrich Herre, Michal Krynicki, Alexander G. Pinus, Jouko A. Väänänen:
The Härtig Quantifier: A Survey. J. Symb. Log. 56(4): 1153-1183 (1991) - 1990
- [j8]Tapani Hyttinen, Jouko A. Väänänen:
On Scott and Karp Trees of Uncountable Models. J. Symb. Log. 55(3): 897-908 (1990) - 1989
- [j7]Michal Krynicki, Jouko A. Väänänen:
Henkin and Function Quantifiers. Ann. Pure Appl. Log. 43(3): 273-292 (1989) - 1984
- [j6]Michal Krynicki, Alistair H. Lachlan, Jouko Väänänen:
Vector spaces and binary quantifiers. Notre Dame J. Formal Log. 25(1): 72-78 (1984) - 1980
- [j3]Michal Krynicki, Jouko Väänänen:
On orderings of the family of all logics. Arch. Math. Log. 22(3-4): 141-158 (1980)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint