scientific article; zbMATH DE number 19500

MaRDI QIDQ3978987zbMATH OpenFDO

Authors G. E. Reyes, H. Zolfaghari

Publication date 26 June 1992

zbMATH Keywords

functorialitylax modal operatorslogical operatorsmodal operators in a topostopos-theoretic approaches to modal logic

Mathematics Subject Classification ID

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

Recommendations

• A topos-theoretic approach to reference and modality
• Topology and duality in modal logic
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• Modal Logics of Topological Relations
• Intuitionistic logic and modality via topology
• scientific article; zbMATH DE number 4047688
• Some Connections between Topological and Modal Logic
• scientific article; zbMATH DE number 4121997
• Modal languages for topology: expressivity and definability
• Topological Modal Logics with Difference Modality

Cited in

(12)

• Topology and duality in modal logic
• A topos-theoretic approach to reference and modality
• Topos: Medieval supposition theory
• Formal systems for modal operators on locales
• Completeness results for intuitionistic and modal logic in a categorical setting
• Bi-Heyting algebras, toposes and modalities
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• scientific article; zbMATH DE number 4121997 (Why is no real title available?)
• Modes of adjointness
• Precovers, Modalities and Universal Closure Operators in a Topos
• The evil twin: the basics of complement-toposes
• The modified realizability topos

This page was built for publication:

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