Toggle navigation
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
QMRO Home
School of Electronic Engineering and Computer Science
Electronic Engineering and Computer Science
Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
QMRO Home
School of Electronic Engineering and Computer Science
Electronic Engineering and Computer Science
Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
Browse
All of QMRO
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
Administrators only
Login
Statistics
Most Popular Items
Statistics by Country
Most Popular Authors
Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
View/
Open
Published version (333.9Kb)
Volume
165
Pagination
963 - 995
DOI
10.1016/j.apal.2013.11.004
Journal
ANNALS OF PURE AND APPLIED LOGIC
Issue
4
ISSN
0168-0072
Metadata
Show full item record
Authors
Ma, M; Palmigiano, A; Sadrzadeh, M
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/32391
Collections
Electronic Engineering and Computer Science
[3141]
Licence information
https://doi.org/10.1016/j.apal.2013.11.004
Copyright statements
Copyright © 2013 Elsevier B.V.