Logical Connectives for Constructive Modal Logic

ISSN： 0039-7857

Source： Synthese, Vol.150, Iss.3, 2006-06, pp. : 459-482

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

A Defense of the Kripkean Account of Logical Truth in First-Order Modal Logic

By McKeon M.

Journal of Philosophical Logic, Vol. 34, Iss. 3, 2005-06 ,pp. : 305-326

Springer Publishing Company

Access to resources Recommend Favorite

Modal Logic As Dialogical Logic

By Blackburn P.

Synthese, Vol. 127, Iss. 1-2, 2001-04 ,pp. : 57-93

Springer Publishing Company

Access to resources Recommend Favorite

Revising the Logic of Logical Revision

By Salerno J.

Philosophical Studies, Vol. 99, Iss. 2, 2000-05 ,pp. : 211-227

Springer Publishing Company

Access to resources Recommend Favorite

Encoding Modal Logics in Logical Frameworks

By Avron A. Honsell F. Miculan M. Paravano C.

Studia Logica, Vol. 60, Iss. 1, 1998-01 ,pp. : 161-208

Springer Publishing Company

Access to resources Recommend Favorite

A Modal Interpretation of the Logic of Interrogation

By Nelken Rani Shan Chung-Chieh

Journal of Logic, Language and Information, Vol. 15, Iss. 3, 2006-10 ,pp. : 251-271

Springer Publishing Company

Access to resources Recommend Favorite