My Math Forum Relation Algebra, why is this PDL sentence equivalent

 Applied Math Applied Math Forum

 January 14th, 2019, 10:44 PM #1 Newbie   Joined: Dec 2018 From: Amsterdam Posts: 16 Thanks: 0 Relation Algebra, why is this PDL sentence equivalent In the book modal logic for open minds by johan van benthem there is on page 161 a statement that the sentence $\langle (R\lor S)* \rangle \phi$ is equivalent to the sentence $\langle (R* ; S*)* \rangle \phi$ (* means iteration and ; means composition here) So: $\langle (R\lor S)* \rangle \phi \equiv \langle (R* ; S*)* \rangle \phi$ Why is this equivalent to each other?

 Tags algebra, equivalent, pdl, relation, sentence

 Thread Tools Display Modes Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post Ganesh Ujwal Elementary Math 1 July 5th, 2018 03:08 AM Ganesh Ujwal Geometry 1 April 6th, 2018 10:36 AM Ganesh Ujwal Geometry 1 April 6th, 2018 10:32 AM lanzo Applied Math 5 August 6th, 2013 02:35 PM johnr New Users 4 April 24th, 2013 05:21 AM

 Contact - Home - Forums - Cryptocurrency Forum - Top