Sahlqvist Correspondence for Modal mu-calculus

  • Authors:

  • Johan Benthem;Nick Bezhanishvili;Ian Hodkinson

  • Affiliations:

  • Institute for Logic Language & Computation (ILLC), University of Amsterdam, Amsterdam, The Netherlands 1090 GE;Department of Computing, Imperial College London, London, UK SW7 2AZ;Department of Computing, Imperial College London, London, UK SW7 2AZ

  • Venue:
  • Studia Logica
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

We define analogues of modal Sahlqvist formulas for the modal mu-calculus, and prove a correspondence theorem for them.