Vi studerar en version av Propositional Dynamic Logic (PDL) som vi kallar Dynamic Logic of Propositional Inmissions (DL-PA). De atomiska programmen i DL-PA är tilldelningar av propositionsvariabler till sant eller falskt. Vi visar att DL-PA beter sig bättre än PDL, med t.ex. Kleene-stjärnans kompakthet och eliminabilitet. Vi etablerar snäva komplexa resultat: både tillfredsställande och modellkontroll är EXPTIME-komplett.
En annan linje av relevant arbete är "Dynamic Logic of Propositional Inmissions" (REF ), eller DL-PA för kort.
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL
{'venue': '2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science', 'journal': '2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science', 'mag_field_of_study': ['Computer Science']}