View of Undecidability of Modal Logics of Unary Predicate

Return to Article Details Undecidability of Modal Logics of Unary Predicate Download Download PDF