First-Order Classical Modal Logic

Autor: Arló-Costa, Horacio, Pacuit, Eric
Zdroj: Studia Logica: An International Journal for Symbolic Logic, 2006 Nov 01. 84(2), 171-210.
Databáze: JSTOR Journals