Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA

From MaRDI portal
Publication:4982120