BibTeX records: Evan Goris

download as .bib file

@article{DBLP:journals/mlq/GorisBJM22,
  author       = {Evan Goris and
                  Marta B{\'{\i}}lkov{\'{a}} and
                  Joost J. Joosten and
                  Luka Mikec},
  title        = {Theory and application of labelling techniques for interpretability
                  logics},
  journal      = {Math. Log. Q.},
  volume       = {68},
  number       = {3},
  pages        = {352--374},
  year         = {2022},
  url          = {https://doi.org/10.1002/malq.202200015},
  doi          = {10.1002/MALQ.202200015},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/GorisBJM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/GorisJ20,
  author       = {Evan Goris and
                  Joost J. Joosten},
  title        = {Two New Series of Principles in the interpretability Logic of All
                  Reasonable Arithmetical Theories},
  journal      = {J. Symb. Log.},
  volume       = {85},
  number       = {1},
  pages        = {1--25},
  year         = {2020},
  url          = {https://doi.org/10.1017/jsl.2019.90},
  doi          = {10.1017/JSL.2019.90},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/GorisJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/GorisJ12,
  author       = {Evan Goris and
                  Joost J. Joosten},
  title        = {Self provers and {\(\Sigma\)}\({}_{\mbox{1}}\) sentences},
  journal      = {Log. J. {IGPL}},
  volume       = {20},
  number       = {1},
  pages        = {1--21},
  year         = {2012},
  url          = {https://doi.org/10.1093/jigpal/jzp096},
  doi          = {10.1093/JIGPAL/JZP096},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/igpl/GorisJ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/GorisJ11,
  author       = {Evan Goris and
                  Joost J. Joosten},
  title        = {A new principle in the interpretability logic of all reasonable arithmetical
                  theories},
  journal      = {Log. J. {IGPL}},
  volume       = {19},
  number       = {1},
  pages        = {1--17},
  year         = {2011},
  url          = {https://doi.org/10.1093/jigpal/jzp082},
  doi          = {10.1093/JIGPAL/JZP082},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/igpl/GorisJ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Goris09,
  author       = {Evan Goris},
  title        = {A modal provability logic of explicit and implicit proofs},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {161},
  number       = {3},
  pages        = {388--403},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.apal.2009.07.020},
  doi          = {10.1016/J.APAL.2009.07.020},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Goris09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/GorisJ08,
  author       = {Evan Goris and
                  Joost J. Joosten},
  title        = {Modal Matters for Interpretability Logics},
  journal      = {Log. J. {IGPL}},
  volume       = {16},
  number       = {4},
  pages        = {371--412},
  year         = {2008},
  url          = {https://doi.org/10.1093/jigpal/jzn013},
  doi          = {10.1093/JIGPAL/JZN013},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/igpl/GorisJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mst/Goris08,
  author       = {Evan Goris},
  title        = {Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic},
  journal      = {Theory Comput. Syst.},
  volume       = {43},
  number       = {2},
  pages        = {185--203},
  year         = {2008},
  url          = {https://doi.org/10.1007/s00224-007-9058-x},
  doi          = {10.1007/S00224-007-9058-X},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/Goris08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lfcs/Goris07,
  author       = {Evan Goris},
  editor       = {Sergei N. Art{\"{e}}mov and
                  Anil Nerode},
  title        = {Explicit Proofs in Formal Provability Logic},
  booktitle    = {Logical Foundations of Computer Science, International Symposium,
                  {LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4514},
  pages        = {241--253},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72734-7\_17},
  doi          = {10.1007/978-3-540-72734-7\_17},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/lfcs/Goris07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Goris06,
  author       = {Evan Goris},
  title        = {Interpolation and the Interpretability Logic of {PA}},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {47},
  number       = {2},
  pages        = {179--195},
  year         = {2006},
  url          = {https://doi.org/10.1305/ndjfl/1153858645},
  doi          = {10.1305/NDJFL/1153858645},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Goris06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csr/Goris06,
  author       = {Evan Goris},
  editor       = {Dima Grigoriev and
                  John Harrison and
                  Edward A. Hirsch},
  title        = {Logic of Proofs for Bounded Arithmetic},
  booktitle    = {Computer Science - Theory and Applications, First International Symposium
                  on Computer Science in Russia, {CSR} 2006, St. Petersburg, Russia,
                  June 8-12, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3967},
  pages        = {191--201},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11753728\_21},
  doi          = {10.1007/11753728\_21},
  timestamp    = {Tue, 29 Nov 2022 13:36:56 +0100},
  biburl       = {https://dblp.org/rec/conf/csr/Goris06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jancl/AfanasievBDGGMR05,
  author       = {Loredana Afanasiev and
                  Patrick Blackburn and
                  Ioanna Dimitriou and
                  Bertrand Gaiffe and
                  Evan Goris and
                  Maarten Marx and
                  Maarten de Rijke},
  title        = {{PDL} for Ordered Trees},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {15},
  number       = {2},
  pages        = {115--135},
  year         = {2005},
  url          = {https://doi.org/10.3166/jancl.15.115-135},
  doi          = {10.3166/JANCL.15.115-135},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/AfanasievBDGGMR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/Goris05,
  author       = {Evan Goris and
                  Maarten Marx},
  title        = {Looping Caterpillars},
  booktitle    = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),
                  26-29 June 2005, Chicago, IL, USA, Proceedings},
  pages        = {51--60},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/LICS.2005.24},
  doi          = {10.1109/LICS.2005.24},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/Goris05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.