Author: Mayer M.C. Cerrito S.
Publisher: Springer Publishing Company
ISSN: 0039-3215
Source: Studia Logica, Vol.69, Iss.1, 2001-10, pp. : 97-131
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
Free-Variable Tableaux for Propositional Modal Logics
Studia Logica, Vol. 69, Iss. 1, 2001-10 ,pp. :
Free Quantified Epistemic Logics
By Corsi Giovanna Orlandelli Eugenio
Studia Logica, Vol. 101, Iss. 6, 2013-12 ,pp. :
Cut-Free Tableau Calculi for some Intuitionistic Modal Logics
By Ferrari M.
Studia Logica, Vol. 59, Iss. 3, 1997-11 ,pp. :
Cut-free Tableau Calculi for some Propositional Normal Modal Logics
By Amerbauer M.
Studia Logica, Vol. 57, Iss. 2-3, 1996-10 ,pp. :
Unifying Quantified Modal Logic
By Garson James
Journal of Philosophical Logic, Vol. 34, Iss. 5-6, 2005-10 ,pp. :