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