

Author: Shimura T.
Publisher: Springer Publishing Company
ISSN: 0039-3215
Source: Studia Logica, Vol.65, Iss.2, 2000-07, pp. : 237-247
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


On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics
By Skvortsov D.
Studia Logica, Vol. 61, Iss. 2, 1998-09 ,pp. :


Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics
Studia Logica, Vol. 63, Iss. 3, 1999-11 ,pp. :


On the Predicate Logic of Linear Kripke Frames and some of its Extensions
Studia Logica, Vol. 81, Iss. 2, 2005-11 ,pp. :


Modal Incompleteness Revisited
Studia Logica, Vol. 76, Iss. 3, 2004-04 ,pp. :


By Wansing H.
Studia Logica, Vol. 62, Iss. 1, 1999-01 ,pp. :