scientific article

zbMath1276.68109MaRDI QIDQ2863891

Corina Cîrstea

Publication date: 4 December 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106004671?np=y

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

simulationmodal logiccoalgebracompletenessexpressivenesssoundnessmodularity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30)

This page was built for publication: