%0 Conference Paper %1 conf/wollic/FergusonP23 %A Ferguson, Thomas Macaulay %A Puncochár, Vít %B WoLLIC %D 2023 %E Hansen, Helle Hvid %E Scedrov, Andre %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 194-210 %T Structural Completeness and Superintuitionistic Inquisitive Logics. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2023.html#FergusonP23 %V 13923 %@ 978-3-031-39784-4

@inproceedings{conf/wollic/FergusonP23, added-at = {2023-12-05T00:00:00.000+0100}, author = {Ferguson, Thomas Macaulay and Puncochár, Vít}, biburl = {https://www.bibsonomy.org/bibtex/220bf376799d07b76884fa7b4bb6febcc/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2023}, editor = {Hansen, Helle Hvid and Scedrov, Andre and de Queiroz, Ruy J. G. B.}, ee = {https://doi.org/10.1007/978-3-031-39784-4_12}, interhash = {863d323d951b35787c1f428b9ebc263f}, intrahash = {20bf376799d07b76884fa7b4bb6febcc}, isbn = {978-3-031-39784-4}, keywords = {dblp}, pages = {194-210}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:01:42.000+0200}, title = {Structural Completeness and Superintuitionistic Inquisitive Logics.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2023.html#FergusonP23}, volume = 13923, year = 2023 }