Paper: Some constructive variants of S4 with the finite model property (at LICS 2021)
Authors: Philippe Balbiani Martín Diéguez David Fernández-Duque
Abstract
No Abstract Available
BibTeX
@InProceedings{DiguezFernandezDuqu-Someconstructivevar, author = {Philippe Balbiani and Martín Diéguez and David Fernández-Duque}, title = {Some constructive variants of S4 with the finite model property}, booktitle = {Proceedings of the Thirty sixth Annual IEEE Symposium on Logic in Computer Science (LICS 2021)}, year = {2021}, month = {June}, pages = {1--13}, location = {Rome, Italy}, publisher = {IEEE Computer Society Press} }