On the public citation graph

Topos-theoretic approaches to modality

https://doi.org/10.1007/bfb0084231
0 signed · 26 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/bf01303275openalex-snapshot
Open maps of toposes
inferredcites →https://doi.org/10.1007/bfb0081355openalex-snapshot
Modal and tense predicate logic: Models in presheaves and categorical conceptualization
inferredcites →https://doi.org/10.1016/0022-4049(80)90080-8openalex-snapshot
Molecular toposes
inferredcites →https://doi.org/10.1090/memo/0309openalex-snapshot
An extension of the Galois theory of Grothendieck
inferredcites →https://doi.org/10.1111/j.1468-0149.1969.tb00005.xopenalex-snapshot
AN INTRODUCTION TO MODAL LOGIC
inferredcites →https://doi.org/10.1305/ndjfl/1093635834openalex-snapshot
A topos-theoretic approach to reference and modality.

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-1-4020-5587-4_8openalex-snapshot
Locales and Toposes as Spaces
inferred← citeshttps://doi.org/10.1007/978-81-322-2719-9_18openalex-snapshot
The Evil Twin: The Basics of Complement-Toposes
inferred← citeshttps://doi.org/10.1007/978-94-015-9309-0_12openalex-snapshot
Models for Non-Boolean Negations in Natural Languages Based on Aspect Analysis
inferred← citeshttps://doi.org/10.1007/bf00357841openalex-snapshot
Bi-Heyting algebras, toposes and modalities
inferred← citeshttps://doi.org/10.1007/s10992-012-9266-yopenalex-snapshot
Modes of Adjointness
inferred← citeshttps://doi.org/10.1016/0168-0072(93)00085-4openalex-snapshot
Completeness results for intuitionistic and modal logic in a categorical setting
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80012-7openalex-snapshot
9 First-order modal logic
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80019-xopenalex-snapshot
16 Modal logic in mathematics
inferred← citeshttps://doi.org/10.1017/s1755020308080143openalex-snapshot
TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
inferred← citeshttps://doi.org/10.1023/a:1005291931660openalex-snapshot
On an Intuitionistic Modal Logic
inferred← citeshttps://doi.org/10.1080/01445340.2022.2107383openalex-snapshot
Modal Homotopy Type Theory. The Prospect of a New Logic for Philosophy
inferred← citeshttps://doi.org/10.1093/jigpal/jzu024openalex-snapshot
Characterizing intermediate tense logics in terms of Galois connections
inferred← citeshttps://doi.org/10.1109/lics.1994.316054openalex-snapshot
A general semantics for Evaluation Logic
inferred← citeshttps://doi.org/10.1111/j.1468-5914.1993.tb00233.xopenalex-snapshot
Cognitive Psychology and the Rejection of Brentano
inferred← citeshttps://doi.org/10.1305/ndjfl/1093635834openalex-snapshot
A topos-theoretic approach to reference and modality.
inferred← citeshttps://doi.org/10.26686/ajl.v9i0.1819openalex-snapshot
Complement-Topoi and Dual Intuitionistic Logic
inferred← citeshttps://doi.org/10.29007/nv5mopenalex-snapshot
General Topos Semantics for Higher-Order Modal Logic
inferred← citeshttps://doi.org/10.3166/jancl.20.193-217openalex-snapshot
Continuity, freeness, and filtrations
inferred← citeshttps://doi.org/10.4310/hha.2003.v5.n2.a6openalex-snapshot
On the geometry of intuitionistic S4 proofs
inferred← citeshttps://doi.org/10.47749/t/unicamp.1998.129631openalex-snapshot
Sobre a dualidade entre intuicionismo e paraconssistencia
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.