A Set-Theoretic Translation Method for Polymodal Logics

Authors
G.D'Agostino,A.Montanari,A.Policriti
Citation
G.d'Agostino,a.montanari,a.policriti, A Set-Theoretic Translation Method for Polymodal Logics, Journal of automated reasoning , 15(3), 1995, pp. 317-337
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
15
Issue
3
Year of publication
1995
Pages
317 - 337
Database
ACNP
SICI code