Extended full computation-tree logics for paraconsistent model checking

Logic and Logical Philosophy, Tom 15, Numer 3 (2006) s. 251-276
Norihiro Kamide

 

do góry