On the public citation graph
A lattice of normal modal logics
0 signed · 91 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.1002/malq.19590051405openalex-snapshot
Modal Logics Between S 4 and S 5
inferredcites →https://doi.org/10.1007/bf02330744openalex-snapshot
Pretabular superintuitionist logic
inferredcites →https://doi.org/10.1017/s0027763000011715openalex-snapshot
A Remark on the Intersection of Tow Logics
inferredcites →https://doi.org/10.1090/s0002-9904-1944-08235-9openalex-snapshot
Subdirect unions in universal algebra
inferredcites →https://doi.org/10.15083/00039872openalex-snapshot
On the axiomatic method and the algebraic method for dealing with propositional logics
inferredcites →https://doi.org/10.2307/2268135openalex-snapshot
Some theorems about the sentential calculi of Lewis and Heyting
inferredcites →https://doi.org/10.2307/2268175openalex-snapshot
Note on a property of matrices for Lewis and Langford's calculi of propositions
inferredcites →https://doi.org/10.4064/fm-60-3-223-231openalex-snapshot
Some relational systems and the associated topological spaces
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.202100046openalex-snapshot
The algebraic significance of weak excluded middle laws
inferred← citeshttps://doi.org/10.1007/978-1-4613-0609-2_19openalex-snapshot
Normal Modal Logics in Which the Heyting Propositional Calculus can be Embedded
inferred← citeshttps://doi.org/10.1007/978-3-030-12096-2_2openalex-snapshot
Heyting Algebras and Closure Algebras
inferred← citeshttps://doi.org/10.1007/978-3-031-06843-0_7openalex-snapshot
The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond
inferred← citeshttps://doi.org/10.1007/978-3-319-29300-4_5openalex-snapshot
LC and Its Pretabular Relatives
inferred← citeshttps://doi.org/10.1007/978-3-319-69917-2_10openalex-snapshot
Lattice NExtS4 from the Embedding Theorem Viewpoint
inferred← citeshttps://doi.org/10.1007/978-3-319-69917-2_4openalex-snapshot
A Note on Strictly Positive Logics and Word Rewriting Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-69917-2_5openalex-snapshot
Characteristic Formulas Over Intermediate Logics
inferred← citeshttps://doi.org/10.1007/978-3-540-45220-1_32openalex-snapshot
Complexity of Some Problems in Modal and Intuitionistic Calculi
inferred← citeshttps://doi.org/10.1007/978-3-540-89982-2_9openalex-snapshot
Sixty Years of Stable Models
inferred← citeshttps://doi.org/10.1007/978-94-015-8879-9_8openalex-snapshot
Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline
inferred← citeshttps://doi.org/10.1007/978-94-017-2109-7_17openalex-snapshot
Intuitionistic Modal Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-8860-1_5openalex-snapshot
On the Blok-Esakia Theorem
inferred← citeshttps://doi.org/10.1007/bf00370182openalex-snapshot
The disjunction property of intermediate propositional logics
inferred← citeshttps://doi.org/10.1007/bf00370331openalex-snapshot
Modal companions of intermediate propositional logics
inferred← citeshttps://doi.org/10.1007/bf00370479openalex-snapshot
Interpolation properties of superintuitionistic logics
inferred← citeshttps://doi.org/10.1007/bf00370684openalex-snapshot
Algebraization of quantifier logics, an introductory overview
inferred← citeshttps://doi.org/10.1007/bf00970634openalex-snapshot
Magari and Δ-pseudo-Boolean algebras
inferred← citeshttps://doi.org/10.1007/bf01053034openalex-snapshot
On variable separation in modal and superintuitionistic logics
inferred← citeshttps://doi.org/10.1007/bf01054709openalex-snapshot
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
inferred← citeshttps://doi.org/10.1007/bf01157678openalex-snapshot
Elementary theories of free topo-Boolean and pseudo-Boolean algebras
inferred← citeshttps://doi.org/10.1007/bf01669113openalex-snapshot
Admissible rules for pretable modal logics
inferred← citeshttps://doi.org/10.1007/bf01669284openalex-snapshot
Noncompact extensions of the logicS4
inferred← citeshttps://doi.org/10.1007/bf01669837openalex-snapshot
Interpolation theorems in modal logics. Sufficient conditions
inferred← citeshttps://doi.org/10.1007/bf01673502openalex-snapshot
Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
inferred← citeshttps://doi.org/10.1007/bf01877236openalex-snapshot
Hereditarily finitely axiomatizable extensions of logic S4
inferred← citeshttps://doi.org/10.1007/bf01978706openalex-snapshot
Bases of admissible rules of the logics S4 and Int
inferred← citeshttps://doi.org/10.1007/bf01979701openalex-snapshot
Decidability of the admissibility problem in layer-finite logics
inferred← citeshttps://doi.org/10.1007/bf01979870openalex-snapshot
Varieties of algebraic systems and propositional calculuses
inferred← citeshttps://doi.org/10.1007/bf01980629openalex-snapshot
Nontabularity of the logic S4 with respect to functional completeness
inferred← citeshttps://doi.org/10.1007/bf01980737openalex-snapshot
Syntax and semantics of modal logics containing S4
inferred← citeshttps://doi.org/10.1007/bf01980756openalex-snapshot
Bases of quasiidentities of finite modal algebras
inferred← citeshttps://doi.org/10.1007/bf01982017openalex-snapshot
Syntax and semantics of superintutionistic logics
inferred← citeshttps://doi.org/10.1007/bf02671741openalex-snapshot
Projective beth properties in modal and superintuitionistic logics
inferred← citeshttps://doi.org/10.1007/bf02672476openalex-snapshot
The relation between intuitionistic and classical modal logics
inferred← citeshttps://doi.org/10.1007/s10469-009-9042-4openalex-snapshot
Restricted interpolation property in superintuitionistic logics
inferred← citeshttps://doi.org/10.1007/s10469-013-9244-7openalex-snapshot
Restricted interpolation over modal logic S4
inferred← citeshttps://doi.org/10.1007/s10469-023-09712-3openalex-snapshot
Normal Companions of Intuitionistic Modal Logics
inferred← citeshttps://doi.org/10.1007/s11225-006-8296-2openalex-snapshot
Willem Blok and Modal Logic
inferred← citeshttps://doi.org/10.1007/s11225-006-8309-1openalex-snapshot
Projective Beth Property in Extensions of Grzegorczyk Logic
inferred← citeshttps://doi.org/10.1007/s11225-012-9391-1openalex-snapshot
Not Every Splitting Heyting or Interior Algebra is Finitely Presentable
inferred← citeshttps://doi.org/10.1007/s11225-014-9558-zopenalex-snapshot
From Interior Algebras to Unital ℓ-Groups: A Unifying Treatment of Modal Residuated Lattices
inferred← citeshttps://doi.org/10.1007/s11225-022-10012-7openalex-snapshot
Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality
inferred← citeshttps://doi.org/10.1007/s11787-017-0165-4openalex-snapshot
Interconnection of the Lattices of Extensions of Four Logics
inferred← citeshttps://doi.org/10.1016/j.apal.2024.103527openalex-snapshot
Failure of the Blok–Esakia Theorem in the monadic setting
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80010-3openalex-snapshot
7 Modal decision problems
inferred← citeshttps://doi.org/10.1017/jsl.2018.47openalex-snapshot
A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES
inferred← citeshttps://doi.org/10.1017/jsl.2023.7openalex-snapshot
INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS
inferred← citeshttps://doi.org/10.1017/jsl.2025.10126openalex-snapshot
BLOK–ESAKIA THEOREMS VIA STABLE CANONICAL RULES
inferred← citeshttps://doi.org/10.1017/s1755020319000236openalex-snapshot
VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
inferred← citeshttps://doi.org/10.1023/a:1005084328298openalex-snapshot
The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable
inferred← citeshttps://doi.org/10.1023/a:1008237600846openalex-snapshot
Speaking about Transitive Frames in Propositional Languages
inferred← citeshttps://doi.org/10.1023/a:1024768003426openalex-snapshot
A Criterion for Admissibility of Inference Rules in Some Class of S4-Logics Without the Branching Property
inferred← citeshttps://doi.org/10.1070/im1987v028n03abeh000902openalex-snapshot
DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM Grz AND IN INTUITIONISTIC LOGIC
inferred← citeshttps://doi.org/10.1070/sm1987v056n02abeh003038openalex-snapshot
BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM $ \mathrm{Grz}$ AND OF INTUITIONISTIC LOGIC
inferred← citeshttps://doi.org/10.1070/sm1991v068n01abeh002104openalex-snapshot
MODAL COMPANIONS OF SUPERINTUITIONISTIC LOGICS: SYNTAX, SEMANTICS, AND PRESERVATION THEOREMS
inferred← citeshttps://doi.org/10.1080/11663081.2018.1547515openalex-snapshot
Lattice logic as a fragment of (2-sorted) residuated modal logic
inferred← citeshttps://doi.org/10.1080/11663081.2019.1703469openalex-snapshot
Modal translation of substructural logics
inferred← citeshttps://doi.org/10.1109/lics52264.2021.9470508openalex-snapshot
Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication
inferred← citeshttps://doi.org/10.1134/s0001434625030034openalex-snapshot
Modal Companions for the Special Extensions of Nelson’s Constructive Logic
inferred← citeshttps://doi.org/10.1134/s0037446622020070openalex-snapshot
Algorithms for Recognizing Restricted Interpolation over the Modal Logic S4
inferred← citeshttps://doi.org/10.1215/00294527-2010-031openalex-snapshot
Metalogic of Intuitionistic Propositional Calculus
inferred← citeshttps://doi.org/10.12775/llp.2008.004openalex-snapshot
The contribution of A.V. Kuznetsov to the theory of modal systems and structures
inferred← citeshttps://doi.org/10.1305/ndjfl/1168352665openalex-snapshot
The Embedding Theorem: Its Further Developments and Consequences. Part 1
inferred← citeshttps://doi.org/10.18778/0138-0680.47.2.05openalex-snapshot
Grzegorczyk Algebras Revisited
inferred← citeshttps://doi.org/10.2307/2275108openalex-snapshot
The undecidability of the disjunction property of propositional logics and other related problems
inferred← citeshttps://doi.org/10.2307/2275521openalex-snapshot
Hereditarily structurally complete modal logics
inferred← citeshttps://doi.org/10.2307/2275669openalex-snapshot
Canonical formulas for K4. Part II: Cofinal subframe logics
inferred← citeshttps://doi.org/10.4064/-46-1-159-168openalex-snapshot
Interrelation of algebraic, semantical and logical properties for superintuitionistic and 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.