BibTeX records: Evgeny Zolin

download as .bib file

@inproceedings{DBLP:conf/aiml/KikotSZ20,
  author       = {Stanislav Kikot and
                  Ilya Shapirovsky and
                  Evgeny Zolin},
  editor       = {Nicola Olivetti and
                  Rineke Verbrugge and
                  Sara Negri and
                  Gabriel Sandu},
  title        = {Modal Logics with Transitive Closure: Completeness, Decidability,
                  Filtration},
  booktitle    = {13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland,
                  August 24-28, 2020},
  pages        = {369--388},
  publisher    = {College Publications},
  year         = {2020},
  url          = {http://www.aiml.net/volumes/volume13/Kikot-Shapirovsky-Zolin.pdf},
  timestamp    = {Tue, 16 Jan 2024 17:18:03 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/KikotSZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/logcom/Zolin17,
  author       = {Evgeny Zolin},
  title        = {Undecidability of the transitive graded modal logic with converse},
  journal      = {J. Log. Comput.},
  volume       = {27},
  number       = {5},
  pages        = {1399--1420},
  year         = {2017},
  url          = {https://doi.org/10.1093/logcom/exw026},
  doi          = {10.1093/LOGCOM/EXW026},
  timestamp    = {Thu, 14 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/Zolin17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Zolin15,
  author       = {Evgeny Zolin},
  title        = {Local Goldblatt-Thomason theorem},
  journal      = {Log. J. {IGPL}},
  volume       = {23},
  number       = {6},
  pages        = {861--880},
  year         = {2015},
  url          = {https://doi.org/10.1093/jigpal/jzv036},
  doi          = {10.1093/JIGPAL/JZV036},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Zolin15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Zolin14,
  author       = {Evgeny Zolin},
  title        = {Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic
                  Propositional Calculi},
  journal      = {Stud Logica},
  volume       = {102},
  number       = {5},
  pages        = {1021--1039},
  year         = {2014},
  url          = {https://doi.org/10.1007/s11225-013-9520-5},
  doi          = {10.1007/S11225-013-9520-5},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Zolin14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiml/KikotSZ14,
  author       = {Stanislav Kikot and
                  Ilya Shapirovsky and
                  Evgeny Zolin},
  editor       = {Rajeev Gor{\'{e}} and
                  Barteld P. Kooi and
                  Agi Kurucz},
  title        = {Filtration Safe Operations on Frames},
  booktitle    = {Advances in Modal Logic 10, invited and contributed papers from the
                  tenth conference on "Advances in Modal Logic," held in Groningen,
                  The Netherlands, August 5-8, 2014},
  pages        = {333--352},
  publisher    = {College Publications},
  year         = {2014},
  url          = {http://www.aiml.net/volumes/volume10/Kikot-Shapirovsky-Zolin.pdf},
  timestamp    = {Tue, 16 Jan 2024 17:18:03 +0100},
  biburl       = {https://dblp.org/rec/conf/aiml/KikotSZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/japll/KikotZ13,
  author       = {Stanislav Kikot and
                  Evgeny Zolin},
  title        = {Modal definability of first-order formulas with free variables and
                  query answering},
  journal      = {J. Appl. Log.},
  volume       = {11},
  number       = {2},
  pages        = {190--216},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jal.2013.03.007},
  doi          = {10.1016/J.JAL.2013.03.007},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/KikotZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dlog/KikotTZZ13,
  author       = {Stanislav Kikot and
                  Dmitry Tsarkov and
                  Michael Zakharyaschev and
                  Evgeny Zolin},
  editor       = {Thomas Eiter and
                  Birte Glimm and
                  Yevgeny Kazakov and
                  Markus Kr{\"{o}}tzsch},
  title        = {Query Answering via Modal Definability with FaCT++: First Blood},
  booktitle    = {Informal Proceedings of the 26th International Workshop on Description
                  Logics, Ulm, Germany, July 23 - 26, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1014},
  pages        = {328--340},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1014/paper\_64.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/KikotTZZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dlog/Zolin07,
  author       = {Evgeny Zolin},
  editor       = {Diego Calvanese and
                  Enrico Franconi and
                  Volker Haarslev and
                  Domenico Lembo and
                  Boris Motik and
                  Anni{-}Yasmin Turhan and
                  Sergio Tessaris},
  title        = {Modal Logic Applied to Query Answering and the Case for Variable Modalities},
  booktitle    = {Proceedings of the 2007 International Workshop on Description Logics
                  (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June,
                  2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {250},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-250/paper\_71.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/Zolin07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/KazakovSZ07,
  author       = {Yevgeny Kazakov and
                  Ulrike Sattler and
                  Evgeny Zolin},
  editor       = {Nachum Dershowitz and
                  Andrei Voronkov},
  title        = {How Many Legs Do {I} Have? Non-Simple Roles in Number Restrictions
                  Revisited},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th
                  International Conference, {LPAR} 2007, Yerevan, Armenia, October 15-19,
                  2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4790},
  pages        = {303--317},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75560-9\_23},
  doi          = {10.1007/978-3-540-75560-9\_23},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/KazakovSZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/HullZBHSS06,
  author       = {Duncan Hull and
                  Evgeny Zolin and
                  Andrey Bovykin and
                  Ian Horrocks and
                  Ulrike Sattler and
                  Robert Stevens},
  title        = {Deciding Semantic Matching of Stateless Services},
  booktitle    = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
                  and the Eighteenth Innovative Applications of Artificial Intelligence
                  Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
  pages        = {1319--1324},
  publisher    = {{AAAI} Press},
  year         = {2006},
  url          = {http://www.aaai.org/Library/AAAI/2006/aaai06-207.php},
  timestamp    = {Tue, 05 Sep 2023 09:10:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/HullZBHSS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/Zolin00,
  author       = {Evgeni E. Zolin},
  title        = {Embeddings of Propositional Monomodal Logics},
  journal      = {Log. J. {IGPL}},
  volume       = {8},
  number       = {6},
  pages        = {861--882},
  year         = {2000},
  url          = {https://doi.org/10.1093/jigpal/8.6.861},
  doi          = {10.1093/JIGPAL/8.6.861},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/Zolin00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Zolin99,
  author       = {Evgeni E. Zolin},
  title        = {Completeness and Definability in the Logic of Noncontingency},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {40},
  number       = {4},
  pages        = {533--547},
  year         = {1999},
  url          = {https://doi.org/10.1305/ndjfl/1012429717},
  doi          = {10.1305/NDJFL/1012429717},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Zolin99.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.