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 journal › Article › Academic › peer-review

Original language	Undefined/Unknown
Pages (from-to)	701-715
Number of pages	15
Journal	Journal of Logic and Computation
Volume	11
Issue number	5
Publication status	Published - 2001

Keywords

@article{c89f2ff0adc3451d9116ee47d25aa802,

title = "Modal Logic with Bounded Quantification over Worlds",

keywords = "Wiskunde en Informatica (WIIN)",

author = "{van Eijk}, R.M. and {de Boer}, F.S. and {van der Hoek}, W. and J-J.Ch. Meyer",

year = "2001",

language = "Undefined/Unknown",

volume = "11",

pages = "701--715",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "5",

}