Hybrid Logics: Characterization, Interpolation and Complexity. Areces, C., Blackburn, P., & Marx, M. J. Symb. Log., 66(3):977-1010, 2001.
Link
Paper bibtex @article{journals/jsyml/ArecesBM01,
added-at = {2020-09-05T00:00:00.000+0200},
author = {Areces, Carlos and Blackburn, Patrick and Marx, Maarten},
biburl = {https://www.bibsonomy.org/bibtex/2c68a01e056a6a55ac602077570e7e601/dblp},
ee = {http://projecteuclid.org/euclid.jsl/1183746543},
interhash = {da3d7d7e1e7b6f567fa25f333a11f71c},
intrahash = {c68a01e056a6a55ac602077570e7e601},
journal = {J. Symb. Log.},
keywords = {dblp},
number = 3,
pages = {977-1010},
timestamp = {2020-09-09T11:51:25.000+0200},
title = {Hybrid Logics: Characterization, Interpolation and Complexity.},
url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml66.html#ArecesBM01},
volume = 66,
year = 2001
}
Downloads: 0
{"_id":"BAw4GNKcHjiPnTkYm","bibbaseid":"areces-blackburn-marx-hybridlogicscharacterizationinterpolationandcomplexity-2001","author_short":["Areces, C.","Blackburn, P.","Marx, M."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-09-05T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Areces"],"firstnames":["Carlos"],"suffixes":[]},{"propositions":[],"lastnames":["Blackburn"],"firstnames":["Patrick"],"suffixes":[]},{"propositions":[],"lastnames":["Marx"],"firstnames":["Maarten"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2c68a01e056a6a55ac602077570e7e601/dblp","ee":"http://projecteuclid.org/euclid.jsl/1183746543","interhash":"da3d7d7e1e7b6f567fa25f333a11f71c","intrahash":"c68a01e056a6a55ac602077570e7e601","journal":"J. Symb. Log.","keywords":"dblp","number":"3","pages":"977-1010","timestamp":"2020-09-09T11:51:25.000+0200","title":"Hybrid Logics: Characterization, Interpolation and Complexity.","url":"http://dblp.uni-trier.de/db/journals/jsyml/jsyml66.html#ArecesBM01","volume":"66","year":"2001","bibtex":"@article{journals/jsyml/ArecesBM01,\n added-at = {2020-09-05T00:00:00.000+0200},\n author = {Areces, Carlos and Blackburn, Patrick and Marx, Maarten},\n biburl = {https://www.bibsonomy.org/bibtex/2c68a01e056a6a55ac602077570e7e601/dblp},\n ee = {http://projecteuclid.org/euclid.jsl/1183746543},\n interhash = {da3d7d7e1e7b6f567fa25f333a11f71c},\n intrahash = {c68a01e056a6a55ac602077570e7e601},\n journal = {J. Symb. Log.},\n keywords = {dblp},\n number = 3,\n pages = {977-1010},\n timestamp = {2020-09-09T11:51:25.000+0200},\n title = {Hybrid Logics: Characterization, Interpolation and Complexity.},\n url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml66.html#ArecesBM01},\n volume = 66,\n year = 2001\n}\n\n","author_short":["Areces, C.","Blackburn, P.","Marx, M."],"key":"journals/jsyml/ArecesBM01","id":"journals/jsyml/ArecesBM01","bibbaseid":"areces-blackburn-marx-hybridlogicscharacterizationinterpolationandcomplexity-2001","role":"author","urls":{"Link":"http://projecteuclid.org/euclid.jsl/1183746543","Paper":"http://dblp.uni-trier.de/db/journals/jsyml/jsyml66.html#ArecesBM01"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/maarten marx?items=1000","dataSources":["Siuk2oSXMdsbEd2r9","aKX2T7ef3GscsArHw"],"keywords":["dblp"],"search_terms":["hybrid","logics","characterization","interpolation","complexity","areces","blackburn","marx"],"title":"Hybrid Logics: Characterization, Interpolation and Complexity.","year":2001}