Modal Logic with Bounded Quantification over Worlds

  • R.M. van Eijk
  • , F.S. de Boer
  • , W. van der Hoek
  • , J-J.Ch. Meyer

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined/Unknown
Pages (from-to)701-715
Number of pages15
JournalJournal of Logic and Computation
Volume11
Issue number5
Publication statusPublished - 2001

Keywords

  • Wiskunde en Informatica (WIIN)

Cite this