Author： Lavendhomme R. Lucas T.
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.66, Iss.1, 2000-10, pp. : 121-145
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
Studia Logica, Vol. 62, Iss. 2, 1999-03 ,pp. :
Access to resources
Recommend
Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric
By Gentilini P.
Studia Logica, Vol. 63, Iss. 1, 1999-07 ,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. :
Act Utilitarianism and Decision Procedures
Utilitas, Vol. 6, Iss. 1, 1994-05 ,pp. :