Login / Signup

A Tableau Method for Inconsistency-Adaptive Logics.

Diderik BatensJoke Meheus
Published in: TABLEAUX (2000)
Keyphrases