An Axiomatic System and a Tableau Calculus for STIT Imagination Logic
Sign Up to like & getrecommendations! Published in 2018 at "Journal of Philosophical Logic"
DOI: 10.1007/s10992-017-9426-1
Abstract: We formulate a Hilbert-style axiomatic system and a tableau calculus for the STIT-based logic of imagination recently proposed in Wansing (2015). Completeness of the axiom system is shown by the method of canonical models; completeness… read more here.
Keywords: system; axiomatic system; calculus stit; system tableau ... See more keywords
Consider Humboldt's map as intended
Sign Up to like & getrecommendations! Published in 2019 at "Science"
DOI: 10.1126/science.aaz5068
Abstract: In his News story “Global warming has made iconic Andean peak unrecognizable” (11 September, ), T. Appenzeller describes current scientific work based on Alexander von Humboldt's 1807 illustrated map of plant species found on Ecuador's… read more here.
Keywords: humboldt map; humboldt; map; map intended ... See more keywords