Photo by alex_andrews from unsplash
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… Click to show full 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 of the tableau system is also shown by using standard methods.
Keywords:
system;
axiomatic system;
calculus stit;
system tableau;
tableau calculus;
tableau
Journal Title: Journal of Philosophical Logic
Year Published: 2018
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Journal of Philosophical Logic
Year Published: 2018
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!