Algebraic semantics and model completeness for intuitionistic public announcement logic

Journal Article (2014)
Author(s)

M Ma (TU Delft - ChemE/Materials for Energy Conversion and Storage)

Alessandra Palmigiano (TU Delft - Ethics & Philosophy of Technology)

M Sadrzadeh (External organisation)

Research Group
ChemE/Materials for Energy Conversion and Storage
More Info
expand_more
Publication Year
2014
Research Group
ChemE/Materials for Energy Conversion and Storage
Issue number
4
Volume number
165
Pages (from-to)
963-995

No files available

Metadata only record. There are no files for this record.