Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
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.
last updated on 2024-01-14 02:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
