Arithmetical interpretations of dynamic logic

Publisher： Cambridge University Press

E-ISSN： 1943-5886|48|3|704-713

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.48, Iss.3, 1983-09, pp. : 704-713

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

On modal systems having arithmetical interpretations

By  

The Journal of Symbolic Logic, Vol. 49, Iss. 3, 1984-09 ,pp. : 935-942

Cambridge University Press

Access to resources Recommend Favorite

INTERPRETATIONS BETWEEN ω-LOGIC AND SECOND-ORDER ARITHMETIC

By  

The Journal of Symbolic Logic, Vol. 79, Iss. 3, 2014-08 ,pp. : 845-858

Cambridge University Press

Access to resources Recommend Favorite

Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p *

By  

The Journal of Symbolic Logic, Vol. 58, Iss. 1, 1993-03 ,pp. : 334-349

Cambridge University Press

Access to resources Recommend Favorite

Dynamic topological logic of metric spaces

By  

The Journal of Symbolic Logic, Vol. 77, Iss. 1, 2012-03 ,pp. : 308-328

Cambridge University Press

Access to resources Recommend Favorite

On an Arithmetical Function

By Farkas Hershel M.  

The Ramanujan Journal, Vol. 8, Iss. 3, 2004-09 ,pp. : 309-315

Springer Publishing Company

Access to resources Recommend Favorite