A set-theoretic translation method for polymodal logics

Authors
  • G. D'Agostino
  • A. Montanari
  • A Policriti
Publication date 1995
Book title Proceedings of STACS '95: 12th Symposium on Theoretical Aspects of Computer Science
Pages (from-to) 217-228
Publisher Munchen, Germany: Springer Verlag
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back