Set-theoretic decidability result for modal logic

Authors
  • G. D'Agostino
  • A. Montanari
  • A Policriti
Publication date 1995
Series Rapporto di Ricerca, 21/95
Publisher Dipartimento di Matematica e Informatica, Univ. di Udine
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Report
Permalink to this page
Back