scientific article

zbMath0745.03015MaRDI QIDQ3978987

Gonzalo E. Reyes, Houman Zolfaghari

Publication date: 26 June 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

functorialitylogical operatorslax modal 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)

Related Items

Completeness results for intuitionistic and modal logic in a categorical setting, Bi-Heyting algebras, toposes and modalities, Modes of adjointness, TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC, The Evil Twin: The Basics of Complement-Toposes