pith. sign in

Title resolution pending

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

1 Pith paper citing it

fields

math.LO 1

years

2026 1

verdicts

UNVERDICTED 1

clear filters

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 after filters.

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

    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.