Formal systems for modal operators on locales

DOI10.1007/BF01053262MaRDI QIDQ1319366zbMATH OpenFDO

Authors G. E. Reyes, Marek Zawadowski

Publication date 12 April 1994

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01053262

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)

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

Cites work

• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 4121997 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A topos-theoretic approach to reference and modality
• Open maps of toposes
• Rough sets

Cited in

(9)

• Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic
• From (paraconsistent) topos logic to universal (topos) logic
• The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
• scientific article; zbMATH DE number 4121997 (Why is no real title available?)
• The evil twin: the basics of complement-toposes
• On the Blok-Esakia theorem
• Precovers, Modalities and Universal Closure Operators in a Topos
• Pantachies and Weakly Inaccessible Cardinals
• A relation between modal logic and language closure operators

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)