Author: Fitting M. Thalmann L. Voronkov A.
Publisher: Springer Publishing Company
ISSN: 0039-3215
Source: Studia Logica, Vol.69, Iss.1, 2001-10, pp. : 133-169
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
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. :
Encoding Modal Logics in Logical Frameworks
By Avron A. Honsell F. Miculan M. Paravano C.
Studia Logica, Vol. 60, Iss. 1, 1998-01 ,pp. :