THOMASON DUALITY FOR INSTANTIAL NEIGHBOURHOOD FRAMES
Publisher DOI
Abstract
We prove a Thomason-style duality for the category of instantial neighbourhood frames and instantial neighbourhood morphisms, use it to define and investigate ultrafilter extensions, and show that it restricts to Thomason duality for Kripke frames.
Date Issued
2026-04-10
Publication Type
Article
Subject(s)
Subjects
CCS
•
theory of computation
•
logic
•
modal and temporal logics
Language(s)
en
Author(s)
Additional Credits
Journal
Journal of Symbolic Logic
Publisher
Cambridge University Press
ISSN
0022-4812
1943-5886
Access(Rights)
open.access