A Tableau System for the Modal i-Calculus

From WikiCitingRetracted

Jump to navigation Jump to search

Target Article[edit | edit source]

A Tableau System for the Modal i-Calculus; N Jungteerapanich; 2009; doi_citing_unknown

Retraction[edit | edit source]

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

doi_cited_unknown

Citation piece[edit | edit source]

Note: Open to append information.

Retrieved from "https://wikicitingretracted.org/index.php?title=A_Tableau_System_for_the_Modal_i-Calculus&oldid=18101"