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

Research output: Contribution to journalJournal articleResearchpeer-review

Original languageEnglish
JournalBulletin of the Section of Logic
ISSN0138-0680
Publication statusAccepted/In press - 2020

Cite this