A Higher Order Modal Fixed Point Logic.
In: Philippa Gardner and Nobuko Yoshida (eds.), Proc.\ 15th Int.\ Conference on Concurrency Theory, CONCUR'04. Volume 3170 of LNCS. London, UK, pp. 512--528. Published by Springer.
Higher Order Fixed Point Logic |
| [Viswanathan and Viswanathan, 2004]
|
Mahesh Viswanathan and Ramesh Viswanathan (2004). A Higher Order Modal Fixed Point Logic. In: Philippa Gardner and Nobuko Yoshida (eds.), Proc.\ 15th Int.\ Conference on Concurrency Theory, CONCUR'04. Volume 3170 of LNCS. London, UK, pp. 512--528. Published by Springer. |
| [Lange and Somla, 2005]
|
M. Lange and R. Somla (2005). The Complexity of Model Checking Higher Order Fixpoint Logic. In: J. Jedrzejowicz and A. Szepietowski (eds.), Proc.\ 30th Int.\ Symp.\ on Math.\ Foundations of Computer Science, MFCS'05. Volume 3618 of LNCS. Gdansk, Poland, pp. 640--651. Published by Springer. |
| [Lange, 2006]
|
Martin Lange (2006). Temporal Logics Beyond Regularity. |
| [Axelsson et al., 2007]
|
Roland Axelsson and Martin Lange and Rafal Somla (2007). The Complexity of Model Checking Higher Order Fixpoint Logic. In: Logical Methods in Computer Science, 3(2):1--33. |
| [Axelsson and Lange, 2007]
|
R. Axelsson and M. Lange (2007). Model Checking the First Order Fragment of Higher-Order Fixpoint Logic. In: N. Dershowitz and A. Voronkov (eds.), Proc.\ 14th Int.\ Conf.\ on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR'07. Volume 4790 of LNCS. Yerevan, Armenia, pp. 62--76. Published by Springer. |