On the public citation graph
Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
0 signed · 88 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.1007/bf01670006openalex-snapshot
Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras
inferredcites →https://doi.org/10.1007/bfb0059541openalex-snapshot
Craig's interpolation theorem for modal logics
inferredcites →https://doi.org/10.1016/b978-0-7204-2233-7.50021-6openalex-snapshot
EXTENSIONS OF RELATIONAL STRUCTURES**This paper, and the address on which it is based, were prepared while the author's work was supported in part by U.S. National Science Foundation Grants G-19673 and GP-1612.
inferredcites →https://doi.org/10.1112/jlms/s1-41.1.572openalex-snapshot
THE MATHEMATICS OF METAMATHEMATICS
inferredcites →https://doi.org/10.1305/ndjfl/1093894006openalex-snapshot
Certain extensions of modal system $S4$.
inferredcites →https://doi.org/10.2307/2963594openalex-snapshot
Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
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.19900360303openalex-snapshot
Modal logics with n‐ary connectives
inferred← citeshttps://doi.org/10.1007/978-3-319-66167-4_18openalex-snapshot
Interpolation, Amalgamation and Combination (The Non-disjoint Signatures Case)
inferred← citeshttps://doi.org/10.1007/978-3-319-69917-2_1openalex-snapshot
Maksimova, Relevance and the Study of Lattices of Non-classical Logics
inferred← citeshttps://doi.org/10.1007/978-3-319-69917-2_13openalex-snapshot
On Algebraisation of Superintuitionistic Predicate Logics
inferred← citeshttps://doi.org/10.1007/978-3-319-69917-2_9openalex-snapshot
Decidability of Some Interpolation Properties for Weakly Transitive Modal 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-94-015-8533-0_6openalex-snapshot
Implicit and Explicit Definability in Modal and Temporal Logics
inferred← citeshttps://doi.org/10.1007/bf00249258openalex-snapshot
Modal tableau calculi and interpolation
inferred← citeshttps://doi.org/10.1007/bf00370203openalex-snapshot
Definability theorems in normal extensions of the probability logic
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/bf00370641openalex-snapshot
Infinitary propositional normal modal logic
inferred← citeshttps://doi.org/10.1007/bf00370682openalex-snapshot
Amalgamation and interpolation in normal modal logics
inferred← citeshttps://doi.org/10.1007/bf00403332openalex-snapshot
Logical matrices and the amalgamation property
inferred← citeshttps://doi.org/10.1007/bf00970916openalex-snapshot
Continuum of normal extensions of the modal logic of provability with the interpolation property
inferred← citeshttps://doi.org/10.1007/bf00971028openalex-snapshot
An analog of Beth's theorem in normal extensions of the modal logic K4
inferred← citeshttps://doi.org/10.1007/bf01268617openalex-snapshot
On the interpolation property of some intuitionistic modal logics
inferred← citeshttps://doi.org/10.1007/bf01669837openalex-snapshot
Interpolation theorems in modal logics. Sufficient conditions
inferred← citeshttps://doi.org/10.1007/bf01979939openalex-snapshot
Undecidable properties of extensions of the logic of provability
inferred← citeshttps://doi.org/10.1007/bf01982206openalex-snapshot
Absence of the interpolation property in the consistent normal modal extensions of the dummett logic
inferred← citeshttps://doi.org/10.1007/bf01982275openalex-snapshot
Interpolation in infinitely layered extensions of provability logic
inferred← citeshttps://doi.org/10.1007/bf02110358openalex-snapshot
Finite groups withf-abnormal orf-subnormal subgroups
inferred← citeshttps://doi.org/10.1007/bf02259848openalex-snapshot
Modal logics and varieties of modal algebras: The beth properties, interpolation, and amalgamation
inferred← citeshttps://doi.org/10.1007/bf02671741openalex-snapshot
Projective beth properties in modal and superintuitionistic logics
inferred← citeshttps://doi.org/10.1007/s001530100120openalex-snapshot
On the Beth properties of some intuitionistic modal logics
inferred← citeshttps://doi.org/10.1007/s10469-007-0007-1openalex-snapshot
Automatic recognition of interpolation in modal calculi
inferred← citeshttps://doi.org/10.1007/s10469-008-0006-xopenalex-snapshot
A weak form of interpolation in equational logic
inferred← citeshttps://doi.org/10.1007/s10469-008-9035-8openalex-snapshot
Weak interpolation in extensions of the logics S 4 and K 4
inferred← citeshttps://doi.org/10.1007/s10469-010-9092-7openalex-snapshot
Simple weakly transitive modal algebras
inferred← citeshttps://doi.org/10.1007/s10469-012-9177-6openalex-snapshot
Interpolation in weakly transitive modal 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-020-09572-1openalex-snapshot
Constructive Classifications of Modal Logics and Extensions of Minimal Logic
inferred← citeshttps://doi.org/10.1007/s10469-024-09742-5openalex-snapshot
Pretabularity and Craig’s Interpolation Property
inferred← citeshttps://doi.org/10.1007/s11202-010-0045-0openalex-snapshot
Interpolation properties in the extensions of the logic of inequality
inferred← citeshttps://doi.org/10.1007/s11225-018-9806-8openalex-snapshot
Sequent Calculi for Global Modal Consequence Relations
inferred← citeshttps://doi.org/10.1016/0168-0072(93)e0084-2openalex-snapshot
An algebraic theory of normal forms
inferred← citeshttps://doi.org/10.1016/j.apal.2018.04.001openalex-snapshot
Modularity results for interpolation, amalgamation and superamalgamation
inferred← citeshttps://doi.org/10.1016/j.apal.2022.103169openalex-snapshot
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras
inferred← citeshttps://doi.org/10.1016/j.entcs.2020.10.002openalex-snapshot
A Note on Constructive Interpolation for the Multi-Modal Logic K
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2013.11.019openalex-snapshot
Amalgamation and interpolation in ordered algebras
inferred← citeshttps://doi.org/10.1016/s0165-0114(02)00565-1openalex-snapshot
Strong amalgamation, Beck–Chevalley for equivalence relations and interpolation in algebraic logic
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80009-7openalex-snapshot
6 Algebras and coalgebras
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80011-5openalex-snapshot
8 Modal consequence relations
inferred← citeshttps://doi.org/10.1017/9781316755785.009openalex-snapshot
Decidable properties of logical calculi and of varieties of algebras
inferred← citeshttps://doi.org/10.1017/9781316755860.008openalex-snapshot
Interpolation in goal-directed proof systems 1
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.006openalex-snapshot
Algebras and General Frames
inferred← citeshttps://doi.org/10.1023/a:1010217022641openalex-snapshot
Algebraic Counterparts for Some Properties of Superintuitionistic Predicate Logics
inferred← citeshttps://doi.org/10.1023/a:1015154431342openalex-snapshot
Interpolation and Definability in Guarded Fragments
inferred← citeshttps://doi.org/10.1023/a:1022628824337openalex-snapshot
Implicit Definability and Positive Logics
inferred← citeshttps://doi.org/10.1023/b:allo.0000035113.06412.22openalex-snapshot
Definability in Normal Extensions of S4
inferred← citeshttps://doi.org/10.1093/logcom/exn084openalex-snapshot
Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
inferred← citeshttps://doi.org/10.1134/s0001434620110048openalex-snapshot
Finite Groups with Formation Subnormal Normalizers of Sylow Subgroups
inferred← citeshttps://doi.org/10.1134/s003744661306013xopenalex-snapshot
Classification of extensions of the modal logic S4
inferred← citeshttps://doi.org/10.1134/s0037446622020070openalex-snapshot
Algorithms for Recognizing Restricted Interpolation over the Modal Logic S4
inferred← citeshttps://doi.org/10.1134/s0081543812070036openalex-snapshot
Amalgamation, interpolation, and implicit definability in varieties of algebras
inferred← citeshttps://doi.org/10.1142/9789812776471_0011openalex-snapshot
From Bisimulation Quantifiers to Classifying Toposes
inferred← citeshttps://doi.org/10.1215/00294527-2020-0026openalex-snapshot
Existentially Closed Closure Algebras
inferred← citeshttps://doi.org/10.13140/rg.2.1.2560.4082openalex-snapshot
Correspondence and Canonicity in Non-Classical Logic
inferred← citeshttps://doi.org/10.18778/0138-0680.2023.09openalex-snapshot
The Modelwise Interpolation Property of Semantic Logics
inferred← citeshttps://doi.org/10.2307/2273909openalex-snapshot
Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics
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.26650/arcp.1679227openalex-snapshot
A Brief Analysis of Interpolation in Universal Algebraic Logic
inferred← citeshttps://doi.org/10.2969/msjmemoirs/00201c060openalex-snapshot
Proof-Theoretic Methods in Nonclassical Logic --an Introduction
inferred← citeshttps://doi.org/10.3166/jancl.16.507-516openalex-snapshot
Automatic checking properties of non-classical logics
inferred← citeshttps://doi.org/10.3390/math10030461openalex-snapshot
Interpolation and Uniform Interpolation in Quantifier-Free Fragments of Combined First-Order Theories
inferred← citeshttps://doi.org/10.48550/arxiv.1807.02868openalex-snapshot
Modal logic of planar polygons
inferred← citeshttps://doi.org/10.54310/elpis.2022.1.8openalex-snapshot
Megjegyzések a lokális Craig interpolációhoz
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.