Author： Avron A. Honsell F. Miculan M. Paravano C.
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.60, Iss.1, 1998-01, pp. : 161-208
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
By Fitting M. Thalmann L. Voronkov A.
Studia Logica, Vol. 69, Iss. 1, 2001-10 ,pp. :
Access to resources
Recommend
Products of Modal Logics. Part 3: Products of Modal and Temporal Logics
Studia Logica, Vol. 72, Iss. 2, 2002-11 ,pp. :
Superintuitionistic Companions of Classical Modal Logics
By Wolter F.
Studia Logica, Vol. 58, Iss. 2, 1997-03 ,pp. :
A Sahlqvist Theorem for Relevant Modal Logics
By Seki T.
Studia Logica, Vol. 73, Iss. 3, 2003-04 ,pp. :
On Modal Logics of Partial Recursive Functions
By Naumov Pavel
Studia Logica, Vol. 81, Iss. 3, 2005-12 ,pp. :