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

ISSN： 0039-3215

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

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 Graded Modal Logic

By de Rijke M.

Studia Logica, Vol. 64, Iss. 2, 2000-02 ,pp. : 271-283

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

Note on Some Fixed Point Constructions in Provability Logic

By Lindström Per

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

Springer Publishing Company

Access to resources Recommend Favorite

Modal Logic As Dialogical Logic

By Blackburn P.

Synthese, Vol. 127, Iss. 1-2, 2001-04 ,pp. : 57-93

Springer Publishing Company

Access to resources Recommend Favorite

A Cut-Free Sequent System for the Smallest Interpretability Logic

By Sasaki K.

Studia Logica, Vol. 70, Iss. 3, 2002-04 ,pp. : 353-372

Springer Publishing Company

Access to resources Recommend Favorite