Canonical formulas for K4. Part I: Basic results

Publisher： Cambridge University Press

E-ISSN： 1943-5886|57|4|1377-1402

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.57, Iss.4, 1992-12, pp. : 1377-1402

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

Canonical formulas for K4. Part III: the finite model property

By  

The Journal of Symbolic Logic, Vol. 62, Iss. 3, 1997-09 ,pp. : 950-975

Cambridge University Press

Access to resources Recommend Favorite

Canonical formulas for K4. Part II: Cofinal subframe logics

By  

The Journal of Symbolic Logic, Vol. 61, Iss. 2, 1996-06 ,pp. : 421-449

Cambridge University Press

Access to resources Recommend Favorite

Logics containing K4. Part I

By  

The Journal of Symbolic Logic, Vol. 39, Iss. 1, 1974-03 ,pp. : 31-42

Cambridge University Press

Access to resources Recommend Favorite

Some Formulas for the Canonical Kernel Function

By de Oliveira M.P.  

Geometriae Dedicata, Vol. 86, Iss. 1-3, 2001-06 ,pp. : 227-247

Springer Publishing Company

Access to resources Recommend Favorite

Canonical forms of order-k (k = 2, 3, 4) symmetric tensors of format 3 × … × 3 over prime fields

By  

Linear and Multilinear Algebra, Vol. 63, Iss. 6, 2015-06 ,pp. : 1111-1124

Taylor & Francis Ltd

Access to resources Recommend Favorite