Proof Systems for a Gödel Modal Logic
Options
BORIS DOI
Publisher DOI
Date of Publication
2009
Publication Type
Book Section
Language(s)
en
Contributor(s)
Olivetti, Nicola |
Editor(s)
Giese, Martin | |
Waaler, Arild |
Additional Credits
Publisher
Springer Verlag
Access(Rights)
restricted