Algebraic semantics and model completeness for intuitionistic public announcement logic

M Ma, A Palmigiano, M Sadrzadeh

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

Original language	Undefined/Unknown
Pages (from-to)	963-995
Number of pages	33
Journal	Annals of Pure and Applied Logic
Volume	165
Issue number	4
Publication status	Published - 2014

Keywords

@article{b127e28529484cacaaa53c2a74611884,

title = "Algebraic semantics and model completeness for intuitionistic public announcement logic",

keywords = "CWTS JFIS < 0.75",

author = "M Ma and A Palmigiano and M Sadrzadeh",

year = "2014",

language = "Undefined/Unknown",

volume = "165",

pages = "963--995",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier",

number = "4",

}