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

@article{TUW-270738,
    author = {Kuznets, Roman and Strassburger, Lutz},
    title = {Maehara-style Modal Nested Calculi},
    journal = {Archive for Mathematical Logic},
    year = {2019},
    volume = {58},
    number = {3-4},
    pages = {359--385},
    url = {https://publik.tuwien.ac.at/files/publik_270738.pdf},
    doi = {10.1007/s00153-018-0636-1},
    keywords = {Proof theory, Sequent calculus, Nested sequents, Modal logic, Intuitionistic logic, Cut elimination, Multiple conclusion, Intuitionistic modal logic}
}


1 Datensatz ausgegeben