@article{DBLP:journals/logcom/DemriFM21,
  author       = {St{\'{e}}phane Demri and
                  Raul Fervari and
                  Alessio Mansutti},
  title        = {Internal proof calculi for modal logics with separating conjunction},
  journal      = {J. Log. Comput.},
  volume       = {31},
  number       = {3},
  pages        = {832--891},
  year         = {2021},
  url          = {https://doi.org/10.1093/logcom/exab016},
  doi          = {10.1093/LOGCOM/EXAB016},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/DemriFM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"AeWj4Mqwv7Gg8L3y6","bibbaseid":"demri-fervari-mansutti-internalproofcalculiformodallogicswithseparatingconjunction-2021","author_short":["Demri, S.","Fervari, R.","Mansutti, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Stéphane"],"propositions":[],"lastnames":["Demri"],"suffixes":[]},{"firstnames":["Raul"],"propositions":[],"lastnames":["Fervari"],"suffixes":[]},{"firstnames":["Alessio"],"propositions":[],"lastnames":["Mansutti"],"suffixes":[]}],"title":"Internal proof calculi for modal logics with separating conjunction","journal":"J. Log. Comput.","volume":"31","number":"3","pages":"832–891","year":"2021","url":"https://doi.org/10.1093/logcom/exab016","doi":"10.1093/LOGCOM/EXAB016","timestamp":"Thu, 14 Oct 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/logcom/DemriFM21.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/logcom/DemriFM21,\n author = {St{\\'{e}}phane Demri and\n Raul Fervari and\n Alessio Mansutti},\n title = {Internal proof calculi for modal logics with separating conjunction},\n journal = {J. Log. Comput.},\n volume = {31},\n number = {3},\n pages = {832--891},\n year = {2021},\n url = {https://doi.org/10.1093/logcom/exab016},\n doi = {10.1093/LOGCOM/EXAB016},\n timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/logcom/DemriFM21.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Demri, S.","Fervari, R.","Mansutti, A."],"key":"DBLP:journals/logcom/DemriFM21","id":"DBLP:journals/logcom/DemriFM21","bibbaseid":"demri-fervari-mansutti-internalproofcalculiformodallogicswithseparatingconjunction-2021","role":"author","urls":{"Paper":"https://doi.org/10.1093/logcom/exab016"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/117/9953.bib","dataSources":["HJM7dqFRHjcZZmjge","MSnnygamX7qXNxsq6"],"keywords":[],"search_terms":["internal","proof","calculi","modal","logics","separating","conjunction","demri","fervari","mansutti"],"title":"Internal proof calculi for modal logics with separating conjunction","year":2021}