%0 Journal Article %1 journals/jphil/OlkhovikovW18 %A Olkhovikov, Grigory K. %A Wansing, Heinrich %D 2018 %J J. Philos. Log. %K dblp %N 2 %P 259-279 %T An Axiomatic System and a Tableau Calculus for STIT Imagination Logic. %U http://dblp.uni-trier.de/db/journals/jphil/jphil47.html#OlkhovikovW18 %V 47

@article{journals/jphil/OlkhovikovW18, added-at = {2020-12-29T00:00:00.000+0100}, author = {Olkhovikov, Grigory K. and Wansing, Heinrich}, biburl = {https://www.bibsonomy.org/bibtex/2a32fcd619ce1a4654fe0141cad9bdafc/dblp}, ee = {https://doi.org/10.1007/s10992-017-9426-1}, interhash = {73fff7f13dbba2a0f3e22675eca50407}, intrahash = {a32fcd619ce1a4654fe0141cad9bdafc}, journal = {J. Philos. Log.}, keywords = {dblp}, number = 2, pages = {259-279}, timestamp = {2024-04-08T18:54:34.000+0200}, title = {An Axiomatic System and a Tableau Calculus for STIT Imagination Logic.}, url = {http://dblp.uni-trier.de/db/journals/jphil/jphil47.html#OlkhovikovW18}, volume = 47, year = 2018 }