Paraconsistent Negation and Classical Negation in Computation Tree Logic.

Norihiro Kamide, Ken Kaneiwa

Browse the full ICAART paper archive.