Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere

ISSN： 0039-3215

Source： Studia Logica, Vol.81, Iss.2, 2005-11, pp. : 191-226

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

Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof

By Gentilini Paolo

Studia Logica, Vol. 63, Iss. 3, 1999-11 ,pp. : 301-310

Springer Publishing Company

Access to resources Recommend Favorite

Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric

By Gentilini P.

Studia Logica, Vol. 63, Iss. 1, 1999-07 ,pp. : 27-48

Springer Publishing Company

Access to resources Recommend Favorite

Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel

By Gentilini Paolo

Studia Logica, Vol. 63, Iss. 2, 1999-09 ,pp. : 245-268

Springer Publishing Company

Access to resources Recommend Favorite

A proof–theoretic study of the correspondence of hybrid logic and classical logic

By Kushida H. Okada M.

Journal of Logic, Language and Information, Vol. 16, Iss. 1, 2007-01 ,pp. : 35-61

Springer Publishing Company

Access to resources Recommend Favorite

A Proof-theoretic View of Necessity

By Kahle Reinhard

Synthese, Vol. 148, Iss. 3, 2006-02 ,pp. : 659-673

Springer Publishing Company

Access to resources Recommend Favorite