Return to Article Details Extended full computation-tree logics for paraconsistent model checking Download Download PDF