Enhanced Propositional Dynamic Logic for Reasoning about Concurrent Actions (Extended Abstract)

Giuseppe De Giacomo and Maurizio Lenzerini

This paper presents a work in progress on enhanced Propositional Dynamic Logics for reasoning about actions. Propositional Dynamic Logics (PDL’s) are modal logics for describing and reasoning about system dynamics in terms of properties of states and actions modeled as relations between states.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.