Duality between modal algebras and neighbourhood frames |
| |
Authors: | Kosta Došen |
| |
Affiliation: | (1) Matematički Institut, Knez Mihailova 35, P.F. 367, 11001 Beograd, Yugoslavia |
| |
Abstract: | This paper presents duality results between categories of neighbourhood frames for modal logic and categories of modal algebras (i.e. Boolean algebras with an additional unary operation). These results extend results of Goldblatt and Thomason about categories of relational frames for modal logic. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|