PP-2007-39: The importance of being discrete

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

[img]
Preview
Text (Full Text)
PP-2007-39.text.pdf

Download (248kB) | Preview
[img] 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 View Item