Open AccessRelating levels of the mu-calculus hierarchy and levels of the monadic hierachy
Author(s) -
David Janin,
Giacomo Lenzi
Publication year - 2001
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - hierarchy , calculus (dental) , monadic predicate calculus , computer science , algebra over a field , mathematics , theoretical computer science , pure mathematics , political science , law , higher order logic , description logic , medicine , dentistry