M
Martin Amerbauer
Publications - 1
Citations - 14
Martin Amerbauer is an academic researcher. The author has contributed to research in topics: Normal modal logic. The author has an hindex of 1, co-authored 1 publications receiving 14 citations.
Papers
More filters
Journal ArticleDOI
Cut-free Tableau Calculi for some Propositional Normal Modal Logics*
TL;DR: It is proved with the tableau-method that G0 is characterised by the class of all finite, (transitive) trees of degenerate or simple clusters of worlds; therefore G0is decidable and also characterisedBy the classof all frames for G0.