View of Extended full computation-tree logics for paraconsistent model checking

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