On the public citation graph

Modal compact Hausdorff spaces

0 signed · 54 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.1002/mana.19700460105openalex-snapshot

Completions of B OOLEAN Algebras with operators

inferredcites →https://doi.org/10.1007/978-1-4612-9839-7openalex-snapshot

Categories for the Working Mathematician

inferredcites →https://doi.org/10.1007/978-3-540-77664-2_18openalex-snapshot

Completions of Ordered Algebraic Structures: A Survey

inferredcites →https://doi.org/10.1007/978-3-642-61705-8_11openalex-snapshot

On normed rings

inferredcites →https://doi.org/10.1007/s00012-007-2033-1openalex-snapshot

MacNeille completions of lattice expansions

inferredcites →https://doi.org/10.1007/s00012-012-0196-xopenalex-snapshot

Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators

inferredcites →https://doi.org/10.1007/s000120050100openalex-snapshot

The preservation of Sahlqvist equations in completions of Boolean algebras with operators

inferredcites →https://doi.org/10.1007/s10485-011-9252-5openalex-snapshot

De Vries Algebras and Compact Regular Frames

inferredcites →https://doi.org/10.1016/0022-4049(84)90001-xopenalex-snapshot

Stone-Čech compactification of locales II

inferredcites →https://doi.org/10.1016/j.apal.2004.04.007openalex-snapshot

A Sahlqvist theorem for distributive modal logic

inferredcites →https://doi.org/10.1016/j.apal.2005.10.005openalex-snapshot

Elementary canonical formulae: extending Sahlqvist’s theorem

inferredcites →https://doi.org/10.1016/j.apal.2009.07.009openalex-snapshot

On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations

inferredcites →https://doi.org/10.1016/j.tcs.2004.01.027openalex-snapshot

On the relationship between compact regularity and Gentzen's cut rule

inferredcites →https://doi.org/10.1016/j.tcs.2004.01.030openalex-snapshot

Semantics and logic of object calculi

inferredcites →https://doi.org/10.1016/j.tcs.2004.07.023openalex-snapshot

Stone coalgebras

inferredcites →https://doi.org/10.1016/j.tcs.2011.11.026openalex-snapshot

Sahlqvist theorem for modal fixed point logic

inferredcites →https://doi.org/10.1016/j.topol.2010.01.007openalex-snapshot

Stone duality and Gleason covers through de Vries duality

inferredcites →https://doi.org/10.1016/s0049-237x(99)x8001-3openalex-snapshot

Tools and Techniques in Modal Logic

inferredcites →https://doi.org/10.1016/s1570-2464(07)80009-7openalex-snapshot

6 Algebras and coalgebras

inferredcites →https://doi.org/10.1017/cbo9780511662164.003openalex-snapshot

AN ALGEBRAIC APPROACH

inferredcites →https://doi.org/10.1051/ita:1999123openalex-snapshot

Topologies, Continuity and Bisimulations

inferredcites →https://doi.org/10.1073/pnas.26.4.280openalex-snapshot

A General Theory of Spectra. I

inferredcites →https://doi.org/10.1073/pnas.27.1.83openalex-snapshot

A General Theory of Spectra

inferredcites →https://doi.org/10.1090/s0002-9939-1974-0355970-1openalex-snapshot

On Compact ∗ Spaces and Compactifications

inferredcites →https://doi.org/10.1090/s0002-9947-05-03816-xopenalex-snapshot

MacNeille completions and canonical extensions

inferredcites →https://doi.org/10.1093/jigpal/7.6.683openalex-snapshot

Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic

inferredcites →https://doi.org/10.1111/j.1749-6632.1996.tb49171.xopenalex-snapshot

On the Duality of Compact vs. Open

inferredcites →https://doi.org/10.1142/9789812776471_0006openalex-snapshot

Bimodal Logics for Reasoning About Continuous Dynamics

inferredcites →https://doi.org/10.2307/1968778openalex-snapshot

Concrete Representation of Abstract (M)-Spaces (A characterization of the Space of Continuous Functions)

inferredcites →https://doi.org/10.3792/pia/1195573861openalex-snapshot

On the representation of the vector lattice

inferredcites →https://doi.org/10.3792/pia/1195579206openalex-snapshot

Weak topology, bicompact set and the principle of duality

inferredcites →https://doi.org/10.7146/math.scand.a-11409openalex-snapshot

Atomless Parts of Spaces.

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-3-662-55386-2_28openalex-snapshot

Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces

inferred← citeshttps://doi.org/10.1007/978-94-017-8860-1_6openalex-snapshot

Modal Logic and the Vietoris Functor

inferred← citeshttps://doi.org/10.1007/s00012-025-00890-yopenalex-snapshot

On the structure of modal and tense operators on a boolean algebra

inferred← citeshttps://doi.org/10.1007/s10485-013-9332-9openalex-snapshot

Modal Operators on Compact Regular Frames and de Vries Algebras

inferred← citeshttps://doi.org/10.1007/s10485-016-9434-2openalex-snapshot

Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality

inferred← citeshttps://doi.org/10.1007/s10485-019-09573-xopenalex-snapshot

Compact Hausdorff Spaces with Relations and Gleason Spaces

inferred← citeshttps://doi.org/10.1007/s11083-021-09580-5openalex-snapshot

Subordinations on Bounded Distributive Lattices

inferred← citeshttps://doi.org/10.1016/j.apal.2021.103029openalex-snapshot

The Vietoris functor and modal operators on rings of continuous functions

inferred← citeshttps://doi.org/10.1017/jsl.2021.83openalex-snapshot

MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS

inferred← citeshttps://doi.org/10.1017/jsl.2024.14openalex-snapshot

DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY

inferred← citeshttps://doi.org/10.1017/s0960129518000269openalex-snapshot

Limits in categories of Vietoris coalgebras

inferred← citeshttps://doi.org/10.1093/jigpal/jzad003openalex-snapshot

Correspondence and canonicity theory of quasi-inequalities andΠ2-statements in modal subordination algebras

inferred← citeshttps://doi.org/10.1093/logcom/exae086openalex-snapshot

A calculus for modal compact Hausdorff spaces

inferred← citeshttps://doi.org/10.1093/logcom/exv010openalex-snapshot

Sahlqvist preservation for topological fixed-point logic

inferred← citeshttps://doi.org/10.1093/logcom/exy001openalex-snapshot

Bisimulations for coalgebras on Stone spaces

inferred← citeshttps://doi.org/10.1111/theo.12085openalex-snapshot

Are Acts of Supererogation Always Praiseworthy?

inferred← citeshttps://doi.org/10.13140/rg.2.1.2560.4082openalex-snapshot

Correspondence and Canonicity in Non-Classical Logic

inferred← citeshttps://doi.org/10.4204/eptcs.226.4openalex-snapshot

Games for Topological Fixpoint Logic

inferred← citeshttps://doi.org/10.46298/lmcs-18(4:10)2022openalex-snapshot

Coalgebraic Geometric Logic: Basic Theory

inferred← citeshttps://doi.org/10.46298/lmcs-8(2019:2)2022openalex-snapshot

Coalgebraic Geometric Logic: Basic Theory

inferred← citeshttps://doi.org/10.48550/arxiv.2004.14919openalex-snapshot

Subordination algebras in modal logic

inferred← citeshttps://doi.org/10.70675/bae6e60bz6d6ez4e30z81e4z3dfa94433bfcopenalex-snapshot

On the compositionality of monads via weak distributive laws

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.