Publisher: Cambridge University Press
E-ISSN: 1943-5894|7|4|441-484
ISSN: 1079-8986
Source: Bulletin of Symbolic Logic, Vol.7, Iss.4, 2001-12, pp. : 441-484
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
The development of modern logic
Bulletin of Symbolic Logic, Vol. 18, Iss. 2, 2012-06 ,pp. :
An intuitionistically plausible interpretation of intuitionistic logic
The Journal of Symbolic Logic, Vol. 42, Iss. 4, 1977-12 ,pp. :
A stochastic interpretation of propositional dynamic logic: expressivity
The Journal of Symbolic Logic, Vol. 77, Iss. 2, 2012-06 ,pp. :