Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers

Kai Engelhardt, Ron van der Meyden, Kaile Su. Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. In Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev, editors, Advances in Modal Logic 4, papers from the fourth conference on Advances in Modal logic, held in Toulouse (France) in October 2002. pages 9-30, King s College Publications, 2002.

Abstract

Abstract is missing.