Logics with Copy and Remove

DOI10.1007/978-3-662-44145-9_4MaRDI QIDQ2938130zbMATH OpenOpenAlexFDO

Authors Carlos Areces, Raul Fervari, François Schwarzentruber, Hans 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

complexitydynamic epistemic logicexpressivitymodal logic

Mathematics Subject Classification ID

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

Recommendations

• The modal logic of copy and remove
• Copy and remove as dynamic operators
• Logical operations
• scientific article; zbMATH DE number 107704
• scientific article; zbMATH DE number 4176438
• THE MODAL LOGIC OF STEPWISE REMOVAL
• Logical operations and invariance
• Replacement in logic
• Logic and aggregation
• Logical theories and compatible operations

Cited in

(4)

• The modal logic of copy and remove
• Relation-changing logics as fragments of hybrid logics
• THE MODAL LOGIC OF STEPWISE REMOVAL
• Copy and remove as dynamic operators

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2938130)