Nominal Substitution at Work with the Global and Converse Modalities

Serenella Cerrito, Marta Cialdea Mayer. Nominal Substitution at Work with the Global and Converse Modalities. In Lev D. Beklemishev, Valentin Goranko, Valentin Shehtman, editors, Advances in Modal Logic 8, papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27 August 2010. pages 59-76, College Publications, 2010. [doi]

Abstract

Abstract is missing.