Publisher： Cambridge University Press
E-ISSN： 1943-5886|78|2|543-561
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.78, Iss.2, 2013-06, pp. : 543-561
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
A transfinite sequence of
The Journal of Symbolic Logic, Vol. 37, Iss. 1, 1972-03 ,pp. :
Access to resources
Recommend
Provability in predicate product logic
Archive for Mathematical Logic, Vol. 46, Iss. 5-6, 2007-07 ,pp. :
On the proof theory of the modal logic for arithmetic provability
The Journal of Symbolic Logic, Vol. 46, Iss. 3, 1981-09 ,pp. :
On the nonexistence of certain normal forms in the logic of provability
The Journal of Symbolic Logic, Vol. 47, Iss. 3, 1982-09 ,pp. :
Finite Kripke models and predicate logics of provability
The Journal of Symbolic Logic, Vol. 55, Iss. 3, 1990-09 ,pp. :