%0 Journal Article %1 journals/jancl/GuerriniMZ23 %A Guerrini, Stefano %A Masini, Andrea %A Zorzi, Margherita %D 2023 %J J. Appl. Non Class. Logics %K dblp %N 2 %P 165-205 %T Natural deduction calculi for classical and intuitionistic S5. %U http://dblp.uni-trier.de/db/journals/jancl/jancl33.html#GuerriniMZ23 %V 33

@article{journals/jancl/GuerriniMZ23, added-at = {2023-09-12T00:00:00.000+0200}, author = {Guerrini, Stefano and Masini, Andrea and Zorzi, Margherita}, biburl = {https://www.bibsonomy.org/bibtex/255f0fb7a4bdc485f91323f0f5970606b/dblp}, ee = {https://doi.org/10.1080/11663081.2023.2233750}, interhash = {196499dc5d090b1aa99841ffb83fded3}, intrahash = {55f0fb7a4bdc485f91323f0f5970606b}, journal = {J. Appl. Non Class. Logics}, keywords = {dblp}, month = {April}, number = 2, pages = {165-205}, timestamp = {2024-04-09T00:40:18.000+0200}, title = {Natural deduction calculi for classical and intuitionistic S5.}, url = {http://dblp.uni-trier.de/db/journals/jancl/jancl33.html#GuerriniMZ23}, volume = 33, year = 2023 }