On the public citation graph
Amalgamation and interpolation in normal modal logics
0 signed · 85 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.19630090502openalex-snapshot
Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
inferredcites →https://doi.org/10.1002/malq.19660120131openalex-snapshot
On Some Completeness Theorems in Modal Logic
inferredcites →https://doi.org/10.1007/bf00249258openalex-snapshot
Modal tableau calculi and interpolation
inferredcites →https://doi.org/10.1007/bf00370315openalex-snapshot
Pretabular varieties of modal algebras
inferredcites →https://doi.org/10.1007/bf00403332openalex-snapshot
Logical matrices and the amalgamation property
inferredcites →https://doi.org/10.1007/bf01669837openalex-snapshot
Interpolation theorems in modal logics. Sufficient conditions
inferredcites →https://doi.org/10.1007/bf01673502openalex-snapshot
Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
inferredcites →https://doi.org/10.1007/bf01982206openalex-snapshot
Absence of the interpolation property in the consistent normal modal extensions of the dummett logic
inferredcites →https://doi.org/10.1007/bf01982275openalex-snapshot
Interpolation in infinitely layered extensions of provability logic
inferredcites →https://doi.org/10.1007/bf02485230openalex-snapshot
Amalgamation properties and interpolation theorems for equational theories
inferredcites →https://doi.org/10.1007/bf02944991openalex-snapshot
Amalgamation, congruence-extension, and interpolation properties in algebras
inferredcites →https://doi.org/10.1007/bfb0059541openalex-snapshot
Craig's interpolation theorem for modal logics
inferredcites →https://doi.org/10.1016/s0049-237x(08)72008-1openalex-snapshot
Beth's Theorem and Self-Referential Sentences
inferredcites →https://doi.org/10.1111/j.1755-2567.1978.tb00831.xopenalex-snapshot
Arithmetical necessity, provability and intuitionistic logic
inferredcites →https://doi.org/10.1111/j.1755-2567.1980.tb00686.xopenalex-snapshot
On systems of modal logic with provability interpretations
inferredcites →https://doi.org/10.2307/2269810openalex-snapshot
Algebraic semantics for modal logics II
inferredcites →https://doi.org/10.2307/2270619openalex-snapshot
Algebraic semantics for modal logics I
inferredcites →https://doi.org/10.2307/2273727openalex-snapshot
Failures of the interpolation lemma in quantified modal logic
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.200810040openalex-snapshot
The class of polyadic algebras has the super amalgamation property
inferred← citeshttps://doi.org/10.1002/malq.70026openalex-snapshot
A Common External Framework for Kleene and McCarthy Algebras
inferred← citeshttps://doi.org/10.1007/3-540-44622-2_33openalex-snapshot
From Programs to Games: Invariance and Safety for Bisimulation
inferred← citeshttps://doi.org/10.1007/3-540-45757-7_30openalex-snapshot
Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem
inferred← citeshttps://doi.org/10.1007/3-540-49253-4_13openalex-snapshot
Interpolation in Modal Logic
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-642-35025-2_5openalex-snapshot
Amalgamation, Interpolation and Epimorphisms in Algebraic Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-0487-8_26openalex-snapshot
Mathematical Logic in the Former Soviet Union: Brief History and Current Trends
inferred← citeshttps://doi.org/10.1007/bf02671609openalex-snapshot
Interpolation in superintuitionistic predicate logics with equality
inferred← citeshttps://doi.org/10.1007/s00012-004-1807-yopenalex-snapshot
On amalgamation of reducts of polyadic algebras
inferred← citeshttps://doi.org/10.1007/s00012-010-0062-7openalex-snapshot
Some results about neat reducts
inferred← citeshttps://doi.org/10.1007/s00153-020-00713-yopenalex-snapshot
Uniform Lyndon interpolation property in propositional modal logics
inferred← citeshttps://doi.org/10.1007/s00153-024-00945-2openalex-snapshot
Bounded distributive lattices with strict implication and weak difference
inferred← citeshttps://doi.org/10.1007/s11225-006-7203-1openalex-snapshot
Definability and Interpolation in Non-Classical Logics
inferred← citeshttps://doi.org/10.1007/s11225-024-10167-5openalex-snapshot
Interpolation Properties for the Bimodal Provability Logic $$\textbf{GR}$$
inferred← citeshttps://doi.org/10.1007/s11229-013-0344-7openalex-snapshot
Neat embeddings as adjoint situations
inferred← citeshttps://doi.org/10.1016/j.apal.2018.08.007openalex-snapshot
Multicomponent proof-theoretic method for proving interpolation properties
inferred← citeshttps://doi.org/10.1016/j.apal.2024.103509openalex-snapshot
Universal proof theory: Semi-analytic rules and Craig interpolation
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.05.027openalex-snapshot
Admissibility of Cut in Coalgebraic Logics
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.ic.2009.11.008openalex-snapshot
Cut elimination in coalgebraic logics
inferred← citeshttps://doi.org/10.1016/j.joems.2011.08.002openalex-snapshot
New perspectives in algebraic logic, from neat embeddings to Erdos graphs
inferred← citeshttps://doi.org/10.1017/jsl.2021.7openalex-snapshot
TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
inferred← citeshttps://doi.org/10.1017/jsl.2025.10091openalex-snapshot
LYNDON INTERPOLATION PROPERTY FOR EXTENSIONS OF $\mathbf {S4}$ AND INTERMEDIATE PROPOSITIONAL LOGICS
inferred← citeshttps://doi.org/10.1023/a:1005064504044openalex-snapshot
Interpolation and Amalgamation; Pushing the Limits. Part I
inferred← citeshttps://doi.org/10.1023/a:1013834410884openalex-snapshot
Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5
inferred← citeshttps://doi.org/10.1080/11663081.1998.10510933openalex-snapshot
Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
inferred← citeshttps://doi.org/10.1080/11663081.2015.1067037openalex-snapshot
Varying interpolation and amalgamation in polyadic MV-algebras
inferred← citeshttps://doi.org/10.1093/jigpal/jzac076openalex-snapshot
Amalgamation and Robinson property in universal algebraic logic
inferred← citeshttps://doi.org/10.1093/jigpal/jzl014openalex-snapshot
Some Results on Amalgamation in Algebraic Logic
inferred← citeshttps://doi.org/10.1093/jigpal/jzl031openalex-snapshot
On Neat Reducts and Amalgamation
inferred← citeshttps://doi.org/10.1093/jigpal/jzp012openalex-snapshot
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts
inferred← citeshttps://doi.org/10.1093/jigpal/jzp013openalex-snapshot
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation
inferred← citeshttps://doi.org/10.1093/jigpal/jzq048openalex-snapshot
Three interpolation theorems for typeless logics
inferred← citeshttps://doi.org/10.1305/ndjfl/1054837934openalex-snapshot
The Fixed Point Property in Modal Logic
inferred← citeshttps://doi.org/10.1305/ndjfl/1091030854openalex-snapshot
Neat Embeddings, Omitting Types, and Interpolation: An Overview
inferred← citeshttps://doi.org/10.1556/sscmath.48.2011.4.1190openalex-snapshot
Representability and amalgamation for Heyting polyadic algebras
inferred← citeshttps://doi.org/10.18778/0138-0680.2023.09openalex-snapshot
The Modelwise Interpolation Property of Semantic Logics
inferred← citeshttps://doi.org/10.18778/0138-0680.45.3.4.03openalex-snapshot
Interpolation in Normal Extensions of the Brouwer Logic
inferred← citeshttps://doi.org/10.18778/0138-0680.47.1.04openalex-snapshot
Algebraic Characterization of the Local Craig Interpolation Property
inferred← citeshttps://doi.org/10.2178/bsl/1130335206openalex-snapshot
Algebraic Logic, Where Does it Stand Today?
inferred← citeshttps://doi.org/10.2178/jsl/1052669059openalex-snapshot
Constructive interpolation in hybrid logic
inferred← citeshttps://doi.org/10.2307/2695090openalex-snapshot
Hybrid logics: characterization, interpolation and complexity
inferred← citeshttps://doi.org/10.26650/arcp.1679227openalex-snapshot
A Brief Analysis of Interpolation in Universal Algebraic Logic
inferred← citeshttps://doi.org/10.2989/16073606.2019.1605628openalex-snapshot
Interpolation and amalgamation in modal cylindric algebras
inferred← citeshttps://doi.org/10.3166/jancl.15.465-489openalex-snapshot
Omitting types for algebraizable extensions of first order logic
inferred← citeshttps://doi.org/10.4064/-46-1-159-168openalex-snapshot
Interrelation of algebraic, semantical and logical properties for superintuitionistic and modal logics
inferred← citeshttps://doi.org/10.48550/arxiv.1302.1368openalex-snapshot
On the finitizability problem in algebraic logic; recent results
inferred← citeshttps://doi.org/10.48550/arxiv.1303.7386openalex-snapshot
What is the spirit of the cylindric paradigm, as opposed to that of the polyadic one?
inferred← citeshttps://doi.org/10.48550/arxiv.1304.0619openalex-snapshot
On complete representability of Pinter's algebras and related structures
inferred← citeshttps://doi.org/10.48550/arxiv.1304.0707openalex-snapshot
The superamalgamation property for reducts of Heyting polyadic algebras with and without equality
inferred← citeshttps://doi.org/10.48550/arxiv.1304.0712openalex-snapshot
Characterizing amalgmation bases for relation, cylindric and polyadic algebras
inferred← citeshttps://doi.org/10.48550/arxiv.1304.0714openalex-snapshot
Neat embeddings as adjoint situations
inferred← citeshttps://doi.org/10.48550/arxiv.1304.0760openalex-snapshot
Interpolation in many valued predicate logics using algebraic logic
inferred← citeshttps://doi.org/10.48550/arxiv.1304.0958openalex-snapshot
Representation theorems in modal logic using algebraic logic
inferred← citeshttps://doi.org/10.48550/arxiv.1304.1538openalex-snapshot
Completeness and interpolation for intuitionistic infinitary predicate logic, in connection to finitizing the class of representable Heyting polyadic algebras
inferred← citeshttps://doi.org/10.48550/arxiv.1401.1156openalex-snapshot
Algebraisable versions of predicate topological logic
inferred← citeshttps://doi.org/10.48550/arxiv.1402.5867openalex-snapshot
Amalgamation, interpolation and congruence extension properties in topological cylindric algebras
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.