View of Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts

Return to Article Details Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts Download Download PDF