Efficient loop-check for backward proof search in some non-classical propositional logics

This publication has 10 references indexed in Scilit:

• A Contraction-Free Sequent Calculus for S4
  Published by Springer Nature ,1996
• Propositional logics on the computer
  Published by Springer Nature ,1995
• Basic Modal Logic
  Published by Oxford University Press (OUP) ,1993
• An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
  Journal of Logic and Computation, 1993
• Contraction-free sequent calculi for intuitionistic logic
  The Journal of Symbolic Logic, 1992
• Algorithmic proof with diminishing resources part 1
  Published by Springer Nature ,1991
• Proof Methods for Modal and Intuitionistic Logics
  Published by Springer Nature ,1983
• Modal Logic
  Published by Cambridge University Press (CUP) ,1980
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
  SIAM Journal on Computing, 1977
• Temporal Logic
  Published by Springer Nature ,1971