On the public citation graph
Pretabular varieties of modal algebras
0 signed · 53 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/bf01178758openalex-snapshot
Der Verband der normalen verzweigten Modallogiken
inferredcites →https://doi.org/10.1007/bf02330744openalex-snapshot
Pretabular superintuitionist logic
inferredcites →https://doi.org/10.1007/bf02757006openalex-snapshot
Provability interpretations of modal logic
inferredcites →https://doi.org/10.1016/1385-7258(77)90050-6openalex-snapshot
The free closure algebra on finitely many generators
inferredcites →https://doi.org/10.1111/j.1755-2567.1977.tb00779.xopenalex-snapshot
Five critical modal systems
inferredcites →https://doi.org/10.1305/ndjfl/1093894226openalex-snapshot
Some embedding theorems for modal logic.
inferredcites →https://doi.org/10.7146/math.scand.a-10850openalex-snapshot
Algebras Whose Congruence Lattices are Distributive.
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-030-61334-1_13openalex-snapshot
On Algorithms Related to Expressibility of Functions of Diagonalizable Algebras
inferred← citeshttps://doi.org/10.1007/978-3-031-68279-7_1openalex-snapshot
Tabular and Pretabular Varieties of MTL-Algebras
inferred← citeshttps://doi.org/10.1007/978-3-031-97225-6_26openalex-snapshot
On Some Properties of Tabular Varieties of MTL-Algebras and Their Decidability
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-94-017-0697-1_6openalex-snapshot
A Survey of Boolean Algebras with Operators
inferred← citeshttps://doi.org/10.1007/978-94-017-2109-7_15openalex-snapshot
A First-Order Effect and Modal Propositional Formulas
inferred← citeshttps://doi.org/10.1007/bf00370203openalex-snapshot
Definability theorems in normal extensions of the probability logic
inferred← citeshttps://doi.org/10.1007/bf00370682openalex-snapshot
Amalgamation and interpolation in normal modal logics
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/bf01053034openalex-snapshot
On variable separation in modal and superintuitionistic logics
inferred← citeshttps://doi.org/10.1007/bf01620760openalex-snapshot
On the lattice of extensions of the modal logics KAltn
inferred← citeshttps://doi.org/10.1007/bf01881551openalex-snapshot
On superintuitionistic logics as fragments of proof logic extensions
inferred← citeshttps://doi.org/10.1007/bf01982275openalex-snapshot
Interpolation in infinitely layered extensions of provability logic
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/s00012-004-1856-2openalex-snapshot
Varieties of two-dimensional cylindric algebras II
inferred← citeshttps://doi.org/10.1007/s10469-024-09742-5openalex-snapshot
Pretabularity and Craig’s Interpolation Property
inferred← citeshttps://doi.org/10.1007/s11153-012-9371-4openalex-snapshot
The right to believe truth paradoxes of moral regret for no belief and the role(s) of logic in philosophy of religion
inferred← citeshttps://doi.org/10.1007/s11225-006-8295-3openalex-snapshot
In Memory of Willem Johannes Blok 1947-2003
inferred← citeshttps://doi.org/10.1007/s11225-006-8296-2openalex-snapshot
Willem Blok and Modal Logic
inferred← citeshttps://doi.org/10.1007/s11225-013-9485-4openalex-snapshot
On Pretabular Logics in NExtK4 (Part I)
inferred← citeshttps://doi.org/10.1007/s11225-013-9486-3openalex-snapshot
On Pretabular Logics in NExtK4 (Part II)
inferred← citeshttps://doi.org/10.1007/s11225-017-9734-zopenalex-snapshot
A Second Pretabular Classical Relevance Logic
inferred← citeshttps://doi.org/10.1007/s11225-023-10081-2openalex-snapshot
On Pretabular Extensions of Relevance Logic
inferred← citeshttps://doi.org/10.1016/j.apal.2021.103072openalex-snapshot
Finitary unification in locally tabular modal logics characterized
inferred← citeshttps://doi.org/10.1016/s0168-0072(96)00049-8openalex-snapshot
The structure of lattices of subframe logics
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80010-3openalex-snapshot
7 Modal decision problems
inferred← citeshttps://doi.org/10.1017/jsl.2024.62openalex-snapshot
SUFFICIENT CONDITIONS FOR LOCAL TABULARITY OF A POLYMODAL LOGIC
inferred← citeshttps://doi.org/10.1017/s1755020322000132openalex-snapshot
TABULARITY AND POST-COMPLETENESS IN TENSE LOGIC
inferred← citeshttps://doi.org/10.1023/a:1005100510979openalex-snapshot
Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4
inferred← citeshttps://doi.org/10.1023/a:1006259631226openalex-snapshot
Equational Classes of Totally Ordered Modal Lattices
inferred← citeshttps://doi.org/10.1134/s0037446616060100openalex-snapshot
The tabularity problem over the minimal logic
inferred← citeshttps://doi.org/10.12775/llp.2008.008openalex-snapshot
Interpolation and implicit definability in extensions of the provability logic
inferred← citeshttps://doi.org/10.2178/bsl/1102022665openalex-snapshot
In Memoriam: Willem Johannes Blok 1947–2003
inferred← citeshttps://doi.org/10.2178/jsl/1230396916openalex-snapshot
There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height
inferred← citeshttps://doi.org/10.2307/2273660openalex-snapshot
Algebraic semantics for quasi-classical modal logics
inferred← citeshttps://doi.org/10.2307/2275521openalex-snapshot
Hereditarily structurally complete modal logics
inferred← citeshttps://doi.org/10.4213/dm244openalex-snapshot
Формальное сведение общей проблемы выразимости формул в логике доказуемости Гeделя - Лeба
inferred← citeshttps://doi.org/10.4213/dm354openalex-snapshot
О некоторых свойствах полных по выразимости систем формул в логике доказуемости Геделя - Леба
inferred← citeshttps://doi.org/10.48550/arxiv.1312.0714openalex-snapshot
On sufficient conditions for expressibility of constants in the 4-valued extension of the propositional provability logic $GL$
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.