Tableau development for a bi-intuitionistic tense logic

Stell, JG, Schmidt, RA and Rydeheard, D (2014) Tableau development for a bi-intuitionistic tense logic. In: Höfner, P, Jipsen, P and Kahl, W, (eds.) Relational and Algebraic Methods in Computer Science. Lecture Notes in Computer Science. 14th International Conference, RAMiCS 2014, April 28–May 1, 2014, Marienstatt, Germany. Springer International Publishing , 412 - 428. ISBN 978-3-319-06250-1



  • Stell, JG
  • Schmidt, RA
  • Rydeheard, D
Copyright, Publisher and Additional Information: (c) 2014, Springer. The final publication is available at Springer via
  • Published: 2014
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds) > Artificial Intelligence & Biological Systems (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 20 May 2014 10:34
Last Modified: 16 Nov 2016 07:16
Published Version:
Status: Published
Publisher: Springer International Publishing
Identification Number:

Share / Export