On the public citation graph
Cylindric modal logic
0 signed · 77 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/978-94-009-6259-0openalex-snapshot
Handbook of Philosophical Logic
inferredcites →https://doi.org/10.1007/978-94-009-8384-7openalex-snapshot
Aspects of Philosophical Logic
inferredcites →https://doi.org/10.1007/978-94-009-8384-7_3openalex-snapshot
An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames
inferredcites →https://doi.org/10.1007/978-94-017-0462-5openalex-snapshot
Handbook of Philosophical Logic
inferredcites →https://doi.org/10.1007/bf00370684openalex-snapshot
Algebraization of quantifier logics, an introductory overview
inferredcites →https://doi.org/10.1007/bf02483830openalex-snapshot
Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent
inferredcites →https://doi.org/10.1007/bf02485226openalex-snapshot
A simple, purely algebraic proof of the completeness of some first order logics
inferredcites →https://doi.org/10.1007/bf02944991openalex-snapshot
Amalgamation, congruence-extension, and interpolation properties in algebras
inferredcites →https://doi.org/10.1007/bfb0043074openalex-snapshot
Algebraic Logic and Universal Algebra in Computer Science
inferredcites →https://doi.org/10.1007/bfb0043086openalex-snapshot
Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic
inferredcites →https://doi.org/10.1016/0168-0072(87)90019-4openalex-snapshot
On varieties of cylindric algebras with applications to logic
inferredcites →https://doi.org/10.1016/0168-0072(89)90032-8openalex-snapshot
Varieties of complex algebras
inferredcites →https://doi.org/10.1016/0890-5401(89)90055-2openalex-snapshot
Definability with bounded number of bound variables
inferredcites →https://doi.org/10.1016/s0049-237x(08)70728-6openalex-snapshot
Completeness and Correspondence in the First and Second Order Semantics for Modal Logic
inferredcites →https://doi.org/10.1090/coll/041openalex-snapshot
A Formalization of Set Theory without Variables
inferredcites →https://doi.org/10.1090/s0002-9939-1971-0276063-5openalex-snapshot
Provability with Finitely Many Variables
inferredcites →https://doi.org/10.1093/jigpal/2.1.31openalex-snapshot
A Modal Logic for Quantification and Substitution
inferredcites →https://doi.org/10.2307/2270900openalex-snapshot
Nonfinitizability of classes of representable cylindric algebras
inferredcites →https://doi.org/10.2307/2274756openalex-snapshot
Nonfinite axiomatizability results for cylindric and relation algebras
inferredcites →https://doi.org/10.2307/2274758openalex-snapshot
A new proof of Sahlqvist's theorem on modal definability and completeness
inferredcites →https://doi.org/10.2307/2275434openalex-snapshot
Non-finite-axiomatizability results in algebraic logic
inferredcites →https://doi.org/10.4064/-28-1-95-116openalex-snapshot
What the finitization problem is not
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.201010015openalex-snapshot
On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras
inferred← citeshttps://doi.org/10.1007/11965893_10openalex-snapshot
Axiomatizing the Logical Core of XPath 2.0
inferred← citeshttps://doi.org/10.1007/3-540-68804-8_7openalex-snapshot
Local Variations on a Loose Theme: Modal Logic and Decidability
inferred← citeshttps://doi.org/10.1007/978-3-030-94452-0_34openalex-snapshot
A Categorical Aspect of the Analogy Between Quantifiers and Modalities
inferred← citeshttps://doi.org/10.1007/978-3-642-00431-5_11openalex-snapshot
Model Checking Strategic Equilibria
inferred← citeshttps://doi.org/10.1007/978-3-642-35025-2_13openalex-snapshot
Crs and Guarded Logics: A Fruitful Contact
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-1280-4_12openalex-snapshot
Predicate Logics on Display
inferred← citeshttps://doi.org/10.1007/978-94-017-2109-7_14openalex-snapshot
On Predicate Logic as Modal Logic
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-004-1856-2openalex-snapshot
Varieties of two-dimensional cylindric algebras II
inferred← citeshttps://doi.org/10.1007/s000120050144openalex-snapshot
Amalgamation in finite dimensional cylindric algebras
inferred← citeshttps://doi.org/10.1007/s00224-008-9151-9openalex-snapshot
Axiomatizing the Logical Core of XPath 2.0
inferred← citeshttps://doi.org/10.1007/s10992-018-9489-7openalex-snapshot
A New Game Equivalence, its Logic and Algebra
inferred← citeshttps://doi.org/10.1007/s10992-020-09588-zopenalex-snapshot
A Simple Logic of Functional Dependence
inferred← citeshttps://doi.org/10.1007/s11225-013-9478-3openalex-snapshot
Epistemic Operators in Dependence Logic
inferred← citeshttps://doi.org/10.1016/s0168-0072(97)00027-4openalex-snapshot
Complexity of equations valid in algebras of relations part I: Strong non-finitizability
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80006-1openalex-snapshot
3 Complexity of modal logic
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.006openalex-snapshot
Algebras and General Frames
inferred← citeshttps://doi.org/10.1023/a:1004275029985openalex-snapshot
Modal Languages and Bounded Fragments of Predicate Logic
inferred← citeshttps://doi.org/10.1023/a:1021368713305openalex-snapshot
Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic
inferred← citeshttps://doi.org/10.1070/im8476openalex-snapshot
Partitioning Kripke frames of finite height
inferred← citeshttps://doi.org/10.1080/11663081.1999.10510976openalex-snapshot
The Range of Modal Logic
inferred← citeshttps://doi.org/10.1093/jigpal/7.1.7openalex-snapshot
Temporal patterns and modal structure
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/jzq048openalex-snapshot
Three interpolation theorems for typeless logics
inferred← citeshttps://doi.org/10.1093/logcom/9.5.601openalex-snapshot
Points, lines and diamonds: a two-sorted modal logic for projective planes
inferred← citeshttps://doi.org/10.1134/s0001434610070229openalex-snapshot
Axiomatization of modal logic squares with distinguished diagonal
inferred← citeshttps://doi.org/10.1145/1160633.1160664openalex-snapshot
Logics of propositional control
inferred← citeshttps://doi.org/10.1145/359496.359527openalex-snapshot
Knowledge in multiagent systems
inferred← citeshttps://doi.org/10.1305/ndjfl/1040067313openalex-snapshot
Multi-Dimensional Semantics for Modal Logics
inferred← citeshttps://doi.org/10.1305/ndjfl/1091030854openalex-snapshot
Neat Embeddings, Omitting Types, and Interpolation: An Overview
inferred← citeshttps://doi.org/10.1613/jair.2901openalex-snapshot
Reasoning About the Transfer of Control
inferred← citeshttps://doi.org/10.2178/bsl/1130335206openalex-snapshot
Algebraic Logic, Where Does it Stand Today?
inferred← citeshttps://doi.org/10.2178/jsl/1230396757openalex-snapshot
The modal logic of affine planes is not finitely axiomatisable
inferred← citeshttps://doi.org/10.2307/2275740openalex-snapshot
Step by step – Building representations in algebraic logic
inferred← citeshttps://doi.org/10.3390/math10193701openalex-snapshot
On Strictly Positive Fragments of Modal Logics with Confluence
inferred← citeshttps://doi.org/10.4213/im8476openalex-snapshot
О разбиениях шкал Крипке конечной высоты
inferred← citeshttps://doi.org/10.4213/mzm8804openalex-snapshot
Об аксиоматике квадратов модальных логик с выделенной диагональю
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.1508.05840openalex-snapshot
A brief history of algebraic logic from neat embeddings to rainbow constructions
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.