Paper: Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication (at LICS 2021)
Authors: Jim de Groot Tadeusz Litak Dirk Pattinson
Abstract
No Abstract Available
BibTeX
@InProceedings{GrootLitakPattinson-GdelMcKinseyTarskia, author = {Jim de Groot and Tadeusz Litak and Dirk Pattinson}, title = {Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication}, booktitle = {Proceedings of the Thirty sixth Annual IEEE Symposium on Logic in Computer Science (LICS 2021)}, year = {2021}, month = {June}, pages = {1--15}, location = {Rome, Italy}, publisher = {IEEE Computer Society Press} }