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

Publikation: Bidrag til tidsskriftTidsskriftartikelpeer review

OriginalsprogEngelsk
TidsskriftBulletin of the Section of Logic
ISSN0138-0680
StatusAccepteret/In press - 2020

Citer dette