The expressivity of update logics

Louwe B. Kuijer

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

2 Citations (Scopus)

81 Downloads (Pure)

Original language	English
Pages (from-to)	719-742
Journal	Journal of Logic and Computation
Volume	25
Issue number	3
Early online date	1-Sept-2014
DOIs	https://doi.org/10.1093/logcom/exu047
Publication status	Published - 2015

Access to Document

The expressivity of update logics Final publisher's version, 512 KBLicence: Taverne

@article{a6f3be13ca2f41deb80db920fce50ba3,

title = "The expressivity of update logics",

author = "Kuijer, {Louwe B.}",

year = "2015",

doi = "10.1093/logcom/exu047",

language = "English",

volume = "25",

pages = "719--742",

journal = "Journal of Logic and Computation",

issn = "1465-363X",

publisher = "Oxford University Press",

number = "3",

}