Logics with Copy and Remove

DOI10.1007/978-3-662-44145-9_4zbMath1373.03043OpenAlexW162280694MaRDI QIDQ2938130

Raul Fervari, Carlos Areces, François Schwarzentruber, Hans P. van Ditmarsch

Publication date: 13 January 2015

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44145-9_4

zbMATH Keywords

complexitymodal logicexpressivitydynamic epistemic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70)

Related Items (3)

The modal logic of copy and remove ⋮ Unnamed Item ⋮ Copy and remove as dynamic operators

This page was built for publication: Logics with Copy and Remove