Representability in second-order propositional poly-modal logic
Antonelli, G. Aldo, Thomason, Richmond H.Volume:
67
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2178/jsl/1190150147
Date:
September, 2002
File:
PDF, 982 KB
english, 2002