BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-270740,
    author = {Kuznets, Roman and Lellmann, Bj{\"o}rn},
    title = {Interpolation for Intermediate Logics via Hyper- and Linear Nested Sequents},
    booktitle = {Advances in Modal Logic, Volume 12},
    year = {2018},
    editor = {Bezhanishvili, Guram and D'Agostino, Giovanna and Metcalfe, George and Studer, Thomas},
    pages = {473--492},
    publisher = {College Publications},
    url = {https://publik.tuwien.ac.at/files/publik_270740.pdf},
    isbn = {978-1-84890-255-8},
    keywords = {Intermediate logics, hypersequents, linear nested sequents, interpolation, cut elimination, G{\"o}del logic, Lyndon interpolation},
    note = {talk: Advances in Modal Logic 2018, Bern, Schweiz; 2018-08-27 -- 2018-08-31}
}


1 Datensatz ausgegeben