AXIOMATIZABILITY OF PROPOSITIONALLY QUANTIFIED MODAL LOGICS ON RELATIONAL FRAMES
FRITZ, PETER
The Journal of symbolic logic, 2024-06, Vol.89 (2), p.758-793
[Periódico revisado por pares]
New York, USA: Cambridge University Press
Texto completo disponível