Tableau Development for a Bi-Intuitionistic Tense Logic (bibtex)

by Stell, J. G., Schmidt, R. A. and Rydeheard, D.

Reference:

Tableau Development for a Bi-Intuitionistic Tense Logic (Stell, J. G., Schmidt, R. A. and Rydeheard, D.), In Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT 2014) (Bolotov, A., Kerber, M., eds.), 2014.

Bibtex Entry:

@INPROCEEDINGS{StellSchmidtRydeheardARW14,
AUTHOR = {Stell, J. G. and Schmidt, R. A. and Rydeheard, D.},
YEAR = {2014},
TITLE = {Tableau Development for a Bi-Intuitionistic Tense Logic},
EDITOR = {Bolotov, A. and Kerber, M.},
BOOKTITLE = {Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT 2014)},
XPUBLISHER = {??},
PAGES = {32--33},
URL = {http://arw.csc.liv.ac.uk/year/2014/ARW2014proceedings.pdf},
}