A Tableau System for the Modal i-Calculus
Revision as of 04:34, 15 August 2022 by 187.21.138.9 (talk) (Created page with "== Target Article == A Tableau System for the Modal i-Calculus; N Jungteerapanich; 2009; doi_citing_unknown == Retraction == PDL Has Interpolation ; Tomasz Kowalski; 09/01/2002 ; doi_cited_unknown == Citation piece == Note: Open to append information.")