Formal systems for modal operators on locales

DOI10.1007/BF01053262zbMath0798.03016MaRDI QIDQ1319366

Marek W. Zawadowski, Gonzalo E. Reyes

Publication date: 12 April 1994

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

completenessdecidabilitypropositional modal logicsmodal operators on locales

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Topoi (18B25)

Related Items (5)

From (Paraconsistent) Topos Logic to Universal (Topos) Logic ⋮ Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic ⋮ The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem ⋮ The Evil Twin: The Basics of Complement-Toposes ⋮ On the Blok-Esakia Theorem

Cites Work

• Open maps of toposes
• A topos-theoretic approach to reference and modality
• Rough sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal systems for modal operators on locales