PP-2007-39: ten Cate, Balder and Litak, Tadeusz (2007) The importance of being discrete. [Report]
Preview |
Text (Full Text)
PP-2007-39.text.pdf Download (248kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2007-39.abstract.txt Download (626B) |
Abstract
The paper discusses discrete frames as an attractive semantics for
modal logic. We study questions of completeness, persistence, duality
and definability. Notions of completeness, strong global completeness
and complexity of dual varieties coincide for discrete frames;
moreover, they are equivalent to conservativity of minimal hybrid
extensions. The paper also provides some criteria of di-persistence
and a Goldblatt-Thomason theorem for discrete frames.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2007-39 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2007 |
| Uncontrolled Keywords: | Modal logic; Discrete general frames; Completeness; Definability; Persistence |
| Subjects: | Logic |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/273 |
Actions (login required)
 |
View Item |
