Record icon

Record

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic

Actions

Access Document

Files:

Authors


Publication date:
2011-01-01


UUID:
uuid:c3f54ceb-b9f9-422b-a29a-da0651a4cb87
Local pid:
cs:5019
Deposit date:
2015-03-31
ARK identifier:

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP