A note on bisimulation quantifiers and fixed points over transitive frames

Target ArticleEdit

A note on bisimulation quantifiers and fixed points over transitive frames; G DAgostino, G Lenzi; 2007; doi_citing_unknown

RetractionEdit

PDL Has Interpolation ; Tomasz Kowalski; 09/01/2002

doi_cited_unknown

Citation pieceEdit

Note: Open to append information.

Retrieved from "https://wikicitingretracted.org/index.php?title=A_note_on_bisimulation_quantifiers_and_fixed_points_over_transitive_frames&oldid=18110"