Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Jouko A. Väänänen
@article{DBLP:journals/aml/ShelahV23, author = {Saharon Shelah and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Positive logics}, journal = {Arch. Math. Log.}, volume = {62}, number = {1-2}, pages = {207--223}, year = {2023}, url = {https://doi.org/10.1007/s00153-022-00837-3}, doi = {10.1007/S00153-022-00837-3}, timestamp = {Tue, 25 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aml/ShelahV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/Vaananen23, author = {Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {An atom's worth of anonymity}, journal = {Log. J. {IGPL}}, volume = {31}, number = {6}, pages = {1078--1083}, year = {2023}, url = {https://doi.org/10.1093/jigpal/jzac074}, doi = {10.1093/JIGPAL/JZAC074}, timestamp = {Fri, 12 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/Vaananen23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/VaananenW23, author = {Jouko V{\"{a}}{\"{a}}n{\"{a}}nen and Philip D. Welch}, title = {When cardinals determine the power set: inner models and H{\"{a}}rtig quantifier logic}, journal = {Math. Log. Q.}, volume = {69}, number = {4}, pages = {460--471}, year = {2023}, url = {https://doi.org/10.1002/malq.202200030}, doi = {10.1002/MALQ.202200030}, timestamp = {Sun, 31 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mlq/VaananenW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/GallianiV22, author = {Pietro Galliani and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Diversity, dependence and independence}, journal = {Ann. Math. Artif. Intell.}, volume = {90}, number = {2-3}, pages = {211--233}, year = {2022}, url = {https://doi.org/10.1007/s10472-021-09778-8}, doi = {10.1007/S10472-021-09778-8}, timestamp = {Thu, 07 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/amai/GallianiV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/VaananenYS22, author = {Jouko V{\"{a}}{\"{a}}n{\"{a}}nen and Fan Yang and Philip Scott}, title = {Introduction}, journal = {Ann. Pure Appl. Log.}, volume = {173}, number = {10}, pages = {103168}, year = {2022}, url = {https://doi.org/10.1016/j.apal.2022.103168}, doi = {10.1016/J.APAL.2022.103168}, timestamp = {Thu, 06 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/VaananenYS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/DurandKRV22, author = {Arnaud Durand and Juha Kontinen and Nicolas de Rugy{-}Altherre and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Tractability Frontier of Data Complexity in Team Semantics}, journal = {{ACM} Trans. Comput. Log.}, volume = {23}, number = {1}, pages = {3:1--3:21}, year = {2022}, url = {https://doi.org/10.1145/3471618}, doi = {10.1145/3471618}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tocl/DurandKRV22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2204-00576, author = {Arnaud Durand and Juha Kontinen and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Modular SAT-based techniques for reasoning tasks in team semantics}, journal = {CoRR}, volume = {abs/2204.00576}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2204.00576}, doi = {10.48550/ARXIV.2204.00576}, eprinttype = {arXiv}, eprint = {2204.00576}, timestamp = {Wed, 06 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2204-00576.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2210-07834, author = {Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {An atom's worth of anonymity}, journal = {CoRR}, volume = {abs/2210.07834}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2210.07834}, doi = {10.48550/ARXIV.2210.07834}, eprinttype = {arXiv}, eprint = {2210.07834}, timestamp = {Tue, 18 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2210-07834.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/KennedyV21, author = {Juliette Kennedy and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Logicality and Model Classes}, journal = {Bull. Symb. Log.}, volume = {27}, number = {4}, pages = {385--414}, year = {2021}, url = {https://doi.org/10.1017/bsl.2021.42}, doi = {10.1017/BSL.2021.42}, timestamp = {Fri, 25 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/bsl/KennedyV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/KennedyMV21, author = {Juliette Kennedy and Menachem Magidor and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Inner models from extended logics: Part 1}, journal = {J. Math. Log.}, volume = {21}, number = {2}, pages = {2150012:1--2150012:53}, year = {2021}, url = {https://doi.org/10.1142/S0219061321500124}, doi = {10.1142/S0219061321500124}, timestamp = {Tue, 14 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/KennedyMV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/foiks/GallianiV20, author = {Pietro Galliani and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, editor = {Andreas Herzig and Juha Kontinen}, title = {Diversity, Dependence and Independence}, booktitle = {Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12012}, pages = {106--121}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-39951-1\_7}, doi = {10.1007/978-3-030-39951-1\_7}, timestamp = {Wed, 29 Jan 2020 12:39:12 +0100}, biburl = {https://dblp.org/rec/conf/foiks/GallianiV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/VaananenQ19, author = {Jouko V{\"{a}}{\"{a}}n{\"{a}}nen and Ruy J. G. B. de Queiroz}, title = {23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016}, journal = {Ann. Pure Appl. Log.}, volume = {170}, number = {9}, pages = {921--922}, year = {2019}, url = {https://doi.org/10.1016/j.apal.2019.04.002}, doi = {10.1016/J.APAL.2019.04.002}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/VaananenQ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/CoranderHKPV19, author = {Jukka Corander and Antti Hyttinen and Juha Kontinen and Johan Pensar and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {A logical approach to context-specific independence}, journal = {Ann. Pure Appl. Log.}, volume = {170}, number = {9}, pages = {975--992}, year = {2019}, url = {https://doi.org/10.1016/j.apal.2019.04.004}, doi = {10.1016/J.APAL.2019.04.004}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/CoranderHKPV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/Vaananen19, author = {Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {An Extension of a Theorem of Zermelo}, journal = {Bull. Symb. Log.}, volume = {25}, number = {2}, pages = {208--212}, year = {2019}, url = {https://doi.org/10.1017/bsl.2019.15}, doi = {10.1017/BSL.2019.15}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/Vaananen19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1912-03252, author = {Pietro Galliani and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Diversity, Dependence and Independence}, journal = {CoRR}, volume = {abs/1912.03252}, year = {2019}, url = {http://arxiv.org/abs/1912.03252}, eprinttype = {arXiv}, eprint = {1912.03252}, timestamp = {Thu, 02 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1912-03252.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/HirvonenSVW18, author = {{\AA}sa Hirvonen and Thomas Scanlon and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen and Dag Westerst{\aa}hl}, title = {Preface}, journal = {Ann. Pure Appl. Log.}, volume = {169}, number = {12}, pages = {1243--1245}, year = {2018}, url = {https://doi.org/10.1016/j.apal.2018.08.011}, doi = {10.1016/J.APAL.2018.08.011}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/HirvonenSVW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aml/HyttinenPV17, author = {Tapani Hyttinen and Gianluca Paolini and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {A logic for arguing about probabilities in measure teams}, journal = {Arch. Math. Log.}, volume = {56}, number = {5-6}, pages = {475--489}, year = {2017}, url = {https://doi.org/10.1007/s00153-017-0535-x}, doi = {10.1007/S00153-017-0535-X}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aml/HyttinenPV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/YangV17, author = {Fan Yang and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Propositional team logics}, journal = {Ann. Pure Appl. Log.}, volume = {168}, number = {7}, pages = {1406--1441}, year = {2017}, url = {https://doi.org/10.1016/j.apal.2017.01.007}, doi = {10.1016/J.APAL.2017.01.007}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/YangV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/VaananenQGCR17, author = {Jouko V{\"{a}}{\"{a}}n{\"{a}}nen and Ruy J. G. B. de Queiroz and Mauricio Javier Osorio Galindo and Claudia Zepeda Cort{\'{e}}s and Jos{\'{e}} R. Arrazola Ram{\'{\i}}rez}, title = {23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016)}, journal = {Log. J. {IGPL}}, volume = {25}, number = {2}, pages = {253--272}, year = {2017}, url = {https://doi.org/10.1093/jigpal/jzw063}, doi = {10.1093/JIGPAL/JZW063}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/VaananenQGCR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/EngstromKV17, author = {Fredrik Engstr{\"{o}}m and Juha Kontinen and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Dependence logic with generalized quantifiers: Axiomatizations}, journal = {J. Comput. Syst. Sci.}, volume = {88}, pages = {90--102}, year = {2017}, url = {https://doi.org/10.1016/j.jcss.2017.03.010}, doi = {10.1016/J.JCSS.2017.03.010}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/EngstromKV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/YangV16, author = {Fan Yang and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Propositional logics of dependence}, journal = {Ann. Pure Appl. Log.}, volume = {167}, number = {7}, pages = {557--589}, year = {2016}, url = {https://doi.org/10.1016/j.apal.2016.03.003}, doi = {10.1016/J.APAL.2016.03.003}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/YangV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/PaoliniV16, author = {Gianluca Paolini and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Dependence Logic in pregeometries and \emph{{\(\omega\)}}-stable Theories}, journal = {J. Symb. Log.}, volume = {81}, number = {1}, pages = {32--55}, year = {2016}, url = {https://doi.org/10.1017/jsl.2015.16}, doi = {10.1017/JSL.2015.16}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/PaoliniV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/BagariaV16, author = {Joan Bagaria and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {On the Symbiosis between Model-Theoretic and Set-Theoretic Properties of Large Cardinals}, journal = {J. Symb. Log.}, volume = {81}, number = {2}, pages = {584--604}, year = {2016}, url = {https://doi.org/10.1017/jsl.2015.60}, doi = {10.1017/JSL.2015.60}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/BagariaV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/CoranderHKPV16, author = {Jukka Corander and Antti Hyttinen and Juha Kontinen and Johan Pensar and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and {\AA}sa Hirvonen and Ruy J. G. B. de Queiroz}, title = {A Logical Approach to Context-Specific Independence}, booktitle = {Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9803}, pages = {165--182}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-52921-8\_11}, doi = {10.1007/978-3-662-52921-8\_11}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wollic/CoranderHKPV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/daglib/p/AbramskyKVV16, author = {Samson Abramsky and Juha Kontinen and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen and Heribert Vollmer}, editor = {Samson Abramsky and Juha Kontinen and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen and Heribert Vollmer}, title = {Introduction}, booktitle = {Dependence Logic, Theory and Applications}, pages = {1--3}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-31803-5\_1}, doi = {10.1007/978-3-319-31803-5\_1}, timestamp = {Fri, 02 Nov 2018 09:27:04 +0100}, biburl = {https://dblp.org/rec/books/daglib/p/AbramskyKVV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/daglib/p/Vaananen16, author = {Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, editor = {Samson Abramsky and Juha Kontinen and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen and Heribert Vollmer}, title = {Grelling on Dependence}, booktitle = {Dependence Logic, Theory and Applications}, pages = {33--52}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-31803-5\_3}, doi = {10.1007/978-3-319-31803-5\_3}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/p/Vaananen16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0037838, editor = {Samson Abramsky and Juha Kontinen and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen and Heribert Vollmer}, title = {Dependence Logic, Theory and Applications}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-31803-5}, doi = {10.1007/978-3-319-31803-5}, isbn = {978-3-319-31801-1}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/daglib/0037838.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wollic/2016, editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and {\AA}sa Hirvonen and Ruy J. G. B. de Queiroz}, title = {Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9803}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-52921-8}, doi = {10.1007/978-3-662-52921-8}, isbn = {978-3-662-52920-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wollic/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/Vaananen15, author = {Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Obituary: Jaakko Hintikka 1929-2015}, journal = {Bull. Symb. Log.}, volume = {21}, number = {4}, pages = {431--436}, year = {2015}, url = {https://doi.org/10.1017/bsl.2015.35}, doi = {10.1017/BSL.2015.35}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/Vaananen15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/ShelahVV15, author = {Saharon Shelah and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and Boban Velickovic}, title = {Positional Strategies in Long Ehrenfeucht-Fra{\"{\i}}SS{\'{e}} Games}, journal = {J. Symb. Log.}, volume = {80}, number = {1}, pages = {285--300}, year = {2015}, url = {https://doi.org/10.1017/jsl.2014.43}, doi = {10.1017/JSL.2014.43}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/ShelahVV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/VaananenW15, author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and Tong Wang}, title = {Internal Categoricity in Arithmetic and Set Theory}, journal = {Notre Dame J. Formal Log.}, volume = {56}, number = {1}, pages = {121--134}, year = {2015}, url = {https://doi.org/10.1215/00294527-2835038}, doi = {10.1215/00294527-2835038}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/VaananenW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/IkegamiV15, author = {Daisuke Ikegami and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Boolean-Valued Second-Order Logic}, journal = {Notre Dame J. Formal Log.}, volume = {56}, number = {1}, pages = {167--190}, year = {2015}, url = {https://doi.org/10.1215/00294527-2835065}, doi = {10.1215/00294527-2835065}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/IkegamiV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/KennedySV15, author = {Juliette Kennedy and Saharon Shelah and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Regular Ultrapowers at Regular Cardinals}, journal = {Notre Dame J. Formal Log.}, volume = {56}, number = {3}, pages = {417--428}, year = {2015}, url = {https://doi.org/10.1215/00294527-3132788}, doi = {10.1215/00294527-3132788}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/KennedySV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/HyttinenPV15, author = {Tapani Hyttinen and Gianluca Paolini and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Quantum Team Logic and Bell's inequalities}, journal = {Rev. Symb. Log.}, volume = {8}, number = {4}, pages = {722--742}, year = {2015}, url = {https://doi.org/10.1017/S1755020315000192}, doi = {10.1017/S1755020315000192}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/HyttinenPV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/DurandKRV15, author = {Arnaud Durand and Juha Kontinen and Nicolas de Rugy{-}Altherre and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, editor = {Javier Esparza and Enrico Tronci}, title = {Tractability Frontier of Data Complexity in Team Semantics}, booktitle = {Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015}, series = {{EPTCS}}, volume = {193}, pages = {73--85}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.193.6}, doi = {10.4204/EPTCS.193.6}, timestamp = {Fri, 09 Apr 2021 18:27:15 +0200}, biburl = {https://dblp.org/rec/journals/corr/DurandKRV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/daglib/p/HellaV15, author = {Lauri Hella and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, editor = {{\AA}sa Hirvonen and Juha Kontinen and Roman Kossak and Andr{\'{e}}s Villaveces}, title = {The Size of a Formula as a Measure of Complexity}, booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics}, series = {Ontos Mathematical Logic}, volume = {5}, pages = {193--214}, publisher = {De Gruyter}, year = {2015}, url = {https://doi.org/10.1515/9781614516873.193}, doi = {10.1515/9781614516873.193}, timestamp = {Tue, 16 May 2017 14:01:41 +0200}, biburl = {https://dblp.org/rec/books/daglib/p/HellaV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/daglib/p/Vaananen15, author = {Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, editor = {{\AA}sa Hirvonen and Juha Kontinen and Roman Kossak and Andr{\'{e}}s Villaveces}, title = {Pursuing Logic without Borders}, booktitle = {Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics}, series = {Ontos Mathematical Logic}, volume = {5}, pages = {403--416}, publisher = {De Gruyter}, year = {2015}, url = {https://doi.org/10.1515/9781614516873.403}, doi = {10.1515/9781614516873.403}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/p/Vaananen15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/GradelKVV15, author = {Erich Gr{\"{a}}del and Juha Kontinen and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen and Heribert Vollmer}, title = {Logics for Dependence and Independence (Dagstuhl Seminar 15261)}, journal = {Dagstuhl Reports}, volume = {5}, number = {6}, pages = {70--85}, year = {2015}, url = {https://doi.org/10.4230/DagRep.5.6.70}, doi = {10.4230/DAGREP.5.6.70}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/GradelKVV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/Vaananen14, author = {Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {\emph{Independence-Friendly Logic: {A} Game-Theoretic Approach}, Allen L. Mann, Gabriel Sandu and Merlijn Sevenster, Cambridge University Press, 2011. Paperback, {ISBN} 9780521149341, 216 pp}, journal = {Theory Pract. Log. Program.}, volume = {14}, number = {1}, pages = {137--140}, year = {2014}, url = {https://doi.org/10.1017/S1471068413000082}, doi = {10.1017/S1471068413000082}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/Vaananen14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/daglib/p/GallianiV14, author = {Pietro Galliani and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, editor = {Alexandru Baltag and Sonja Smets}, title = {On Dependence Logic}, booktitle = {Johan van Benthem on Logic and Information Dynamics}, pages = {101--119}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-06025-5\_4}, doi = {10.1007/978-3-319-06025-5\_4}, timestamp = {Mon, 26 Jun 2023 08:47:47 +0200}, biburl = {https://dblp.org/rec/books/daglib/p/GallianiV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Vaananen14, author = {Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {The Logic of Approximate Dependence}, journal = {CoRR}, volume = {abs/1408.4437}, year = {2014}, url = {http://arxiv.org/abs/1408.4437}, eprinttype = {arXiv}, eprint = {1408.4437}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Vaananen14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/YangV14, author = {Fan Yang and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Propositional Logics of Dependence and Independence, Part {I}}, journal = {CoRR}, volume = {abs/1412.7998}, year = {2014}, url = {http://arxiv.org/abs/1412.7998}, eprinttype = {arXiv}, eprint = {1412.7998}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/YangV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/KontinenV13, author = {Juha Kontinen and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Axiomatizing first-order consequences in dependence logic}, journal = {Ann. Pure Appl. Log.}, volume = {164}, number = {11}, pages = {1101--1117}, year = {2013}, url = {https://doi.org/10.1016/j.apal.2013.05.006}, doi = {10.1016/J.APAL.2013.05.006}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/KontinenV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/HyttinenKV13, author = {Tapani Hyttinen and Kaisa Kangas and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {On second-order characterizability}, journal = {Log. J. {IGPL}}, volume = {21}, number = {5}, pages = {767--787}, year = {2013}, url = {https://doi.org/10.1093/jigpal/jzs047}, doi = {10.1093/JIGPAL/JZS047}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/HyttinenKV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/VaananenW13, author = {Jouko V{\"{a}}{\"{a}}n{\"{a}}nen and Tong Wang}, title = {An Ehrenfeucht-Fra{\"{\i}}ss{\'{e}} game for L{\(\omega\)}1{\(\omega\)}}, journal = {Math. Log. Q.}, volume = {59}, number = {4-5}, pages = {357--370}, year = {2013}, url = {https://doi.org/10.1002/malq.201200104}, doi = {10.1002/MALQ.201200104}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/VaananenW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/KontinenVW13, author = {Juha Kontinen and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and Dag Westerst{\aa}hl}, title = {Editorial Introduction}, journal = {Stud Logica}, volume = {101}, number = {2}, pages = {233--236}, year = {2013}, url = {https://doi.org/10.1007/s11225-013-9484-5}, doi = {10.1007/S11225-013-9484-5}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/KontinenVW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/GradelV13, author = {Erich Gr{\"{a}}del and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Dependence and Independence}, journal = {Stud Logica}, volume = {101}, number = {2}, pages = {399--410}, year = {2013}, url = {https://doi.org/10.1007/s11225-013-9479-2}, doi = {10.1007/S11225-013-9479-2}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/GradelV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Vaananen13, author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, editor = {Bob Coecke and Luke Ong and Prakash Panangaden}, title = {Breaking the Atom with Samson}, booktitle = {Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {7860}, pages = {327--335}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38164-5\_22}, doi = {10.1007/978-3-642-38164-5\_22}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Vaananen13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/EngstromKV13, author = {Fredrik Engstr{\"{o}}m and Juha Kontinen and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, editor = {Leonid Libkin and Ulrich Kohlenbach and Ruy J. G. B. de Queiroz}, title = {Dependence Logic with Generalized Quantifiers: Axiomatizations}, booktitle = {Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8071}, pages = {138--152}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39992-3\_14}, doi = {10.1007/978-3-642-39992-3\_14}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/wollic/EngstromKV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/KontinenLV13, author = {Juha Kontinen and Sebastian Link and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, editor = {Leonid Libkin and Ulrich Kohlenbach and Ruy J. G. B. de Queiroz}, title = {Independence in Database Relations}, booktitle = {Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8071}, pages = {179--193}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39992-3\_17}, doi = {10.1007/978-3-642-39992-3\_17}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wollic/KontinenLV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1304-0611, author = {Fredrik Engstr{\"{o}}m and Juha Kontinen and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Dependence Logic with Generalized Quantifiers: Axiomatizations}, journal = {CoRR}, volume = {abs/1304.0611}, year = {2013}, url = {http://arxiv.org/abs/1304.0611}, eprinttype = {arXiv}, eprint = {1304.0611}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1304-0611.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1305-5948, author = {Pietro Galliani and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {On Dependence Logic}, journal = {CoRR}, volume = {abs/1305.5948}, year = {2013}, url = {http://arxiv.org/abs/1305.5948}, eprinttype = {arXiv}, eprint = {1305.5948}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1305-5948.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/AbramskyKVV13, author = {Samson Abramsky and Juha Kontinen and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and Heribert Vollmer}, title = {Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071)}, journal = {Dagstuhl Reports}, volume = {3}, number = {2}, pages = {45--54}, year = {2013}, url = {https://doi.org/10.4230/DagRep.3.2.45}, doi = {10.4230/DAGREP.3.2.45}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AbramskyKVV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/Vaananen12, author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Second order logic or set theory?}, journal = {Bull. Symb. Log.}, volume = {18}, number = {1}, pages = {91--121}, year = {2012}, url = {https://doi.org/10.2178/bsl/1327328440}, doi = {10.2178/BSL/1327328440}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/Vaananen12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/leus/Vaananen12, author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, editor = {Peter Dybjer and Sten Lindstr{\"{o}}m and Erik Palmgren and G{\"{o}}ran Sundholm}, title = {Second Order Logic, Set Theory and Foundations of Mathematics}, booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-L{\"{o}}f}, series = {Logic, Epistemology, and the Unity of Science}, volume = {27}, pages = {371--380}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-94-007-4435-6\_17}, doi = {10.1007/978-94-007-4435-6\_17}, timestamp = {Sun, 02 Jun 2019 20:42:14 +0200}, biburl = {https://dblp.org/rec/series/leus/Vaananen12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1208-0176, author = {Juha Kontinen and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Axiomatizing first order consequences in dependence logic}, journal = {CoRR}, volume = {abs/1208.0176}, year = {2012}, url = {http://arxiv.org/abs/1208.0176}, eprinttype = {arXiv}, eprint = {1208.0176}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1208-0176.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1208-4803, author = {Lauri Hella and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {The size of a formula as a measure of complexity}, journal = {CoRR}, volume = {abs/1208.4803}, year = {2012}, url = {http://arxiv.org/abs/1208.4803}, eprinttype = {arXiv}, eprint = {1208.4803}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1208-4803.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1208-5268, author = {Erich Gr{\"{a}}del and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Dependence and Independence}, journal = {CoRR}, volume = {abs/1208.5268}, year = {2012}, url = {http://arxiv.org/abs/1208.5268}, eprinttype = {arXiv}, eprint = {1208.5268}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1208-5268.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0030192, author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Models and Games}, series = {Cambridge studies in advanced mathematics}, volume = {132}, publisher = {Cambridge University Press}, year = {2011}, url = {http://www.cambridge.org/de/knowledge/isbn/item6173714/?site\_locale=de\_DE}, isbn = {978-0-521-51812-3}, timestamp = {Wed, 09 Jan 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/daglib/0030192.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/DzamonjaV11, author = {Mirna Dzamonja and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Chain Models, Trees of singular Cardinality and Dynamic EF-Games}, journal = {J. Math. Log.}, volume = {11}, number = {1}, year = {2011}, url = {https://doi.org/10.1142/S0219061311001006}, doi = {10.1142/S0219061311001006}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/DzamonjaV11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jml/MagidorV11, author = {Menachem Magidor and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {On l{\"{o}}Wenheim-Skolem-Tarski numbers for Extensions of First order Logic}, journal = {J. Math. Log.}, volume = {11}, number = {1}, year = {2011}, url = {https://doi.org/10.1142/S0219061311001018}, doi = {10.1142/S0219061311001018}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jml/MagidorV11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/KontinenV11, author = {Juha Kontinen and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Erratum to: On Definability in Dependence Logic}, journal = {J. Log. Lang. Inf.}, volume = {20}, number = {1}, pages = {133--134}, year = {2011}, url = {https://doi.org/10.1007/s10849-010-9125-6}, doi = {10.1007/S10849-010-9125-6}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/KontinenV11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/KontinenV11, author = {Juha Kontinen and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {A Remark on Negation in Dependence Logic}, journal = {Notre Dame J. Formal Log.}, volume = {52}, number = {1}, pages = {55--65}, year = {2011}, url = {https://doi.org/10.1215/00294527-2010-036}, doi = {10.1215/00294527-2010-036}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/KontinenV11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1102-1388, author = {Samson Abramsky and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {From {IF} to {BI:} a tale of dependence and separation}, journal = {CoRR}, volume = {abs/1102.1388}, year = {2011}, url = {http://arxiv.org/abs/1102.1388}, eprinttype = {arXiv}, eprint = {1102.1388}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1102-1388.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/VaananenH10, author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and Wilfrid Hodges}, title = {Dependence of variables construed as an atomic formula}, journal = {Ann. Pure Appl. Log.}, volume = {161}, number = {6}, pages = {817--828}, year = {2010}, url = {https://doi.org/10.1016/j.apal.2009.06.009}, doi = {10.1016/J.APAL.2009.06.009}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/VaananenH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0905-3668, author = {Johan van Benthem and Balder ten Cate and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Lindstr{\"{o}}m theorems for fragments of first-order logic}, journal = {Log. Methods Comput. Sci.}, volume = {5}, number = {3}, year = {2009}, url = {http://arxiv.org/abs/0905.3668}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0905-3668.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/KontinenV09, author = {Juha Kontinen and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {On Definability in Dependence Logic}, journal = {J. Log. Lang. Inf.}, volume = {18}, number = {3}, pages = {317--332}, year = {2009}, url = {https://doi.org/10.1007/s10849-009-9082-0}, doi = {10.1007/S10849-009-9082-0}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/KontinenV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/synthese/AbramskyV09, author = {Samson Abramsky and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {From {IF} to {BI}}, journal = {Synth.}, volume = {167}, number = {2}, pages = {207--230}, year = {2009}, url = {https://doi.org/10.1007/s11229-008-9415-6}, doi = {10.1007/S11229-008-9415-6}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/synthese/AbramskyV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/CooperGPV08, author = {S. Barry Cooper and Herman Geuvers and Anand Pillay and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Preface}, journal = {Ann. Pure Appl. Log.}, volume = {156}, number = {1}, pages = {1--2}, year = {2008}, url = {https://doi.org/10.1016/j.apal.2008.06.001}, doi = {10.1016/J.APAL.2008.06.001}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/CooperGPV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/KennedySV08, author = {Juliette Kennedy and Saharon Shelah and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Regular ultrafilters and finite square principles}, journal = {J. Symb. Log.}, volume = {73}, number = {3}, pages = {817--823}, year = {2008}, url = {https://doi.org/10.2178/jsl/1230396748}, doi = {10.2178/JSL/1230396748}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/KennedySV08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/synthese/Vaananen08, author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {The Craig Interpolation Theorem in abstract model theory}, journal = {Synth.}, volume = {164}, number = {3}, pages = {401--420}, year = {2008}, url = {https://doi.org/10.1007/s11229-008-9357-z}, doi = {10.1007/S11229-008-9357-Z}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/synthese/Vaananen08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ercim/VaananenT08, author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and Ulrich Trottenberg}, title = {Introduction to the special theme: Maths for Everyday Life}, journal = {{ERCIM} News}, volume = {2008}, number = {73}, year = {2008}, url = {http://ercim-news.ercim.eu/introduction-to-the-special-theme-maths-for-everyday-life}, timestamp = {Wed, 22 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ercim/VaananenT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0030191, author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Dependence Logic - {A} New Approach to Independence Friendly Logic}, series = {London Mathematical Society student texts}, volume = {70}, publisher = {Cambridge University Press}, year = {2007}, url = {http://www.cambridge.org/de/knowledge/isbn/item1164246/?site\_locale=de\_DE}, isbn = {978-0-521-70015-3}, timestamp = {Wed, 09 Jan 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/daglib/0030191.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/CateBV07, author = {Balder ten Cate and Johan van Benthem and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Lindstrom theorems for fragments of first-order logic}, booktitle = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings}, pages = {280--292}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/LICS.2007.29}, doi = {10.1109/LICS.2007.29}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/CateBV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/ShelahV06, author = {Saharon Shelah and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Recursive logic frames}, journal = {Math. Log. Q.}, volume = {52}, number = {2}, pages = {151--164}, year = {2006}, url = {https://doi.org/10.1002/malq.200410058}, doi = {10.1002/MALQ.200410058}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/ShelahV06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aml/ShelahV05, author = {Saharon Shelah and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {A note on extensions of infinitary logic}, journal = {Arch. Math. Log.}, volume = {44}, number = {1}, pages = {63--69}, year = {2005}, url = {https://doi.org/10.1007/s00153-004-0212-8}, doi = {10.1007/S00153-004-0212-8}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aml/ShelahV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/ParikhV05, author = {Rohit Parikh and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Finite information logic}, journal = {Ann. Pure Appl. Log.}, volume = {134}, number = {1}, pages = {83--93}, year = {2005}, url = {https://doi.org/10.1016/j.apal.2004.06.013}, doi = {10.1016/J.APAL.2004.06.013}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/ParikhV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aml/VaananenV04, author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and Boban Velickovic}, title = {Games played on partial isomorphisms}, journal = {Arch. Math. Log.}, volume = {43}, number = {1}, pages = {19--30}, year = {2004}, url = {https://doi.org/10.1007/s00153-003-0171-5}, doi = {10.1007/S00153-003-0171-5}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aml/VaananenV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/Vaananen04, author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Barwise: Abstract model theory and generalized quantifiers}, journal = {Bull. Symb. Log.}, volume = {10}, number = {1}, pages = {37--53}, year = {2004}, url = {https://doi.org/10.2178/bsl/1080330273}, doi = {10.2178/BSL/1080330273}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/Vaananen04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/Vaananen02, author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {On the semantics of informational independence}, journal = {Log. J. {IGPL}}, volume = {10}, number = {3}, pages = {339--352}, year = {2002}, url = {https://doi.org/10.1093/jigpal/10.3.339}, doi = {10.1093/JIGPAL/10.3.339}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/Vaananen02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jphil/VaananenW02, author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and Dag Westerst{\aa}hl}, title = {On the Expressive Power of Monotone Natural Language Quantifiers over Finite Models}, journal = {J. Philos. Log.}, volume = {31}, number = {4}, pages = {327--358}, year = {2002}, url = {https://doi.org/10.1023/A:1019934611163}, doi = {10.1023/A:1019934611163}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jphil/VaananenW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/bsl/Vaananen01, author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Second-order logic and foundations of mathematics}, journal = {Bull. Symb. Log.}, volume = {7}, number = {4}, pages = {504--520}, year = {2001}, url = {https://doi.org/10.2307/2687796}, doi = {10.2307/2687796}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bsl/Vaananen01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/ShelahV00a, author = {Saharon Shelah and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Stationary Sets and Infinitary Logic}, journal = {J. Symb. Log.}, volume = {65}, number = {3}, pages = {1311--1320}, year = {2000}, url = {https://doi.org/10.2307/2586701}, doi = {10.2307/2586701}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/ShelahV00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/esslli/1997, editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Generalized Quantifiers and Computation, 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {1754}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-46583-9}, doi = {10.1007/3-540-46583-9}, isbn = {3-540-66993-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/esslli/1997.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/TodorcevicV99, author = {Stevo Todorcevic and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Trees and Ehrenfeucht-Fra{\"{\i}}ss{\'{e}} Games}, journal = {Ann. Pure Appl. Log.}, volume = {100}, number = {1-3}, pages = {69--97}, year = {1999}, url = {https://doi.org/10.1016/S0168-0072(98)00064-5}, doi = {10.1016/S0168-0072(98)00064-5}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/TodorcevicV99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/FlumSV99, author = {J{\"{o}}rg Flum and Matthias Schiehlen and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Quantifiers and Congruence Closure}, journal = {Stud Logica}, volume = {62}, number = {3}, pages = {315--340}, year = {1999}, url = {https://doi.org/10.1023/A:1005190726000}, doi = {10.1023/A:1005190726000}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/FlumSV99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Vaananen97, author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Generalized Quantifiers}, journal = {Bull. {EATCS}}, volume = {62}, year = {1997}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Vaananen97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/Vaananen97, author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Unary Quantifiers on Finite Models}, journal = {J. Log. Lang. Inf.}, volume = {6}, number = {3}, pages = {275--304}, year = {1997}, url = {https://doi.org/10.1023/A:1008209019899}, doi = {10.1023/A:1008209019899}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/Vaananen97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jolli/HellaVW97, author = {Lauri Hella and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and Dag Westerst{\aa}hl}, title = {Definability of Polyadic Lifts of Generalized Quantifiers}, journal = {J. Log. Lang. Inf.}, volume = {6}, number = {3}, pages = {305--335}, year = {1997}, url = {https://doi.org/10.1023/A:1008215718090}, doi = {10.1023/A:1008215718090}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jolli/HellaVW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esslli/Vaananen97, author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Generalized Quantifiers, an Introduction}, booktitle = {Generalized Quantifiers and Computation, 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {1754}, pages = {1--17}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-46583-9\_1}, doi = {10.1007/3-540-46583-9\_1}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/esslli/Vaananen97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/HellaLV96, author = {Lauri Hella and Kerkko Luosto and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {The Hierarchy Theorem for Generalized Quantifiers}, journal = {J. Symb. Log.}, volume = {61}, number = {3}, pages = {802--817}, year = {1996}, url = {https://doi.org/10.2307/2275786}, doi = {10.2307/2275786}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/HellaLV96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/KolaitisV95, author = {Phokion G. Kolaitis and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Generalized Quantifiers and Pebble Games on Finite Structures}, journal = {Ann. Pure Appl. Log.}, volume = {74}, number = {1}, pages = {23--75}, year = {1995}, url = {https://doi.org/10.1016/0168-0072(94)00025-X}, doi = {10.1016/0168-0072(94)00025-X}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/KolaitisV95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/VaananenH94, author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and Heikki Heikkil{\"{a}}}, title = {Reflection of Long Game Formulas}, journal = {Math. Log. Q.}, volume = {40}, pages = {381--392}, year = {1994}, url = {https://doi.org/10.1002/malq.19940400307}, doi = {10.1002/MALQ.19940400307}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/VaananenH94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/OikkonenV93, author = {Juha Oikkonen and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Game-Theoretic Inductive Definability}, journal = {Ann. Pure Appl. Logic}, volume = {65}, number = {3}, pages = {265--306}, year = {1993}, url = {https://doi.org/10.1016/0168-0072(93)90014-5}, doi = {10.1016/0168-0072(93)90014-5}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/OikkonenV93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/MeklerV93, author = {Alan H. Mekler and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Trees and Pi\({}^{\mbox{1}}\)\({}_{\mbox{1}}\)-Subsets of \({}^{\mbox{omega\({}_{\mbox{1}}\)}}\){\textbackslash}omega\({}_{\mbox{1}}\)}, journal = {J. Symb. Log.}, volume = {58}, number = {3}, pages = {1052--1070}, year = {1993}, url = {https://doi.org/10.2307/2275112}, doi = {10.2307/2275112}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/MeklerV93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/ShelahTV93, author = {Saharon Shelah and Heikki Tuuri and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {On the Number of Automorphisms of Uncountable Models}, journal = {J. Symb. Log.}, volume = {58}, number = {4}, pages = {1402--1418}, year = {1993}, url = {https://doi.org/10.2307/2275150}, doi = {10.2307/2275150}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/ShelahTV93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/SanduV92, author = {Gabriel Sandu and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Partially Ordered Connectives}, journal = {Math. Log. Q.}, volume = {38}, number = {1}, pages = {361--372}, year = {1992}, url = {https://doi.org/10.1002/malq.19920380134}, doi = {10.1002/MALQ.19920380134}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/SanduV92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/VaananenK92, author = {Phokion G. Kolaitis and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Generalized Quantifiers and Pebble Games on Finite Structures}, booktitle = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science {(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992}, pages = {348--359}, publisher = {{IEEE} Computer Society}, year = {1992}, url = {https://doi.org/10.1109/LICS.1992.185547}, doi = {10.1109/LICS.1992.185547}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/VaananenK92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/HerreKPV91, author = {Heinrich Herre and Michal Krynicki and Alexander G. Pinus and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {The H{\"{a}}rtig Quantifier: {A} Survey}, journal = {J. Symb. Log.}, volume = {56}, number = {4}, pages = {1153--1183}, year = {1991}, url = {https://doi.org/10.2307/2275466}, doi = {10.2307/2275466}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/HerreKPV91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/HyttinenV90, author = {Tapani Hyttinen and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {On Scott and Karp Trees of Uncountable Models}, journal = {J. Symb. Log.}, volume = {55}, number = {3}, pages = {897--908}, year = {1990}, url = {https://doi.org/10.2307/2274463}, doi = {10.2307/2274463}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/HyttinenV90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/KrynickiV89, author = {Michal Krynicki and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Henkin and Function Quantifiers}, journal = {Ann. Pure Appl. Log.}, volume = {43}, number = {3}, pages = {273--292}, year = {1989}, url = {https://doi.org/10.1016/0168-0072(89)90071-7}, doi = {10.1016/0168-0072(89)90071-7}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/KrynickiV89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/KrynickiLV84, author = {Michal Krynicki and Alistair H. Lachlan and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Vector spaces and binary quantifiers}, journal = {Notre Dame J. Formal Log.}, volume = {25}, number = {1}, pages = {72--78}, year = {1984}, url = {https://doi.org/10.1305/ndjfl/1093870519}, doi = {10.1305/NDJFL/1093870519}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/KrynickiLV84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/Vaananen82, author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Abstract Logic and Set Theory. {II.} Large Cardinals}, journal = {J. Symb. Log.}, volume = {47}, number = {2}, pages = {335--346}, year = {1982}, url = {https://doi.org/10.2307/2273145}, doi = {10.2307/2273145}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/Vaananen82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/AnapolitanosV81, author = {D. A. Anapolitanos and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {Decidability of Some Logics with Free Quantifier Variables}, journal = {Math. Log. Q.}, volume = {27}, number = {2-6}, pages = {17--22}, year = {1981}, url = {https://doi.org/10.1002/malq.19810270202}, doi = {10.1002/MALQ.19810270202}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/AnapolitanosV81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aml/KrynickiV80, author = {Michal Krynicki and Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {On orderings of the family of all logics}, journal = {Arch. Math. Log.}, volume = {22}, number = {3-4}, pages = {141--158}, year = {1980}, url = {https://doi.org/10.1007/BF02297653}, doi = {10.1007/BF02297653}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aml/KrynickiV80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Vaananen80, author = {Jouko V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {A Quantifier for Isomorphisms}, journal = {Math. Log. Q.}, volume = {26}, number = {7-9}, pages = {123--130}, year = {1980}, url = {https://doi.org/10.1002/malq.19800260706}, doi = {10.1002/MALQ.19800260706}, timestamp = {Thu, 07 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Vaananen80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/AnapolitanosV80, author = {D. A. Anapolitanos and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, title = {On the Axiomatizability of the Notion of an Automorphism of a Finite Order}, journal = {Math. Log. Q.}, volume = {26}, number = {28-30}, pages = {433--437}, year = {1980}, url = {https://doi.org/10.1002/malq.19800262802}, doi = {10.1002/MALQ.19800262802}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/AnapolitanosV80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.