A Quantale Interpretation of Dynamic Logic

Show simple item record

dc.contributor.author Seligman, Jeremy en
dc.contributor.author Ma, M en
dc.coverage.spatial Guangzhou, China en
dc.date.accessioned 2018-10-07T22:38:47Z en
dc.date.issued 2016-12-08 en
dc.identifier.uri http://hdl.handle.net/2292/39255 en
dc.relation.ispartof Non-classical Logics and Their Applications: The 8th International Workshop on Logic and Cognition (WOLC2016) en
dc.rights Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher. en
dc.rights.uri https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm en
dc.title A Quantale Interpretation of Dynamic Logic en
dc.type Conference Item en
dc.rights.holder Copyright: The author en
pubs.finish-date 2016-12-09 en
pubs.start-date 2016-12-05 en
dc.rights.accessrights http://purl.org/eprint/accessRights/RestrictedAccess en
pubs.subtype Conference Paper en
pubs.elements-id 648243 en
pubs.org-id Arts en
pubs.org-id Humanities en
pubs.org-id Philosophy en
pubs.record-created-at-source-date 2017-08-13 en


Files in this item

There are no files associated with this item.

Find Full text

This item appears in the following Collection(s)

Show simple item record

Share

Search ResearchSpace


Browse

Statistics