Tableaus for many-valued modal logic
Types, Tableaus, and Godel's God
Types, Tableaus, and Godel's God
Types, Tableaus, and Gödel’s god
Types, Tableaus, and Gödel’s God
Semantics and tableaus for LPS4
Prefixed tableaus and nested sequents
Balinski-Tucker simplex tableaus: dimensions, degeneracy degrees, and interior points of optimal faces
q -Classical polynomials and the q -Askey and Nikiforov–Uvarov tableaus
Lighting analysis of diffusely illuminated tableaus in realist paintings: an application to detecting "compositing"in the portrai...