A Bi-Intuitionistic Modal Logic: Foundations and Automation

Stell, JG, Schmidt, RA and Rydeheard, D (2016) A Bi-Intuitionistic Modal Logic: Foundations and Automation. Journal of Logical and Algebraic Methods in Programming, 85 (4). pp. 500-519. ISSN 2352-2208



  • Stell, JG
  • Schmidt, RA
  • Rydeheard, D
Copyright, Publisher and Additional Information: © 2015 Published by Elsevier Inc.This article is available under the terms of the Creative Commons Attribution License (CC BY) (http://creativecommons.org/licenses/by/4.0/).
Keywords: intuitionistic logic; modal logic; tableau system; decidability; correspondence theorem
  • Published: June 2016
  • Accepted: 21 November 2015
  • Published (online): 2 December 2015
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: 24 Nov 2015 11:23
Last Modified: 12 Apr 2017 05:24
Published Version: http://dx.doi.org/10.1016/j.jlamp.2015.11.003
Status: Published
Publisher: Elsevier
Identification Number: https://doi.org/10.1016/j.jlamp.2015.11.003

Share / Export