Representability in Second-Order Propositional Poly-Modal Logic

Autor:	Antonelli, G. Aldo, Thomason, Richmond H.
Zdroj:	The Journal of Symbolic Logic, 2002 Sep 01. 67(3), 1039-1054.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/3648554 Zobrazit plný text záznamu