U-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logics

Tim French, G. D'Agostino, G. Lenzi

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	297-309
Journal	Journal of Applied Non-Classical Logics
Volume	16
Issue number	40271
Publication status	Published - 2006

Cite this

@article{977b626674ea42d5bdfc3ad4856ec8d1,

title = "U-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logics",

author = "Tim French and G. D'Agostino and G. Lenzi",

year = "2006",

language = "English",

volume = "16",

pages = "297--309",

journal = "Journal of Applied Non-Classical Logics",

issn = "1166-3081",

publisher = "Taylor & Francis",

number = "40271",

}