Free variable tableaux for propositional modal logics

From MaRDI portal
Publication:4610317