The modal logic of copy and remove

ما یک منطق را با اپراتورهای مودال پویا پیشنهاد می کنیم که کپی و حذف شوند. اپراتور کپی یک مدل داده را تکثیر می کند و اپراتور حذف مسیرها را در یک مدل معین حذف می کند. ما نشان می دهیم که به روز رسانی محصول با یک مدل عمل در منطق معرفت شناختی پویا در عملیات کپی و حذف، هنگامی که ما مدل های عمل با پیش شرط های بولی و بدون شرایط پس از آن را تجزیه می کنیم، تجزیه می شود. ما همچنین نشان می دهیم که کپی و حذف اپراتورها با مسیرهای طول 1 را می توان با مدل های عمل با شرایط پس از بیان بیان کرد. ما توانایی بیان منطقی را با کپی و حذف عملیات، همراه با پیچیدگی مشکل رضایت بخش برخی از قطعات سنتاکتیکی آن، بررسی می کنیم.