Skip to content

Tableau Calculus for Only Knowing and Knowing at Most.

Riccardo Rosati

Year2000
ProceedingsTABLEAUX

Browse the full TABLEAUX paper archive.