On closure ordinals for the modal mu−calculus

অনুরূপ উপাদানগুলি

• $\aleph_1$ and the modal $\mu$-calculus
  অনুযায়ী: Maria João Gouveia, অন্যান্য
  প্রকাশিত: (2019-10-01)
• Probabilistic modal {\mu}-calculus with independent product
  অনুযায়ী: Matteo Mio
  প্রকাশিত: (2012-11-01)
• A Proof System with Names for Modal Mu-calculus
  অনুযায়ী: Colin Stirling
  প্রকাশিত: (2013-09-01)
• A saturation method for the modal mu-calculus over pushdown systems
  অনুযায়ী: Hague, M, অন্যান্য
  প্রকাশিত: (2011)
• A Saturation Method for the Modal Mu−Calculus over Pushdown Systems
  অনুযায়ী: Hague, M, অন্যান্য
  প্রকাশিত: (2010)