We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Correspondence Theory for Generalized Modal Algebras

Authors: Zhiguang Zhao
Abstract: In the present paper, we give a systematic study of the correspondence theory of generalized modal algebras and generalized modal spaces. The special feature of the present paper is that in the proof of the (right-handed) topological Ackermann lemma, the admissible valuations are not the clopen valuations anymore, but values in the set DK(X) which are only closed and satisfy additional properties, not necessarily open. This situation is significantly different from existing settings using Stone/Priestley-like dualities, where all admissible valuations are clopen valuations.
Subjects: Logic (math.LO)
Cite as: arXiv:2205.02624 [math.LO]
  (or arXiv:2205.02624v1 [math.LO] for this version)

Submission history

From: Zhiguang Zhao [view email]
[v1] Thu, 5 May 2022 13:04:00 GMT (19kb)

Link back to: arXiv, form interface, contact.