On the public citation graph
Two-dimensional modal logic
0 signed · 42 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.19660120131openalex-snapshot
On Some Completeness Theorems in Modal Logic
inferredcites →https://doi.org/10.1002/malq.19700160207openalex-snapshot
Models for Multiply Modal Systems
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.1111/j.1755-2567.1968.tb00335.xopenalex-snapshot
Decidability of S4.1
inferredcites →https://doi.org/10.1305/ndjfl/1093891804openalex-snapshot
Solution to a completeness problem of Lemmon and Scott.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-319-69917-2_12openalex-snapshot
Segerberg Squares of Modal Logics and Theories of Relation Algebras
inferred← citeshttps://doi.org/10.1007/978-3-642-04222-5_17openalex-snapshot
Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property
inferred← citeshttps://doi.org/10.1007/978-3-642-35025-2_9openalex-snapshot
Representable Cylindric Algebras and Many-Dimensional Modal Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-36039-8_4openalex-snapshot
A Note on Axiomatisations of Two-Dimensional Modal Logics
inferred← citeshttps://doi.org/10.1007/bf02671605openalex-snapshot
Admissible inference rules for polymodal logicS5 n C
inferred← citeshttps://doi.org/10.1007/s00012-002-8203-2openalex-snapshot
Varieties of two-dimensional cylindric algebras.¶Part I: Diagonal-free case
inferred← citeshttps://doi.org/10.1007/s10469-005-0024-xopenalex-snapshot
Decidability of the Admissibility Problem for Inference Rules in Some S5t-Logics
inferred← citeshttps://doi.org/10.1007/s10472-015-9468-4openalex-snapshot
An NP-complete fragment of fibring logic
inferred← citeshttps://doi.org/10.1007/s11225-006-9013-xopenalex-snapshot
Multimo dal Logics of Products of Topologies
inferred← citeshttps://doi.org/10.1007/s11225-015-9605-4openalex-snapshot
The Incompleteness of S4 $${\bigoplus}$$ ⨁ S4 for the Product Space
inferred← citeshttps://doi.org/10.1007/s11225-015-9647-7openalex-snapshot
The Decision Problem of Modal Product Logics with a Diagonal, and Faulty Counter Machines
inferred← citeshttps://doi.org/10.1007/s11229-013-0365-2openalex-snapshot
On the axiomatizability of some first-order spatio-temporal theories
inferred← citeshttps://doi.org/10.1016/j.apal.2006.01.001openalex-snapshot
Non-primitive recursive decidability of products of modal logics with expanding domains
inferred← citeshttps://doi.org/10.1016/j.apal.2020.102786openalex-snapshot
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80018-8openalex-snapshot
15 Combining modal logics
inferred← citeshttps://doi.org/10.1023/a:1020083231504openalex-snapshot
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
inferred← citeshttps://doi.org/10.1023/a:1021304426509openalex-snapshot
Products of Modal Logics. Part 3: Products of Modal and Temporal Logics
inferred← citeshttps://doi.org/10.1070/rm2012v067n04abeh004805openalex-snapshot
Squares of modal logics with additional connectives
inferred← citeshttps://doi.org/10.1093/jigpal/6.1.73openalex-snapshot
Products of modal logics, part 1
inferred← citeshttps://doi.org/10.1093/jigpal/jzy004openalex-snapshot
On neighbourhood product of some Horn axiomatizable logics
inferred← citeshttps://doi.org/10.1093/logcom/11.6.909openalex-snapshot
On the Products of Linear Modal Logics
inferred← citeshttps://doi.org/10.1093/logcom/9.2.197openalex-snapshot
Complexity of products of modal logics
inferred← citeshttps://doi.org/10.1093/logcom/exaa060openalex-snapshot
Complexity of finite-variable fragments of products withK
inferred← citeshttps://doi.org/10.1093/logcom/exl007openalex-snapshot
A New Modal Approach to the Logic of Intervals
inferred← citeshttps://doi.org/10.1134/s0001434610070229openalex-snapshot
Axiomatization of modal logic squares with distinguished diagonal
inferred← citeshttps://doi.org/10.1134/s0081543811060204openalex-snapshot
On squares of modal logics with additional connectives
inferred← citeshttps://doi.org/10.2178/jsl/1122038925openalex-snapshot
Products of ‘transitive” modal logics
inferred← citeshttps://doi.org/10.2178/jsl/1190150040openalex-snapshot
On modal logics betweenK × K × KandS5 × S5 × S5
inferred← citeshttps://doi.org/10.2178/jsl/1344862170openalex-snapshot
Non-finitely axiomatisable two-dimensional modal logics
inferred← citeshttps://doi.org/10.2307/2586578openalex-snapshot
On axiomatising products of Kripke frames
inferred← citeshttps://doi.org/10.4213/rm9442openalex-snapshot
Квадраты модальных логик с дополнительными связками
inferred← citeshttps://doi.org/10.48550/arxiv.1405.6699openalex-snapshot
Modal logic of some products of neighborhood frames
inferred← citeshttps://doi.org/10.48550/arxiv.1609.03232openalex-snapshot
On neighborhood product of some Horn axiomatizable logics
inferred← citeshttps://doi.org/10.48550/arxiv.1812.06341openalex-snapshot
Decidable fragments of first-order modal logics with counting quantifiers over varying domains
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.