A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness
Sambin, G. ; Vaccaro, V.
J. Symbolic Logic, Tome 54 (1989) no. 1, p. 992-999 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1989-09-14
Classification:  
@article{1183743033,
     author = {Sambin, G. and Vaccaro, V.},
     title = {A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness},
     journal = {J. Symbolic Logic},
     volume = {54},
     number = {1},
     year = {1989},
     pages = { 992-999},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183743033}
}

Sambin, G.; Vaccaro, V. A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness. J. Symbolic Logic, Tome 54 (1989) no. 1, pp.  992-999. http://gdmltest.u-ga.fr/item/1183743033/