On the public citation graph

Duality between modal algebras and neighbourhood frames

0 signed · 53 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/978-1-4612-6321-0_38openalex-snapshot

Categories and Functors

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

A duality for Boolean algebras with operators

inferredcites →https://doi.org/10.1017/cbo9780511621192openalex-snapshot

Modal Logic

inferredcites →https://doi.org/10.1017/s0004972700041186openalex-snapshot

Metamathematics of modal logic

inferredcites →https://doi.org/10.1090/memo/0130openalex-snapshot

Compact zero-dimensional metric spaces of finite type

inferredcites →https://doi.org/10.1090/s0002-9939-1975-0357269-7openalex-snapshot

Structure Diagrams for Primitive Boolean Algebras

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

Categories of frames for modal logic

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

Boolean Algebras with Operators. Part I

inferredcites →https://doi.org/10.4467/20842589rmopenalex-snapshot

Reports on Mathematical Logic

inferredcites →https://doi.org/10.5282/ubm/epub.7244openalex-snapshot

Categories and Functors

What points at this work

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

inferred← citeshttps://doi.org/10.1002/malq.202100018openalex-snapshot

An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics

inferred← citeshttps://doi.org/10.1007/978-3-030-53654-1_2openalex-snapshot

Binary Modal Companions for Subintuitionistic Logics

inferred← citeshttps://doi.org/10.1007/978-3-031-62687-6_15openalex-snapshot

Modal Hyperdoctrine: Higher-Order and Non-normal Extensions

inferred← citeshttps://doi.org/10.1007/978-3-319-67149-9openalex-snapshot

Neighborhood Semantics for Modal Logic

inferred← citeshttps://doi.org/10.1007/978-3-540-73859-6_19openalex-snapshot

Bisimulation for Neighbourhood Structures

inferred← citeshttps://doi.org/10.1007/978-3-540-78499-9_6openalex-snapshot

Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics

inferred← citeshttps://doi.org/10.1007/978-3-642-22944-2_12openalex-snapshot

On the Fusion of Coalgebraic Logics

inferred← citeshttps://doi.org/10.1007/978-3-642-33353-8_4openalex-snapshot

Knowledge Means ‘All’, Belief Means ‘Most’

inferred← citeshttps://doi.org/10.1007/978-94-017-0454-0_2openalex-snapshot

Advanced Modal Logic

inferred← citeshttps://doi.org/10.1007/s00012-008-2062-4openalex-snapshot

Stability of the Blok Theorem

inferred← citeshttps://doi.org/10.1007/s00012-021-00724-7openalex-snapshot

Duality for $$\kappa $$-additive complete atomic modal algebras

inferred← citeshttps://doi.org/10.1007/s00153-025-00979-0openalex-snapshot

Algebraic semantics for weak subintuitionistic logic WF

inferred← citeshttps://doi.org/10.1007/s00500-016-2391-8openalex-snapshot

Subminimal negation

inferred← citeshttps://doi.org/10.1007/s11083-008-9106-4openalex-snapshot

Topological Duality for Boolean Algebras with a Normal n-ary Monotonic Operator

inferred← citeshttps://doi.org/10.1007/s11225-020-09911-4openalex-snapshot

Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics

inferred← citeshttps://doi.org/10.1016/j.entcs.2006.11.027openalex-snapshot

Topological Perspective on the Hybrid Proof Rules

inferred← citeshttps://doi.org/10.1016/j.indag.2018.01.013openalex-snapshot

Subintuitionistic logics and the implications they prove

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/s1874-5857(06)80027-0openalex-snapshot

Mathematical modal logic: A view of its evolution

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

Propositional Quantifiers

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

THOMASON DUALITY FOR INSTANTIAL NEIGHBOURHOOD FRAMES

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

COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS

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

CARNAP’S PROBLEM FOR MODAL LOGIC

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

THE ALGEBRAS OF LEWIS’S COUNTERFACTUALS: DUALITY THEORY

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

MAXIMAL NEIGHBORHOOD UNSOUND CONGRUENTIAL MODAL LOGICS

inferred← citeshttps://doi.org/10.1023/a:1004201429142openalex-snapshot

Canonicity for Intensional Logics Without Iterative Axioms

inferred← citeshttps://doi.org/10.1023/a:1004982417404openalex-snapshot

Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics

inferred← citeshttps://doi.org/10.1023/b:stud.0000032102.67838.f2openalex-snapshot

Modal Incompleteness Revisited

inferred← citeshttps://doi.org/10.1080/11663081.2016.1214804openalex-snapshot

Knowledge means ‘all’, belief means ‘most’

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

Weak subintuitionistic logics

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

Basic modal congruent and monotonic multilattice logics

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

Neighbourhood and algebraic models for predicate modal logics with ω-rules

inferred← citeshttps://doi.org/10.1305/ndjfl/1082637806openalex-snapshot

General Frames for Relevant Modal Logics

inferred← citeshttps://doi.org/10.1613/jair.919openalex-snapshot

Fusions of Description Logics and Abstract Description Systems

inferred← citeshttps://doi.org/10.2168/lmcs-5(2:2)2009openalex-snapshot

Neighbourhood Structures: Bisimilarity and Basic Model Theory

inferred← citeshttps://doi.org/10.2307/2586754openalex-snapshot

Normal monomodal logics can simulate all others

inferred← citeshttps://doi.org/10.2307/2695098openalex-snapshot

Canonicity for Intensional Logics with Even Axioms

inferred← citeshttps://doi.org/10.26686/ajl.v22i2.5680openalex-snapshot

Possibility Frames and Forcing for Modal Logic

inferred← citeshttps://doi.org/10.3233/fi-2010-264openalex-snapshot

Structures with Multirelations, their Discrete Dualities and Applications

inferred← citeshttps://doi.org/10.3233/fi-2011-387openalex-snapshot

Dualities for Algebras of Fitting's Many-Valued Modal Logics

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

A Coalgebraic Approach to Dualities for Neighborhood Frames

inferred← citeshttps://doi.org/10.46298/lmcs-20(3:6)2024openalex-snapshot

Many-valued coalgebraic logic over semi-primal varieties

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

Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics

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.