Author： Bouyer Patricia
Publisher： Springer Publishing Company
ISSN： 0925-8531
Source： Journal of Logic, Language and Information, Vol.20, Iss.2, 2011-04, pp. : 169-203
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. :
Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5
By Nguyen L.A.
Studia Logica, Vol. 69, Iss. 1, 2001-10 ,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. :