Refutations, Proofs, and Models in the Modal Logic K4

ISSN： 0039-3215

Source： Studia Logica, Vol.70, Iss.2, 2002-03, pp. : 193-204

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

Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4

By Bellissima F. Cittadini S.

Studia Logica, Vol. 62, Iss. 3, 1999-05 ,pp. : 371-398

Springer Publishing Company

Access to resources Recommend Favorite

Basic Logic, K4, and Persistence

By Ruitenburg Wim

Studia Logica, Vol. 63, Iss. 3, 1999-11 ,pp. : 343-352

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

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

A Modal Sortal Logic

By Freund Max A.

Journal of Philosophical Logic, Vol. 33, Iss. 3, 2004-06 ,pp. : 237-260

Springer Publishing Company

Access to resources Recommend Favorite