Formal systems for modal operators on locales

DOI10.1007/BF01053262zbMATH Open0798.03016MaRDI QIDQ1319366FDOQ1319366

Marek Zawadowski, G. E. Reyes

Publication date: 12 April 1994

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

Recommendations

• scientific article; zbMATH DE number 19500
• scientific article; zbMATH DE number 4121997
• scientific article; zbMATH DE number 1749192
• Intuitionistic logic and modality via topology
• A relation between modal logic and language closure operators

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)

Cites Work

• Rough sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A topos-theoretic approach to reference and modality
• Open maps of toposes
• Title not available (Why is that?)

Cited In (8)

• From (Paraconsistent) Topos Logic to Universal (Topos) Logic
• The Evil Twin: The Basics of Complement-Toposes
• Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic
• On the Blok-Esakia Theorem
• The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
• Title not available (Why is that?)
• Precovers, Modalities and Universal Closure Operators in a Topos
• Pantachies and Weakly Inaccessible Cardinals

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1319366)