Note on Some Fixed Point Constructions in Provability Logic

ISSN： 0022-3611

Source： Journal of Philosophical Logic, Vol.35, Iss.3, 2006-06, pp. : 225-230

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

A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic

By Čačić Vedran

Studia Logica, Vol. 101, Iss. 1, 2013-02 ,pp. : 31-44

Springer Publishing Company

Access to resources Recommend Favorite

The Knower Paradox in the Light of Provability Interpretations of Modal Logic

By Égré Paul

Journal of Logic, Language and Information, Vol. 14, Iss. 1, 2005-12 ,pp. : 13-48

Springer Publishing Company

Access to resources Recommend Favorite

How To Extend The Dialogical Approach To Provability Logic

By Nortmann U.

Synthese, Vol. 127, Iss. 1-2, 2001-04 ,pp. : 95-103

Springer Publishing Company

Access to resources Recommend Favorite

Do Mathematical Constructions Escape Logic?

By Gardies J.L.

Synthese, Vol. 134, Iss. 1-2, 2003-01 ,pp. : 3-24

Springer Publishing Company

Access to resources Recommend Favorite

A Note on Hahn's Philosophy of Logic

By Ablondi F.

History and Philosophy of Logic, Vol. 23, Iss. 1, 2002-03 ,pp. : 37-42

Taylor & Francis Ltd

Access to resources Recommend Favorite