Tabular modal logics admit propositionally sized interpolants and strongest implicates iff NP ⊆ P/poly, while non-tabular ones require exponential size unconditionally.
Mabilat,Solutions monomiales minimales irréductibles dansSL 2(Z/pnZ), Bulletin des Sciences Mathématiques, Vol
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
representative citing papers
Irreducible λ-quiddities over polynomial rings have bounded maximal size with explicit results listed, and the maximal size is completely determined for formal power series rings.
citing papers explorer
-
The Size of Interpolants in Modal Logics
Tabular modal logics admit propositionally sized interpolants and strongest implicates iff NP ⊆ P/poly, while non-tabular ones require exponential size unconditionally.
-
Maximal size of irreducible $\lambda$-quiddities over polynomial and formal power series rings
Irreducible λ-quiddities over polynomial rings have bounded maximal size with explicit results listed, and the maximal size is completely determined for formal power series rings.