PP-2007-39: The importance of being discrete

PP-2007-39: ten Cate, Balder and Litak, Tadeusz (2007) The importance of being discrete. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (248kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (626B)


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 View Item