Future Event Logic - Axioms and Complexity

Hans P. van Ditmarsch, Tim French, Sophie Pinchinat. Future Event Logic - Axioms and Complexity. 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 77-99, College Publications, 2010. [doi]

Abstract

Abstract is missing.