Return to Article Details
On Some Language Extension of Logic MR: A Semantic and Tableau Approach
Download
Download PDF