Grothendieck Topology as Geometric Modality
From MaRDI portal
Publication:3929724
DOI10.1002/malq.19810273104zbMath0474.03018OpenAlexW2167342173MaRDI QIDQ3929724
Publication date: 1981
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19810273104
filtrationvaliditysemanticscompleteness theoremKripke modelsfinite model propertypropositional modal logicdouble negationintuitionistic modal logicelementary toposneighbourhood spacesintensional logicsinternal logiclocal truthHeyting algebras with a local operatorlogic of sitesobject of truth-values
Modal logic (including the logic of norms) (03B45) Model theory (03C99) Categorical logic, topoi (03G30) Grothendieck topologies and Grothendieck topoi (18F10)
Related Items
Jankov Formulas and Axiomatization Techniques for Intermediate Logics, Intuitionistic non-normal modal logics: a general framework, An algebraic approach to subframe logics. Intuitionistic case, Terminating calculi and countermodels for constructive modal logics, Varieties of complex algebras, Propositional lax logic, Diego's theorem for nuclear implicative semilattices, Lewis meets Brouwer: constructive strict implication, Deriving dualities in pointfree topology from Priestley duality, Admissible rules for six intuitionistic modal logics, Cardinality reduction theorem for logics QHC and QH4, Mathematical modal logic: A view of its evolution, Modes of adjointness, A semantic hierarchy for intuitionistic logic, 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03, Unnamed Item, The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★, The Evil Twin: The Basics of Complement-Toposes, Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic, Constructive Modalities with Provability Smack