Vi introducerar en logik som kallas C2PDLS, motiverad av några resonemang om graf omskrivning system. C2PDLS är en förlängning av både kombinatorisk propositionell dynamisk logik, vanligtvis skriven CPDL, och omvänd propositionsdynamisk dynamisk logik, vanligtvis skrivit CPDL också. Utöver de befintliga egenskaperna hos de båda CPDL-ämnena erbjuder den införda logiken möjligheten att använda begreppet substitutionerà la Hoare inom dess formler. Sådana substitutioner återspeglar effekten av vissa åtgärder på grafstrukturer såsom tillägg eller radering av kanter eller noder. Dessa sista drag fick oss att införa begränsade universella roller över undergrupper av universum. Vi föreslår ett sunt och komplett avdragssystem för C2PDLS och visar att dess giltighetsproblem är avgörande.
J. H. Brenas m.fl. REF undersöker sådana logiker för graftransformationer och definierar C2PDLS, en kombination av både kombinatoriska och omvänt propositionella dynamiska logiker, förstärkt av substitutioner.
C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions
{'venue': 'SCSS', 'journal': None, 'mag_field_of_study': ['Computer Science']}