A topos-theoretic approach to reference and modality

DOI10.1305/ndjfl/1093635834zbMath0757.03013OpenAlexW2012883278MaRDI QIDQ1182706

Gonzalo E. Reyes

Publication date: 28 June 1992

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635834

zbMATH Keywords

modal logicreferencesoundnessmodal operatorgeometric morphismlocally connected toposcoincidence relationcount nounsfragment of natural languageGentzen- type axiomatic systemhigher-order modal theorytopos-theoretic semantics

Mathematics Subject Classification ID

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

Related Items

Functoriality and grammatical role in syllogisms, Completeness results for intuitionistic and modal logic in a categorical setting, Doctrines, modalities and comonads, Bi-Heyting algebras, toposes and modalities, Modes of adjointness, TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC, Formal systems for modal operators on locales