Reports on Mathematical Logic

No. 52 (2017)


Norihiro Kamide, Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning;

Back to Main Menu