The expressivity of update logics

Louwe B. Kuijer

Onderzoeksoutput › Academic › peer review

2 Citaten (Scopus)

30 Downloads (Pure)

Originele taal-2	English
Pagina's (van-tot)	719-742
Tijdschrift	Journal of Logic and Computation
Volume	25
Nummer van het tijdschrift	3
Vroegere onlinedatum	1-sep.-2014
DOI's	https://doi.org/10.1093/logcom/exu047
Status	Published - 2015

Toegang tot document

The expressivity of update logics Final publisher's version, 512 KBLicentie: 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",

}