|
|||||
|
|
Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic |
|
| Authors: | Celani S; Jansana R |
| Institution: | Facultad de Ciencias Exactas, Universidad Nacional del Centro de la Provincia de Buenos Aires, Pinto 299, 7000 Tandil, Argentina. E-mail: scelani@exa.unicen.edu.ar A Departament de Lògica, Història i Filosofia de la Ciència, Universitat de Barcelona, Baldiri i Reixach s/n, 08028 Barcelona, Spain. E-mail: jansana@mat.ub.es |
| Abstract: | |
| Keywords: | positive modal logic distributive lattices withoperators duality theory correspondence theory d-persistency |
| 本文献已被 Oxford 等数据库收录！ | |