Skip to content

A Set-Theoretic Translation Method for (Poly)modal Logics.

Giovanna D'Agostino, Angelo Montanari, Alberto Policriti

VenueASTACS
Year1995
ProceedingsSTACS

Browse the full STACS paper archive.