pith. sign in

Title resolution pending

Guram Bezhanishvili & Revaz Grigolia ( · 2005 · DOI 10.1007/s00012-005-1958-5

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
open at publisher browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

fields

math.LO 1

years

2026 1

verdicts

UNVERDICTED 1

representative citing papers

On Local Finiteness of Modal K4 Algebras

math.LO · 2026-06-01 · unverdicted · novelty 5.0

The paper establishes necessary and sufficient conditions for local finiteness of modal K4 algebras using dual frame tunability and order properties, and proves the finite model property for the logic of well-quasi-orderings.

citing papers explorer

Showing 1 of 1 citing paper.

  • On Local Finiteness of Modal K4 Algebras math.LO · 2026-06-01 · unverdicted · none · ref 1

    The paper establishes necessary and sufficient conditions for local finiteness of modal K4 algebras using dual frame tunability and order properties, and proves the finite model property for the logic of well-quasi-orderings.