Modal Fixed Point Logics. Jäger, G. In J. Esparza, B. Spanfelner, & O. Grumberg, editors, Logics and Languages for Reliability and Security, volume 25, of NATO Science for Peace and Security Series - D: Information and Communication Security, 2010. IOS Press.
Modal Fixed Point Logics [pdf]Paper  doi  bibtex   
@InProceedings{jae10,
  Author         = {J{\"a}ger, Gerhard},
  Title          = {Modal {F}ixed {P}oint {L}ogics},
  BookTitle      = {Logics and {L}anguages for {R}eliability and
                   {S}ecurity},
  Editor         = {{J. Esparza} and {B. Spanfelner} and {O. Grumberg}},
  Volume         = {25},
  Series         = {NATO Science for Peace and Security Series - D:
                   Information and Communication Security},
  Publisher      = {IOS Press},
  doi            = {10.3233/978-1-60750-100-8-129},
  url            = {2010/jae10.pdf},
  year           = 2010
}
Downloads: 0