Representability in Second-Order Propositional Poly-Modal Logic

Gian Aldo Antonelli, Richmond H. Thomason. Representability in Second-Order Propositional Poly-Modal Logic. Journal of Symbolic Logic, 67(3):1039-1054, 2002.

Abstract

Abstract is missing.