• 23 Citations
  • 2 h-Index

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

  • 23 Citations
  • 2 h-Index
  • 6 Article
  • 1 Conference contribution
Conference contribution

Modal fixed-point logic and changing models

Van Benthem, J. & Ikegami, D., 2008 Aug 27, Pillars of Computer Science - Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Avron, A., Dershowitz, N. & Rabinovich, A. (eds.). p. 146-165 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4800 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)