Author： Luchi D. Montagna F.
Publisher： Springer Publishing Company
ISSN： 0039-3215
Source： Studia Logica, Vol.63, Iss.1, 1999-07, pp. : 7-25
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
Refutations, Proofs, and Models in the Modal Logic K4
By Skura T.
Studia Logica, Vol. 70, Iss. 2, 2002-03 ,pp. :
Access to resources
Recommend
Normal Natural Deduction Proofs (in classical logic)
Studia Logica, Vol. 60, Iss. 1, 1998-01 ,pp. :
Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs
By Carbone A.
Studia Logica, Vol. 64, Iss. 3, 2000-03 ,pp. :
Characterizations of Negative Definability in Modal Logic
Studia Logica, Vol. 60, Iss. 3, 1998-05 ,pp. :