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

Research output: Contribution to journalJournal articlepeer-review

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

Cite this