On the public citation graph
Modal operators on Heyting algebras
0 signed · 69 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1016/s0049-237x(09)x7004-7openalex-snapshot
An Algebraic Approach to Non-Classical Logics
inferredcites →https://doi.org/10.1017/s0004972700043094openalex-snapshot
Relative annihilators in semilattices
inferredcites →https://doi.org/10.1112/plms/s3-16.1.275openalex-snapshot
Quotient Frames and Subspaces
inferredcites →https://doi.org/10.4064/cm-41-1-1-12openalex-snapshot
Modal extensions of Heyting algebras
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-44802-0_21openalex-snapshot
Categorical and Kripke Semantics for Constructive S4 Modal Logic
inferred← citeshttps://doi.org/10.1007/3-540-45842-5_5openalex-snapshot
On the Logical Content of Computational Type Theory: A Solution to Curry’s Problem
inferred← citeshttps://doi.org/10.1007/978-3-030-53479-0_2openalex-snapshot
Subfitness and Basics of Fitness
inferred← citeshttps://doi.org/10.1007/978-3-030-84319-9_6openalex-snapshot
Notes on Point-Free Topology
inferred← citeshttps://doi.org/10.1007/978-3-031-47921-2_2openalex-snapshot
Lewisian Fixed Points I: Two Incomparable Constructions
inferred← citeshttps://doi.org/10.1007/978-3-319-46750-4_13openalex-snapshot
Deriving Inverse Operators for Modal Logic
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-981-10-6355-8_1openalex-snapshot
Representing and Completing Lattices by Propositions of Cover Systems
inferred← citeshttps://doi.org/10.1007/bfb0063428openalex-snapshot
Free spectra of 3-element algebras
inferred← citeshttps://doi.org/10.1007/s00012-021-00711-yopenalex-snapshot
Three roads to complete lattices: orders, compatibility, polarity
inferred← citeshttps://doi.org/10.1007/s00012-022-00767-4openalex-snapshot
Adjoint maps between implicative semilattices and continuity of localic maps
inferred← citeshttps://doi.org/10.1007/s00012-022-00768-3openalex-snapshot
Nuclear ranges in implicative semilattices
inferred← citeshttps://doi.org/10.1007/s00500-015-1780-8openalex-snapshot
Semilattices global valuations in the topos approach to quantum mechanics
inferred← citeshttps://doi.org/10.1007/s00500-019-04536-9openalex-snapshot
Algebraic semantics of the $$\left\{ \rightarrow ,\square \right\} $$-fragment of Propositional Lax Logic
inferred← citeshttps://doi.org/10.1007/s00500-025-10594-zopenalex-snapshot
On subresiduated lattice ordered commutative monoids and some of its subvarieties
inferred← citeshttps://doi.org/10.1007/s10485-005-9010-7openalex-snapshot
Regularity, Fitness, and the Block Structure of Frames
inferred← citeshttps://doi.org/10.1007/s10670-023-00666-7openalex-snapshot
Completeness and Doxastic Plurality for Topological Operators of Knowledge and Belief
inferred← citeshttps://doi.org/10.1007/s10701-014-9842-9openalex-snapshot
Physical Properties as Modal Operators in the Topos Approach to Quantum Mechanics
inferred← citeshttps://doi.org/10.1007/s11083-019-09488-1openalex-snapshot
Algebraic Aspects of Relatively Pseudocomplemented Posets
inferred← citeshttps://doi.org/10.1007/s11083-020-09528-1openalex-snapshot
The Frame of Nuclei on an Alexandroff Space
inferred← citeshttps://doi.org/10.1007/s11225-023-10064-3openalex-snapshot
Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic
inferred← citeshttps://doi.org/10.1007/s11225-023-10065-2openalex-snapshot
Intuitionistic Modal Algebras
inferred← citeshttps://doi.org/10.1007/s11225-025-10214-9openalex-snapshot
Goldblatt-Thomason Theorems for Inflationary Intuitionistic Logic
inferred← citeshttps://doi.org/10.1016/0022-4049(91)90109-fopenalex-snapshot
A characterization of nuclei in orthomodular and quantic lattices
inferred← citeshttps://doi.org/10.1016/j.apal.2007.04.001openalex-snapshot
An algebraic approach to subframe logics. Intuitionistic case
inferred← citeshttps://doi.org/10.1016/j.fiae.2017.06.005openalex-snapshot
Some Unitary Operators on Hoop-algebras
inferred← citeshttps://doi.org/10.1016/j.fss.2006.03.022openalex-snapshot
Truth-depressing hedges and BL-logic
inferred← citeshttps://doi.org/10.1016/j.fss.2022.03.021openalex-snapshot
Prelinearity in (quasi-)Nelson logic
inferred← citeshttps://doi.org/10.1016/j.indag.2019.01.001openalex-snapshot
A semantic hierarchy for intuitionistic logic
inferred← citeshttps://doi.org/10.1016/j.jpaa.2019.106302openalex-snapshot
When is the frame of nuclei spatial: A new approach
inferred← citeshttps://doi.org/10.1016/j.tcs.2018.05.022openalex-snapshot
Characterizing right inverses for spatial constraint systems with applications to modal logic
inferred← citeshttps://doi.org/10.1016/s0022-4049(99)00172-3openalex-snapshot
The regular-locally compact coreflection of a stably locally compact locale
inferred← citeshttps://doi.org/10.1016/s1570-8683(03)00008-9openalex-snapshot
Mathematical modal logic: A view of its evolution
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80076-8openalex-snapshot
On the Compact-regular Coreflection of a Stably Compact Locale
inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80027-0openalex-snapshot
Mathematical modal logic: A view of its evolution
inferred← citeshttps://doi.org/10.1017/s0960129500000876openalex-snapshot
Constructive theory of the lower power locale
inferred← citeshttps://doi.org/10.1017/s1755020324000170openalex-snapshot
CONSERVATION AS TRANSLATION
inferred← citeshttps://doi.org/10.1023/a:1022937306253openalex-snapshot
Intensional Completeness in an Extension of Gödel/Dummett Logic
inferred← citeshttps://doi.org/10.1023/a:1023597003585openalex-snapshot
E-Compactness in Pointfree Topology
inferred← citeshttps://doi.org/10.1080/11663081.2025.2518837openalex-snapshot
Some properties of (strong) semi-divisible residuated lattices and modal operators
inferred← citeshttps://doi.org/10.1093/jigpal/jzab023openalex-snapshot
Fragments of Quasi-Nelson: The Algebraizable Core
inferred← citeshttps://doi.org/10.1093/logcom/exaa082openalex-snapshot
Categorical and algebraic aspects of the intuitionistic modal logic IEL― and its predicate extensions
inferred← citeshttps://doi.org/10.1093/logcom/exq029openalex-snapshot
Cover semantics for quantified lax logic
inferred← citeshttps://doi.org/10.1109/ismvl.2012.41openalex-snapshot
Modal Operators on Non-commutative Residuated Lattices
inferred← citeshttps://doi.org/10.21136/mb.2006.134083openalex-snapshot
Modal operators on MV-algebras
inferred← citeshttps://doi.org/10.21136/mb.2008.140619openalex-snapshot
Modal operators on bounded residuated $\rm l$-monoids
inferred← citeshttps://doi.org/10.21136/mb.2012.142898openalex-snapshot
Monotone modal operators on bounded integral residuated lattices
inferred← citeshttps://doi.org/10.21203/rs.3.rs-3007915/v1openalex-snapshot
EQ-algebras with Modal Operators
inferred← citeshttps://doi.org/10.2140/pjm.1987.130.209openalex-snapshot
On the congruence lattice of a frame
inferred← citeshttps://doi.org/10.2478/amsil-2024-0007openalex-snapshot
Closure Operations on Intuitionistic Linear Algebras
inferred← citeshttps://doi.org/10.2478/auom-2023-0008openalex-snapshot
Residuated skew lattices with modal operator
inferred← citeshttps://doi.org/10.2478/s12175-007-0026-3openalex-snapshot
Modal operators on bounded commutative residuated ℓ-monoids
inferred← citeshttps://doi.org/10.2478/s12175-010-0055-1openalex-snapshot
Modal operators on commutative residuated lattices
inferred← citeshttps://doi.org/10.25092/baunfbed.1008069openalex-snapshot
Co-derivative operators on BL-algebras
inferred← citeshttps://doi.org/10.2989/16073606.2023.2247793openalex-snapshot
Some properties of conjunctivity (subfitness) in generalized settings
inferred← citeshttps://doi.org/10.4213/rm10149openalex-snapshot
Битопологические модели интуиционистской эпистемической логики
inferred← citeshttps://doi.org/10.4213/rm10149eopenalex-snapshot
Bitopological models of intuitionistic epistemic logic
inferred← citeshttps://doi.org/10.48550/arxiv.2005.01135openalex-snapshot
Categorical and Algebraic Aspects of the Intuitionistic Modal Logic $\operatorname{IEL}^{-}$ and its predicate extensions
inferred← citeshttps://doi.org/10.61838/kman.jahla.4.2.3openalex-snapshot
Modal operators on BCK-algebras
inferred← citeshttps://doi.org/10.70675/6bc651c8ze78bz45dez9b34z8fe4450cb7acopenalex-snapshot
On the expressiveness of spatial constraint systems
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.