The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable

ISSN： 0039-3215

Source： Studia Logica, Vol.59, Iss.3, 1997-11, pp. : 345-358

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤ω

By Zach Richard

Journal of Philosophical Logic, Vol. 33, Iss. 2, 2004-04 ,pp. : 155-164

Springer Publishing Company

Access to resources Recommend Favorite

Intuitionistic Logic As Epistemic Logic

By Hintikka J.

Synthese, Vol. 127, Iss. 1-2, 2001-04 ,pp. : 7-19

Springer Publishing Company

Access to resources Recommend Favorite

Quantum Logic in Intuitionistic Perspective

By Coecke B.

Studia Logica, Vol. 70, Iss. 3, 2002-04 ,pp. : 411-440

Springer Publishing Company

Access to resources Recommend Favorite

On an Intuitionistic Modal Logic

By Bierman G.M. de Paiva V.C.V.

Studia Logica, Vol. 65, Iss. 3, 2000-08 ,pp. : 383-416

Springer Publishing Company

Access to resources Recommend Favorite

Intuitionistic Autoepistemic Logic

By Amati G. Carlucci-Aiello L. Pirri F.

Studia Logica, Vol. 59, Iss. 1, 1997-07 ,pp. : 103-120

Springer Publishing Company

Access to resources Recommend Favorite