Return to Article Details Modal Propositional Truth Logic Tr and its Completeness Download Download PDF