A set-theoretic translation method for polymodal logics

Open Access
Authors
  • G. D'Agostino
  • A. Montanari
  • A Policriti
Publication date 1995
Journal Journal of Automated Reasoning
Volume | Issue number 15 | 3
Pages (from-to) 317-337
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Published at https://doi.org/10.1007/BF00881803
Downloads
Permalink to this page
Back