Return to Article Details
A boolean-algebraic approach to completeness for normal modal predicate logics
Download
Download PDF